1-INF-210 Úvod do matematickej logiky
Odporúčaný ročník: | 2. |
Semester: | zimný |
Rozsah: | P2,C2 |
Hodnotenie: | 20/80 |
Počet kreditov: | 6 |
Vyučujúci: | prednáša doc. RNDr. Eduard Toman CSc. |
www stránka: |
Cieľ:
Axiomatický výklad výrokového, predikátového počtu a špeciálnych teórií.
Sylabus:
- Úvod: Jazyk logiky, Formálne systémy logiky.
- Výroková logika: Syntax výrokovej logiky, Sémantika výrokovej logiky, Veta o kompaktnosti, Formálny systém výrokovej logiky, Veta o dedukcií, Postove vety, Teorémy výrokovej logiky, Konjunktívny a disjunktívny normálny tvar, Booleovské funkcie.
- Predikátová logika: Syntax predikátovej logiky, Sémantika predikátovej logiky, Substitúcie termov za premenné, Axiomy predikátovej logiky, Veta o dedukcií, Prenexné tvary formúl, Predikátová logika s rovnosťou, Príklady teórií s rovnosťou.
Spôsob hodnotenia:
Študent môže v rámci zimného semestra získať najviac 100 bodov. Maximálne 30 bodov môže mať na základe prítomnosti na cvičeniach a najviac 70 bodov môže získať na skúške. Podľa sumy bodov za cvičenia a za skúšku dostáva celkovú známku.
Počet bodov | Známka |
---|---|
Od 95 bodov | A |
Od 82 bodov | B |
Od 69 bodov | C |
Od 60 bodov | D |
Od 55 bodov | E |
Menej ako 55 bodov | FX |
.
Literatúra:
- Eduard Toman: Vybrané partie z logiky
- Antonín Sochor: Klasická matematická logika, UK v Prahe, Nakladatelství Karolinum, 2001
- Víteslav Švejdar: Logika, neúplnosť, složitosť a nutnosť, Academia, Nakladatelství AV ČR, 2002
- J. Kolář, O. Štepánková, M. Chytil: Logika, algebry a grafy, STNL, Nakladatelství technické literatúry Alfa, Vydavateľstvo technickej a ekonomickej literatúry, 1989
- S. V. Jablonskij: Úvod do diskrétnej matematiky, Alfa, Vydavateľstvo technickej a ekonomickej literatúry, Bratislava, 1984