Informatikai Tanszékcsoport>>> Tanszékek>>> Számítástudomány Alapjai Tanszék>>>

In English

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

Nyomtatásban megjelent jegyzetek

1. 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)

Előadásvázlatok

• Dr. Ésik Zoltán:
  1. Logika és informatikai alkalmazásai fóliák (pdf, 2011.02.09)
  2. Bonyolultságelmélet fóliák (pdf, 2010.12.15)
  3. A számítástudomány alapjai fóliák (pdf) 2009.11.26
• 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)

Kiskérdések

1. Bonyolultságelmélet kiskérdések (2011 ősz, nappalisoknak, levelezősöknek)
2. Számítástudomány alapjai kiskérdések, gondolkodtató kiskérdések (2011.11.28), 2011 ősz, nappalisoknak, levelezősöknek
3. Logika és informatikai alkalmazásai kiskérdések (2012 tavasz, nappalisoknak, levelezősöknek)

Tételsorok

1. Bonyolultságelmélet tételsor (2011 ősz, nappalisoknak)
2. Bonyolultságelmélet tételsor (2011 ősz, levelezősöknek)
3. Logika és informatikai alkalmazásai esszékérdések (2012 tavasz, nappalisoknak)
4. Számítástudomány alapjai tételsor (2011 ősz, nappalisoknak és levelezősöknek, módosítva: 2011.12.02)
5. Logika informatikai alkalmazásai tételsor (2010 tavasz, nappalisoknak)
6. Logika informatikai alkalmazásai tételsor (2010 tavasz, levelezősöknek)
7. Formális nyelvek tételsor (2007 tavasz)