Revision 65 as of 2017-09-26 05:47:31
You are not allowed to revert this page!

Clear message

Logika

2017/18 -- zimný semester, rozsah 2-2

Vyučujúci

V utorok 26.septembra bude prednáška v AB 300 od 8oo do 9oo.

Cvičenie po nej v tento deň nebude, môžete si ho nahradiť v ľubovoľnom termíne - v pondelok alebo vo štvrtok (podľa vlastného výberu). Rozpis všetkých cvičení je uvedený v tabuľke nižšie.

Rozvrh

Deň

Miestnosť

Od

Do

Výnimky:

Prednáška

utorok

AB 150

8:00

10:00

Nemoga

26.9. od 8oo do 9oo v AB 300

Cvičenie

pondelok

C 517

9:00

11:00

Čipková

---

pondelok

C 517

11:00

13:00

Čipková

---

utorok

C 301

10:00

12:00

Nemoga

26.9. nebude

štvrtok

C 517

12:00

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