Oddelenie matematiky
Logika
2015/16 -- zimný semester, rozsah 3-2
Vyučujúci
doc.RNDr. Karol Nemoga, CSc., nemoga@mat.savba.sk
|
V IS sú zverejnené úplné výsledky 1.testu a výsledky 2.testu pre 87 poslucháčov, ktoré opravovala K. Čipková (ostatné má K.Nemoga). Vo štvrtok 17.12.2015 si môžete prísť pozrieť a prípadne reklamovať opravené písomky, po tomto termíne ich odovzdávam doc.Nemogovi. V rovnakom čase budú aj konzultácie. Stretnutie o 10:30 pred BC 150.
|
|
|
Ak ste nezískali zápočet (t.j. nemáte po oboch písomkách aspoň 30 bodov), môžete sa zúčastniť skúšky (aj bez udeleného zápočtu) a ak budete mať v súčte aspoň 56 bodov, získate týmto dodatočne zápočet a známku zo skúšky (podľa bežnej tabuľky).
|
|
|
Predtermín - pondelok - 21.decembra 2015 - o 13:30 - AB 300, BC 300 a CD 300. Rozdelenie do miestností: BC 300 - poslucháči s priezviskom na A - H AB 300 - poslucháči s priezviskom na CH - N CD 300 - poslucháči s priezviskom na O - Ž Uvedené rozdelenie je približné, pretože nie je úplne zrejmé, koľkí poslucháči sa skutočne dostavia na predtermín.
|
|
|
Riadny termín - piatok - 15.januára 2016 Opravný termín - pondelok - 1.februára 2016 |
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á.