Logika
2015/16 -- zimný semester, rozsah 3-2
Vyučujúci
doc.RNDr. Karol Nemoga, CSc., nemoga@mat.savba.sk
V IS sú zverejnené výsledky; zatiaľ pre 87 zo 173 poslucháčov. |
1.priebežný test - štvrtok - 22.októbra 2015 - AB 300. Trvanie testu: 60 minút Z kapacitných dôvodov sa bude písať v dvoch termínoch: 13:00-14:00 - poslucháči s priezviskom na A - K 14:30-15:30 - poslucháči s priezviskom na L - Ž Individuálne sa môžete vymeniť (kus za kus), informovať ma o tom nemusíte, ale počet ľudí v oboch termínoch musí byť dodržaný. Ak sa (napr. kvôli PN) nemôžete dostaviť, informujte ma m@ilom. Obsah: po sémantické tabuľky (vrátane), v učebnici Chapter 2 Dovolený ťahák: tabuľka 2.8 (strana 36, klasifikácia alfa a beta formúl), vlastnoručne písaný
|
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ť 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.
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á.