pti-msc-2015-zv
pti-msc-2015-zv copied to clipboard
rockkid777
Az ELTE IK Programtervező Informatikus MSc képzés Szoftvertechnológia szakirány 2015-ös képzési tervéhez készített záróvizsga tételek kidolgozása.
A B helyettesítések szemantikája. A B komponensek fajtái, tulajdonságai. Interaktív bizonyító rendszer. Bizonyítandó állítások.
Az ítéletlogika és elsőrendű logika leíró nyelve, szintaxis, szemantika. Formulák, formulahalmazok szemantikus tulajdonságai. Szemantikus következményfogalom és szemantikus eldöntésproblémák tetszőleges és véges feltételhalmazok esetén; automatikus tételbizonyítás szemantikus eszközei és ezek kivitelezhetetlensége...
A szoftverminőség komplex kérdésköre, termék és folyamat alapú megközelítés. A szoftverfejlesztés és a tesztelés kapcsolata, V modell, agilitás. A tesztelés szintjei. A tesztelés életciklusa. Teszttervezési technikák. Specifikáció alapú: ekvivalencia-osztályozás, határérték...
Kérek egy projekt tagot, hogy erősítsen meg a jó licensz megválasztásában. Szerintem az MIT licensz a megfelelő, mivel mi önmagunk nem alkotunk, csak mások jegyzeteiből-előadásaiból emelünk ki lényegében részleteket. Személy...
Típusok, típuskonstrukciók, absztrakt adattípusok támogatása a programozási nyelvekben. Vezérlési szerkezetek, kifejezéskiértékelés, alprogramok, kivételkezelés. Generatív programozási technikák. Az objektum-orientált programozás eszközei. Párhuzamos és konkurrens programozási konstrukciók.
Ismeretalapú rendszerek jellegzetes komponensei és szolgáltatásai. Az ismeretszerzés módszerei, az ismeretek fajtái, az ismeret-reprezentáció szintjei. Ontológia fogalma az informatikában. Az ontológia formája, tipikus elemei. Leíró logikák alapelemei, kapcsolatuk az elsőrendű...
Markov döntési folyamatok alapfeltevései. A feltevések korlátai, kritikája. Értékelőfüggvényekre vonatkozó Bellman egyenletek. Az időbeli differenciák módszere. A megerősítéses tanulás módszerei. Az állapotértékelő függvény definíciója. Az állapot és az állapot-akció értékelőfüggvények...
A neuron és a neuronháló definíciója, lokalitás, Hebbi tanulás, neurális architektúrák. Rekonstrukciós hálók, dinamikai tulajdonságok. Prediktív rekonstrukciós hálók, lineáris autoregresszív közelítés. Osztályozási és regressziós feladatra támasztóvektor gépek.
Intelligens ágensek, ágens architektúrák. Multi-ágens kölcsönhatások, nyereség és preferencia, stratégia. Megegyezés elérése, mechanizmus tervezés, aukció, tárgyalás, egyezség. Kommunikáció, tevékenységek, ágens kommunikációs nyelv, ontológia. Együttműködés, elosztott probléma megoldás, feladat és eredmény...
Metadata
Owner
Metadata
Az ELTE IK Programtervező Informatikus MSc képzés Szoftvertechnológia szakirány 2015-ös képzési tervéhez készített záróvizsga tételek kidolgozása.