Oktatók

Dr. Mihálydeák Tamás Sándor, Nagy Dávid

Heti beosztás

1. A matematikai alapok áttekintése.

2. A formális nyelvek alapfogalmai. Műveletek nyelvekkel. Reguláris kifejezések, reguláris nyelvek.

3. A véges automata, determinisztikus és nemdeterminisztikus automaták.

4. A véges automaták által felismert nyelvek és a reguláris nyelvek ekvivalenciája.

5. Az állításlogika nyelve, nulladrendű formulák. Alapvető fogalmak a nyelv szintaxisában: összetettség, (közvetlen) részformula, szerkezeti fa, fő művelet, hatókör, zárójelhasználat.

6. Igazságtáblázat, formulák igazságértékének meghatározása egy adott interpretában. Centrális logikai (szemantikai) fogalmak: modell, kielégíthetőség, kielégíthetetlenség, következmény, érvényesség, logikai ekvivalencia.

7. A logikai műveletek fontosabb tulajdonságai. Alapvető tételek.

8. Konjunktív- és diszjunktív normálformák. Formula kielégíthetőségének vizsgálata.

9. Bináris döntési diagramok.

10. A klasszikus elsőrendű nyelv (függvényparaméterek nélkül). A névparaméterek, predikátumparaméterek, változók, kvantorok a formulákban. Szintaxis: összetettség, részformula, hatókör, zárójelhasználat.

11. Az elsőrendű nyelv interpretációja, az értékelés fogalma. Szemantikai szabályok. Formulák igazságértéke adott interpretáció és értékelés szerint. Centrális logkikai (szemantikai) fogalmak: modell, kielégíthetőség, kielégíthetetlenség, következmény, érvényesség, logikai ekvivalencia.

12. Alapvető tételek. Változók kötött és szabad előfordulása. Kvantorokra vonatkozó logikai ekvivalenciák.

13. Behelyettesíthetőség. Kötött változók átnevezése. Kongruencia. Változótiszta alak. Prenex alak.

14. Zárthelyi dolgozat.

Követelmények

A gyakorlat teljesítésének követelményei:
A gyakorlaton megszerzett aláírás bizonyítja, hogy a hallgató sikeresen teljesítette az alábbi követelményeket: 

1. RÉSZVÉTEL
   A hallgatónak részt kell vennie a gyakorlatokon. 
   Hiányzások maximális száma: 3

2. KISDOLGOZATOK (80 pont): 
   A félév során, a gyakorlatok elején 8 kisdolgozat megírására kerül sor (10 pont/kisdolgozat, kb. 10-15 percesek). Ezeken összesítve legalább 51%-ot kell elérni. A kisdolgozatok elméleti kérdéseket és gyakorlati feladatokat is tartalmazhatnak.

3. ZÁRTHELYI DOLGOZAT (80 pont): 
   Az utolsó gyakorlaton egy 100 perces, 80 pontos zárthelyi dolgozat megírására kerül sor. A zárthelyi dolgozat elméleti és gyakorlati részekből áll: 6 elméleti kérdést és 10 gyakorlati feladatot tartalmaz. A zárthelyi dolgozat 51%-tól sikeres.

Vizsga/számonkérés

1. KISDOLGOZATOK: 
   A félév során, a gyakorlatok elején 8 kisdolgozat megírására kerül. A kisdolgozatok időpontját a gyakorlatvezetők legkésőbb egy héttel korábban közlik.

2. ZÁRTHELYI DOLGOZAT: 
   Az utolsó gyakorlat alkalmával.

A pótlásra a Tanulmányi és Vizsgaszabályzat előírása alapján van lehetőség.

Konzultációk

A gyakorlatvezeő fogadóóráin.