Oddelenie matematiky
Differences between revisions 144 and 145
| Deletions are marked like this. | Additions are marked like this. |
| Line 174: | Line 174: |
| Pre účasť na skúškovej písomke je potrebné získať v oboch priebežných písomiek (v súčte) aspoň 30 bodov. |
Logika
2025/2026 -- zimný semester, rozsah 2-2
Vyučujúci
doc.RNDr. Karol Nemoga, CSc., nemoga@mat.savba.sk
|
Prihláste sa do kurzu LOGIKA v MOODLE, je uvedený v kategórii Matematika. Tam nájdete všetky potrebné informácie. |
Rozvrh
|
Deň |
Miestnosť |
Od |
Do |
|
Výnimky: |
Prednáška |
streda |
AB 150 |
8:00 |
9:40 |
Nemoga |
--- |
Cvičenie |
streda |
AB 300 |
10:00 |
11:40 |
Čipková |
--- |
|
streda |
BC 35 |
10:00 |
11:40 |
Nemoga |
--- |
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
V čase konania písomiek môžu byť stanovené konkrétne minimálne kritériá pre úspešné zvládnutie písomky. Pre účasť na skúškovej písomke je potrebné získať v oboch priebežných písomiek (v súčte) aspoň 30 bodov. Účasť na prednáškach a cvičeniach je nutná.