Logika
2016/17 -- zimný semester, rozsah 3-2
Vyučujúci
doc.RNDr. Karol Nemoga, CSc., nemoga@mat.savba.sk
Cvičenie z logiky tento týždeň bude iba vo štvrtok 15.12.2016 o 10oo v miestnosti c 201 (v tento deň sa učí piatkový rozvrh). Na toto cvičenie môže prísť ktokoľvek bez ohľadu na to, kedy má cvičenie v rozvrhu. Prepočítame zadanie písomky zo skúšky z minulého roku. |
Náhradný termín pre druhú písomku: každý (pracovný) deň o 9:00 u doc.Nemogu na SAV-ke (Štefánikova 49, BA). |
Predtermín - pondelok - 19.decembra 2016 - o 10:00 - BC 300, CD 300 Riadny termín - piatok - 27.januára 2017 - o 8:00 - AB 300, BC 300 Opravný termín - streda - 8.februára 2017 - o 11:00 - CD 300 Obsah: Predikátový počet s funkciami, prenexná KNF, v učebnici Chapter 9 Temporálna logika (všeobecne) a lineárna temporálna logika, v učebnici Chapter 13 Dovolený ťahák - musí byť vlastnoručne písaný, môže obsahovať: - Skolemov algoritmus 9.15 (str.173-175) - Herbrandovo univerzum (str.177) - definíciu nových unárnych operátorov v TL a LTL (z kapitoly 13)
|
Rozvrh
Prednáška
utorok
AB 150
13:00
16:00
Nemoga
Cvičenie
utorok
AB 35
16:00
18:00
Nemoga
streda
AB 35
9:00
11:00
Čipková
piatok
C 201
9:00
11:00
Čipková
piatok
C 201
11:00
13:00
Čipková
Konzultácie
podľa dohody
Stručná osnova predmetu
1. Historický úvod, príklady.
2. Výrokový počet, formuly, konštrukcia, binárne rozhodovacie diagramy.
3. Booleovské výrazy, logická ekvivalencia, logické funkcie, pravdivostné tabuľky.
4. Tautológie, pravdivosť, splniteľnosť formuly.
5. Úplnosť výrokového počtu.
6. Logika prvého rádu, formuly.
7. Sémantické a syntaktické metódy všeobecne.
8. Teória modelov, splniteľnosť formuly, pravdivosť, vety o úplnosti.
9. Hilbertov systém, jeho úplnosť.
10. SAT solvery.
11. Modálna a temporálna logika.
12. Verifikácia programov.
Literatúra
BEN-ARI, M. Mathematical Logic for Computer Science. London: Springer, 2012. 346 s. ISBN 978-1-4471-4128-0.
Podmienky na absolvovanie predmetu
Z celkového počtu 100 bodov môže študent získať
* 30 bodov za 1.priebežnú písomku
* 30 bodov za 2.priebežnú písomku
* 40 bodov za záverečnú skúškovú písomku
Pre udelenie zápočtu je potrebné získať z dvoch priebežných písomiek aspoň 30 bodov. Účasť na prednáškach a cvičeniach je nutná.