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

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

Tárgykód	VISZMB01
Régi tárgykód	VISZM232
Általános infók
Szak	info MSc
Kredit	4
Ajánlott félév	tavasz
Tanszék	SZIT
Követelmények
Jelenlét	nincs
Minimális munka	1 zh, 1 nagyhf, opcionálisan 4 kishf
Elérhetőségek
Tantárgyi adatlap
Tárgyhonlap

Általános infók

NEM LABOR, csak a neve az, előadások vannak, kisházik és nagyházi. Minden héten 3*45 perces előadás van.

Nagyon nagyon régi tárgy, régen vizsgás volt, de már félévközi jegyes. "Vizsga" azonban van, csak "beszámoló" néven fut a félév valamelyik utolsó hetében.

Prologot tanulunk, Szeredi tanár urat már Deklaratív programozásról ismerheted.

Követelmények

Kis házik

Félév közben, 4-5 db, max 10 pont szerezhető rájuk, opcionálisak, de nagyon hasznosak. Változó, hogy mennyi időt igényelnek, de a legmunkásabb is befejezhető volt kb 4 nap alatt. ETS-re kell feltölteni, ami futtat rá teszteket.

Nagy házi

Félév vége felé megbeszélitek mi legyen a nagyházi, a szokás az, hogy ami anno Deklaratív programozáson nagyházitok volt, most megcsinálhatjátok a mostani tudásotokkal, egyszerűbben és hatékonyabban. 10 tesztesetet futtat rá az ETS, minden sikeres teszt egy pont, legalább 4 kell. Dokumentációra további 5 pont szerezhető, abból is kell legalább 2.

Beszámoló

Rendhagyó félév végi "vizsga", a hallgatókkal közösen megbeszélt időpontban (akár póthéten). Kb 5 programozós feladat (papíron), amit ha megírsz, odaadsz Péternek, ő megnézi, és ha rossz, visszaadja, hogy javítsd ki. Szóval megbukni csak akkor lehet ha nagyon nem fogtad fel az anyagot a félév során. Ha kisházikat megcsináltad, már nem kell aggódnod. Ebből adódóan viszont 3-4 órán át írjuk. Régi feladatsorok fenn vannak a honlapon.

Pontozás

• A nagyházira kapható max. 15 pont.
• A kisházikra kapható max. 10 pont.
• A beszámolón szerezhető max 85 pont.

Ezek összege határozza meg a jegyet:

• 85 vagy több pont -- jeles
• 70-84 pont -- jó
• 55-69 pont -- közepes
• 40-54 pont -- elégséges
• 39 vagy kevesebb pont -- elégtelen

Vélemények

2019. tavasz, molti

Ha tetszett a deklaratív programozás tárgy, ez is tetszeni fog. Szeredi Péter nagyon kedves és lelkes, és jól esik neki, ha ott vannak előadáson a hallgatók, és figyelnek, kérdeznek, interaktívak. Sajnos nem labor, de a kisházikból sokat lehet tanulni és gyakorlatot szerezni a tananyagból.

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