Ročníkový projekt
Meno študenta: Michal Jánošík
Email: janosik38@uniba.sk
Meno školiteľa: RNDr. Peter Kostolányi, PHD
Email: kostolanyi@fmph.uniba.sk
Názov projektu: Logické charakterizácie regulárnych jazykov
Špecifikácia projektu: Formulácia dôkazu vety: Jazyk L je regulárny práve vtedy keď sa dá opísať pomocou zápisu v monadickej logike druhého rádu.
projekt: pdf
report: pdf