Revision 42 as of 2016-10-27 06:42:14
You are not allowed to revert this page!

Clear message

Logika

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

Vyučujúci

Náhradná prvá písomka z Logiky bude v utorok 8.11.2016 o 13oo (počas prebiehajúcej prednášky; trvanie cca 1h) .

Pre zaujímavosť uvádzame k nahliadnutiu zadanie písomky z minulého roku.

Na písomke môžete ako pomôcku používať tabuľku alfa a beta formúl pre konštrukciu sémantických tabuliek (v knihe strana 36, Fig.2.8).

Rozvrh

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