Jelenlegi hely

Oktatás

Kötelező tárgyak

 
A logikai és funkcionális programozás matematikai alapjai (MSc)
Automaták és formális nyelvek (MSc)
Bonyolultságelmélet (BSc)
Formális módszerek (MSc)
Formális nyelvek (BSc)
Hardver és szoftver rendszerek verifikációja (BSc)
Kriptográfia és adatbiztonság (MSc)
Logika és informatikai alkalmazásai (BSc)
Számítástudomány alapjai (BSc)

 

Specializációs vagy választható tárgyak

Az automaták alkalmazásai (BSc)
Automaták és formális logika (MSc)
Faautomaták (MSc)
Funkcionális programozás és lambda kalkulus (BSc)
Kvantumszámítás (MSc)
Modell ellenőrzés (MSc)
Offenzív biztonsági gyakorlatok I-II(BSc)
Szintaktikus elemzési módszerek (BSc)
Termátíró rendszerek (MSc)
Új elvű számítások az informatikában (BSc)