Nagyhatékonyságú deklaratív programozás laboratórium

Nagyhatékonyságú
deklaratív programozás

Tárgykód	VISZM232
Általános infók
Szak	info MSc
Kredit	4
Ajánlott félév	2
Tanszék	SZIT
Követelmények
Házi feladat	1 db és opcionálisan 4 db kishf
Vizsga	írásbeli és szóbeli
Elérhetőségek
Tantárgyi adatlap

Számításelmélet - Mérnök informatikus MSc
1. félév (tavasz)	Adatbiztonság  •  Algoritmusok és bonyolultságuk  •  Bevezetés a szemantikus technológiákba  •  Nagyméretű adathalmazok kezelése  •  Rendszeroptimalizálás  •  Tömegkiszolgálás
2. félév (ősz)	Alkalmazott algebra  •  Gráfok, hipergráfok és alkalmazásaik  •  Információelmélet  •  Matematikai logika  •  Nagyhatékonyságú deklaratív programozás  •  Nagyméretű adathalmazok kezelése labor  •  Nyelvek és automaták
3. félév (tavasz)	Szemantikus és deklaratív technológiák labor
Egyéb	Kötelezően választható tárgyak  •  Mérnöki menedzsment  •  Befektetések  •  Érvelés, tárgyalás, meggyőzés  •  Információs társadalom joga  •  Minőségmenedzsment  •  Projektmenedzsment  •  Vállalati jog  •  Vezetői számvitel