M5150 Matematická logika

Přírodovědecká fakulta
podzim 2000
Rozsah
2/1/0. 4 kr. Ukončení: zk.
Vyučující
doc. RNDr. Jiří Kaďourek, CSc. (přednášející)
Mgr. David Kruml, Ph.D. (cvičící)
Garance
prof. RNDr. Jiří Rosický, DrSc.
Ústav matematiky a statistiky – Ústavy – Přírodovědecká fakulta
Kontaktní osoba: doc. RNDr. Jiří Kaďourek, CSc.
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
Cíle předmětu
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 dovoleno ukončit i mimo zkouškové období.
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 1999, podzim 2001, podzim 2002, podzim 2003, podzim 2004.