FI:I028 Zákl. pojmy obecné logiky - Informace o předmětu

I028 Základní pojmy obecné logiky

Rozsah

2/0. 2 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

prof. PhDr. Pavel Materna, CSc. (přednášející)

Garance

Kontaktní osoba: prof. PhDr. Pavel Materna, 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

• 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

• Sémantická charakteristika logiky.
• Tradiční logika, symbolická (matematická) logika, filosofická logika.
• Stručný přehled dějin logiky.
• Klasická logika -- obecná charakteristika. Výroková logika, výrokový kalkul. Definice kalkulu. Bezespornost, úplnost, rozhodnutelnost. Tautologie výrokové logiky. Výrokově-logické vyplývání. Formální důkaz. Metateorém dedukce. Úplná disjunktivní, konjunktivní normální forma.
• Predikátová logika. Pojem řádu. Predikátová logika 1. řádu. Interpretace formálního systému predikátové logiky 1. řádu. Splňování, splnitelnost, pravdivost v interpretaci, logické a analytické vyplývání. Pojem modelu.
• Fragment: kategorický sylogismus. Funkce, identita, individuální deskripce.
• Predikátová logika 2. řádu.
• Teorie typů.
• Neklasické logiky. Vícehodnotové, modální, intenzionální logiky.

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