Formális nyelvek I. (pdf), II. (pdf) és III. (pdf)

Formális nyelvek és szintaktikus elemzésük (pdf)

Modell ellenőrzés (pdf)

Példák Turing gépre (pdf)

Automaták és formális nyelvek jegyzet (pdf)

Logika és informatikai alkalmazásai jegyzet (pdf)

Automaták és formális nyelvek (pdf)

Bonyolultságelmélet (pdf)

Formális nyelvek (pdf)

Formális nyelvek és szintaktikus elemzésük (pdf)

Kiszámíthatóság-elmélet (pdf)

Logika a számítástudományban (pdf)

Logika és informatikai alkalmazásai (pdf)

Modell ellenőrzés (pdf)

Programhelyesség bizonyítás (pdf)

06/09/2010