FI:M007 Matematická logika - Informace o předmětu

M007 Matematická logika

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

• Informatika (program FI, B-IN)
• Informatika (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Výpočetní technika (program FI, B-IN)

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.

• Statistika zápisu (zima 1996, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/zima1996/M007