|
Vyučující
|
-
Ludvík Pavel, RNDr. Ph.D.
-
Tomeček Jan, doc. RNDr. Ph.D.
|
|
Obsah předmětu
|
1. Úvod do matematické logiky. 2. Úvod do logické analýzy jazyka. 3. Výroková logika. 4. Složené výroky. 5. Formální výstavba výrokové logiky. 6. Formule. 7. Odvozování formulí výrokové logiky. 8. Predikátová logika. 9. Kvantifikátory. 10. Množiny a třídy. 11. Booleova algebra. 12. Kombinatorika. 13. Relace.
|
|
Studijní aktivity a metody výuky
|
Přednášení, Metody práce s textem (učebnicí, knihou)
- Účast na výuce
- 26 hodin za semestr
- Domácí příprava na výuku
- 25 hodin za semestr
- Příprava na zápočet
- 40 hodin za semestr
|
|
Výstupy z učení
|
Porozumět matematické logice a používat ji.
Porozumění Aplikace Porozumět matematické logice. Aplikovat matematickou logiku v matematice i v běžné praxi.
|
|
Předpoklady
|
Znalost středoškolské matematiky.
|
|
Hodnoticí metody a kritéria
|
Písemná zkouška
Zápočet: napsat dvě zápočtové písemky a z každé získat alespoň polovinu bodů.
|
|
Doporučená literatura
|
-
J. Rachůnek. (1986). Logika. Skriptum UP Olomouc.
-
M. Závodný. (2009). Úvod do matematiky. Olomouc.
-
P. Jirků, J. Vejnarová. (2000). Logika - Neformální výklad základů formální logiky. Praha.
|