Vyučující
|
-
Dvořák Jan, 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.
|