Tantárgy kódja

ITM2008

Tantárgy neve

Számítástudományi ismeretek

Tantárgy angol neve

Advanced Computer Science

Kredit

3

Félévi követelmény

Gyakorlati jegy

Heti óraszám

2 + 2

Elmélet + Gyakorlat

Ajánlott félév

1 vagy 2 (5 féléves képzésben 3)

Cél

A hallgatók megismertetése a számítástudomány alapvető kérdéseivel, így a logikai alapok, a számításelmélet, az automaták és formális nyelvek, valamint a mesterséges intelligencia legfontosabb eredményeivel. Cél, hogy be tudjanak kapcsolódni a legújabb tudományos eredmények alkalmazásába, s megismerkedjenek a tárgyhoz kapcsolódó kutatómunka módszereivel. Mindemellett a legkiválóbb hallgatók számára cél a kutatói tevékenység elindítása.

Cél angol

The aim of course is to know some special areas of computer science.

Tartalom

Logikai alapok áttekintése: ítéletlogika, elsőrendű logika, következményfogalom, eldöntésprobléma. Az elsőrendű rezolúciós elv, rezolúciós stratégiák. A logikai programozás elméleti alapjai. A természetes levezetés. A logika informatikai alkalmazásai: formális módszerek. Számításelméleti alapok: kiszámítási és eldöntési problémák, Turing-gép és néhány változata, rekurzívan felsorolható és rekurzív nyelvek, parciális rekurzív és rekurzív függvények, eldönthetetlen problémák, bonyolultsági osztályok, P versus NP, SAT probléma, Hamilton út problémája, polinomiális tár, PSPACE-teljes problémák bemutatása. Automataelméleti és formális nyelvészeti alapok áttekintése: generatív nyelvtan, Chomsky hierarchia, automaták és nyelvek kapcsolata, véges automaták elmélete. Formális nyelvek kombinatorikus és algoritmikus tulajdonságai, véges automata hálózatok. Mesterséges intelligencia alapjai: intelligens ágensek, intelligens rendszerek környezete, problémamegoldás modellezése, tudás és következtetés, a tudás lefordítása cselekvéssé, tudásbázis építése, logikai következtető rendszerek, tervkészítés, bizonytalan tudás és következtetés, tanulás, kommunikáció, észlelés, cselekvés. Automatikus öntanuló rendszerek. Bizonytalan következtetés szabályalakú módszerekkel. Genetikus algoritmusok és evolúciós programozás. A mesterséges intelligencia filozófiai alapjai. Az intelligens viselkedés megvalósításának lehetőségei. Egyéb számítástudományi ismeretek: gráfelméleti módszerek számítástudományi alkalmazásai, grammatikai hálózatok és alkalmazásaik, lingvisztikai alapok.

Tartalom angol

Formal methods, Turing-machines, NP, SAT problems, fundations of formal languages.

Számonkérés

vizsga

Számonkérés angol

examination

Irodalom

5. Zsakó L. (összeállító): Programozási feladatok I-II, Kossuth Kiadó, 1997. 

Irodalom angol

C. H. Papadimitriou: Computational Complexity, Addison-Wesley, 1994.

Tantárgyfelelős intézet kódja

MII

Tantárgyfelelős oktató

Dr. Falucskai János