|
Vyučující
|
-
Abbas Jiří, prof. RNDr. DSc.
|
|
Obsah předmětu
|
1. Jazyk výrokové logiky (VL), pravdivost formulí 2. Odvozování ve VL, věta o dedukci 3. Věta o úplnosti VL 4. Jazyk predikátové logiky (PL) 5. Struktury a modely 6. Odvozování v PL 7. Věta o úplnosti PL 8. Gödelova věta o neúplnosti aritmetiky
|
|
Studijní aktivity a metody výuky
|
Přednáška
- Příprava na zkoušku [10-60]
- 32 hodin za semestr
- Kontaktní výuka
- 52 hodin za semestr
|
| Předpoklady |
|---|
| Odborné znalosti |
|---|
| jediným předpokladem předmětu je zkušenost s matematickým myšlením a důkazovými technikami |
| Výsledky učení |
|---|
| absolvováním této přednášky student získá základní orientaci v daném předmětu a bude schopen samostatného studia odborné literatury |
| Vyučovací metody |
|---|
| Přednáška založená na výkladu, |
| Hodnotící metody |
|---|
| Ústní zkouška, |
|
Doporučená literatura
|
-
Enderton, Herbert B. A mathematical introduction to logic. 2nd ed. San Diego : Harcourt Academic Press, 2001. ISBN 0-12-238452-0.
-
Mendelson, Elliott. Introduction to mathematical logic. 4th ed. Boca Raton : Chapman & Hall, 2001. ISBN 0-41-80830-7.
-
Sochor, Antonín. Klasická matematická logika. Vyd. 1. Praha : Karolinum, 2001. ISBN 80-246-0218-0.
|