Logika

2016/17 -- zimný semester, rozsah 3-2

Vyučujúci

Predtermín - pondelok - 19.decembra 2016 - o 10:00 - BC 300, CD 300

Riadny termín - piatok - 27.januára 2017 - o 8:00 - 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)

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.

BEN-ARI, M. Mathematical Logic for Computer Science. London: Springer, 2012. 346 s. ISBN 978-1-4471-4128-0.

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á.