M007 Matematická logika

Fakulta informatiky
zima 1996
Rozsah
2/0. 2 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
prof. RNDr. Jiří Rosický, DrSc. (přednášející)
Garance
Kontaktní osoba: prof. RNDr. Jiří Rosický, DrSc.
Předpoklady
Nutno absolvovat M005 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.
Předmět je zařazen také v obdobích zima 1995, zima 1997, podzim 1998, podzim 1999, podzim 2000, podzim 2001.