I028 Základní pojmy obecné logiky

Fakulta informatiky
podzim 2001
Rozsah
2/0. 2 kr. (plus ukončení). 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
prof. PhDr. Karel Pala, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. PhDr. Pavel Materna, CSc.
Rozvrh
Čt 9:00–10:50 B410
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
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.
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.
Metody hodnocení
Přednáška bez cvičení. Na závěr zkouška.
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích zima 1995, zima 1997, podzim 1998, podzim 1999, podzim 2000.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/podzim2001/I028