Számításelmélet Tárgykód: NGM_IN006_1 és LGM_IN006_1

Az előadások a következő témára: "Számításelmélet Tárgykód: NGM_IN006_1 és LGM_IN006_1"— Előadás másolata:

1 Számításelmélet Tárgykód: NGM_IN006_1 és LGM_IN006_1
Oktató: Kajdocsi László Iroda: A-602

2 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

3 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

4 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ó

5 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

6 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

7 Követelményrendszer ZH nincs!
Félév végén VIZSGA az adott témakörökből!