Számításelmélet Tárgykód: NGM_IN006_1 és LGM_IN006_1 Oktató: Kajdocsi László E-mail: kajdocsi.laszlo@sze.hu Iroda: A-602
Kötelező irodalom Ajánlott irodalom Michael Sipser: Introduction to theory of computation, 1st ed., PWS Publishing Company Katona Gyula Y., Recski András, Szabó Csaba: A számítástudomány alapjai, 2002, Tipotex Kiadó Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein: Introduction to Algorithms, 2nd ed., MIT Press Ajánlott irodalom
Tárgy témakörei Bevezetés a számítástudományba Automaták, Számítások, Komplexitás Matematikai fogalmak és terminológiák Definíciók, Tételek, Bizonyítások Bizonyítási típusok Reguláris nyelvek Tartalom-független nyelvek A Church-Turing elmélet Turing-gépek
Tárgy témakörei A Turing-gépek változatai A Turing-gép algoritmus-definíciója Eldönthetőségi elmélet Csökkenthetőségi elmélet Rekurzió elmélete A logikai elméletek eldönthetősége Turing-féle csökkenthetőség Az információ
Tárgy témakörei Bonyolultság elmélete Idő komplexitás Mérési komplexitás A P osztály Az NP osztály Az NP teljesség Egyébb NP-teljes problémák Tér komplexitás Savitch-elmélet
Tárgy témakörei A PSPACE osztály PSPACE teljesség L és NL osztályok NL teljesség Approximációs algoritmusok Valószínűségi algoritmusok Interaktív bizonyítási rendszerek Párhuzamos számítások Kriptoráfia
Követelményrendszer ZH nincs! Félév végén VIZSGA az adott témakörökből!