M5150 Matematická logika

Přírodovědecká fakulta
podzim 1999
Rozsah
2/1/0. 4 kr. Ukončení: zk.
Vyučující
doc. RNDr. Jiří Kaďourek, CSc. (přednášející)
Garance
prof. RNDr. Jiří Rosický, DrSc.
Ústav matematiky a statistiky – Ústavy – Přírodovědecká fakulta
Kontaktní osoba: doc. RNDr. Jiří Kaďourek, CSc.
Předpoklady
M1120 Základy matematiky
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Osnova
  • Výroková logika: výrokové formule, pravdivost, dokazatelnost, věta o úplnosti.
  • Predikátová logika: predikátové formule.
  • Sémantika predikátové logiky: realizace, pravdivost.
  • Axiomy predikátové logiky: dokazatelnost, věta o korektnosti, věta o dedukci.
  • Věta o úplnosti: Henkinovy teorie, Gödelova věta o úplnosti.
  • Věta o kompaktnosti: věta o kompaktnosti, Löwenheimova-Skolemova věta.
  • Úplné teorie: elementární ekvivalence, úplné teorie, Losova-Vaughtova věta.
Literatura
  • KOLÁŘ, Josef, Olga ŠTĚPÁNKOVÁ a Michal CHYTIL. Logika, algebry a grafy. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1989, 434 s. info
  • ŠTĚPÁNEK, Petr. Matematická logika. Vyd. 1. Praha: Státní pedagogické nakladatelství, 1982, 281 s. info
Další komentáře
Předmět je vyučován každoročně.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích podzim 2000, podzim 2001, podzim 2002, podzim 2003, podzim 2004.