For my students
Logic in computer science
Lecture 8 September
Lecture 15 September
Lecture 22 September
Hallgatóknak
Levelező képzés - számítástudomány alapjai
Logika gyakorló feladatsor (csak az ítéletlogikai feladatok
Reguláris nyelv
Véges elfogadó automata
A logika és a számítástudomány alapjai
Előadás szeptember 6
Előadás szeptember 13
Előadás szeptember 20