Vezetője: Hajdu Lajos egyetemi tanár
Klasszikus és nem-klasszikus logikai rendszerek, formális rendszerek, számítási modellek. A mesterséges intelligencia alkalmazások elméleti háttere. Irányításelmélet. A digitális kép-feldolgozás matematikája. Mintázatfelismerés. Statisztikai és diszkrét matematikai módszerek a képelemzésben. Komputergrafikai problémák. Konstrukciós, láthatósági és vizualizációs algoritmusok háromdimenziós alakzatokra. Kriptográfia. kriptográfiai protokollok és algoritmusok. Diszkrét matematikai módszerek a kriptográfiában. Algoritmuselmélet. Bonyolultságelemzés, NP-teljes problémák.
Legutóbbi frissítés:
2023. 03. 26. 20:01