Revision 23 as of 2015-11-27 06:43:55
You are not allowed to revert this page!

Clear message

Logika

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

Vyučujúci

V IS sú zverejnené úplné výsledky 1.testu.

2.priebežný test - štvrtok - 3.decembra 2015 - o 13oo - AB 300 a DE 300.

Rozdelenie do miestností:

AB 300 - poslucháči s priezviskom na A - K

DE 300 - poslucháči s priezviskom na L - Ž

Obsah: SAT solvery, predikátový počet - po sémantické tabuľky (vrátane), v učebnici Chapter 4, 6, 7

Dovolený ťahák: tabuľka 2.8 (strana 36, klasifikácia alfa a beta formúl),

tabuľka na strane 148 (klasifikácia gama a delta formúl) vlastnoručne písané,

platné formuly v PP - v knihe str.141-142 (môže byť fotokópia)

Po písomke bude pokračovať prednáška.

Rozvrh

Prednáška

štvrtok

AB 300

13:00

16:00

Nemoga

Cvičenie

štvrtok

AB 300

16:00

18:00

Nemoga

piatok

C 801

8:00

10:00

Čipková

piatok

C 801

10:00

12: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á ekvivalenicia, 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á.