Revision 1 as of 2015-09-24 10:18:49
You are not allowed to revert this page!

Clear message

Logika

2015/16 -- zimný semester, rozsah 3-2

Vyučujúci

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á ekvivalenicia, logické funkcie, pravdivostné tabuľky.

4. Tautológie, pravdivosť, splniteľnosť formule.

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ť formule, 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.