Oktatási segédanyagok

A Számítástudomány Alapjai Tanszék tagjai által készített oktatási segédanyagok

Nyomtatásban megjelent jegyzetek

• Dr. Fülöp Zoltán: Formális nyelvek és szintaktikus elemzésük, Polygon, Szeged, 1999, 2. kiadaás: Polygon, Szeged, 2004.

Elektronikus formájú jegyzetek

• Dr. Ésik Zoltán: A számítástudomány alapjai, Typotex Kiadó, 2011.
• Dr. Ésik Zoltán, Dr. Gombás Éva és Dr. Iván Szabolcs: Automaták és formális nyelvek példatár, Typotex Kiadó, 2011.
• Dr. Ésik Zoltán, Dr. Gombás Éva, Dr. Németh L. Zoltán: Hardver- és szoftverrendszerek verifikációja, Typotex Kiadó, 2011.
• Dr. Ésik Zoltán: Bevezetés a kiszámíthatóság és algoritmusok bonyolultságának elméletébe jegyzet (ps)
• Dr. Fülöp Zoltán: Automaták és formális nyelvek jegyzet (pdf)
• Dr. Fülöp Zoltán: Logika és informatikai alkalmazásai jegyzet (pdf)
• Dr. Iván Szabolcs - Dr. Németh L. Zoltán: Logika és informatikai alkalmazásai példatár (pdf)

Előadásvázlatok

• Dr. Ésik Zoltán:
  1. Logika és informatikai alkalmazásai fóliák (pdf, 2016.02.17.)
  2. Bonyolultságelmélet  fóliák (pdf, 2010.12.15.)
  3. A számítástudomány alapjai fóliák (pdf, 2015.11.23.)
• Dr. Fülöp Zoltán:
  1. Formális nyelvek fóliák I. , II. , III.
  2. Modell ellenőrzés fóliák (pdf)
  3. Formális nyelvek és szintaktikus elemzésük fóliák (pdf)
• Dr. Gomás Éva:
  1. Formális módszerek fóliák I., II.
  2. Hardver és szoftver rendszerek verifikációja fóliák I., II.