Az alábbi információk tájékoztató jellegűek. A hatályos követelmények az egyetemi tanrendi keresőben találhatók.
Nappali tagozaton:
Előadás: heti 2 óra / 5 kredit. Teljesítés módja: Kollokvium.
Gyakorlat: heti 1 óra / 0 kredit. Teljesítés módja: Aláírás.
Konzultáció: heti 1 óra / 0 kredit. Teljesítés módja: Aláírás.
A kurzus felvételének előfeltételei: IMN101 Automaták és formális nyelvek és MMN103 Matematikai struktúrák tárgyak
Reguláris programok.
A program helyességének kifejezése és bizonyítása. A parciális és teljes helyesség fogalma.
A dinamikus logika szintaxisa és szemantikája. A Hoare logika beágyazhatósága.
A dinamikus logika kis modell tulajdonsága és eldönthetősége.
A dinamikus logika axiomatizálása.
A dinamikus logika bonyolultsága.
D. HAREL, D. KOZEN, J. TIURYN, Dynamic Logic, MIT Press, 2000.
Az előadás, a gyakorlat és a konzultáció azonos tanulmányi félévben
teljesíthetők. Korábbi gyakorlati teljesítmény nem vehető figyelembe és a
gyakorlat kötelező látogatása alól sem mentesít.
A kurzusok teljesítéseinek értékelése pontozás alapján történik. Maximálisan
összegyűjthető pontszám 100, amelyből a gyakorlaton 40 pontot, a vizsgán 60
pontot lehet megszerezni.
A gyakorlat látogatása kötelező. Egynél több igazolatlan hiányzás (ami nem eshet
a dolgozatírások időpontjába) esetén a gyakorlat nem teljesített. Igazolt
hiányzás esetén az igazolását a hallgató köteles a hiányzást követő első
gyakorlaton bemutatni az oktatónak.
Amennyiben a hallgató igazoltan többet hiányzott, mint az adott kötelező
foglalkozásra megállapított 6 heti összes óraszám, pótlásnak helye nincs, a
tantárgy nem teljesített.
Gyakorlat keretében 40 pont a maximálisan megszerezhető pontszám és minimum
12 pontot meg kell szerezni a vizsgához való jogosultsághoz.
Ennek módja: egy 40 pontos zárthelyi dolgozat sikeres, vagyis legalább 12 pontra
való megírása. Sikertelen dolgozat egyszer javítható a minimális 12 pontért.
Sikeres dolgozat nem javítható. A zárthelyi dolgozat időpontjában igazoltan
hiányzó pótdolgozatot írhat a javító dolgozat írásával egy időben. A zárthelyi
dolgozat, a pót és javító dolgozat írásának időpontjai az első gyakorlaton
kerülnek kihirdetésre.
A gyakorlat csak sikeres vizsga esetén teljesített aláírással.
Csak az a hallgató vizsgázhat az ETR-ben meghirdetett vizsganapokon, aki a gyakorlaton a fentiek szerint meghatározott módon legalább 12 pontot gyűjtött, érvényes vizsgabejelentkezése van az adott vizsganapra az ETR-ben, bemutatja a vizsgán az ETR-ből nyomtatott kurzusteljesítési lapot és igazolja személyazonosságát (a leckekönyv /diákigazolvány bemutatásával).
A vizsga összpontszáma 60, amely az előre kihirdetett tételsorból a vizsgáztató által adott két, egyenként 30 pontos tételnek írásban való kidolgozásából és ezt követően szóbeli vizsgából áll. A vizsga akkor sikeres, ha mind a két tételre a vizsgázó minimum 9 pontot kap.
Sikeres vizsga esetén a kollokvium érdemjegye a gyakorlati és a vizsga pontszámának összege alapján, sávosan kerül meghatározásra az alábbiak szerint:
A TVSZ 13.4. pontja szerint "a vizsgáról való nem engedélyezett távolmaradás
elhasznált vizsgaalkalomnak minősül, mellyel a lehetséges vizsgaismétlések számát
csökkenteni kell".
Vizsgáról való hiányzás igazolásával a hallgatónak a vizsgáztató oktatóhoz kell
fordulni.
Sikeres vizsga megismétlésére a TVSZ. 15. pontjában leírtak érvényesek.
A sikeres vizsgát javító vizsga ekkor két fő részből áll. Egyik rész a gyakorlat
témakörére épülő 40 pontos feladatsor minimum 12 pontra való megírása.
Másik rész a fentiek szerinti vizsga letétele.
A vizsgajegye ekkor a legalább 12 pontos dolgozat és a sikeres vizsga pontszámainak
összege alapján a fenti sávos rendszer szerint kerül meghatározásra.