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