FI:I028 Zákl. pojmy obecné logiky - Informace o předmětu
I028 Základní pojmy obecné logiky
Fakulta informatikypodzim 2000
- 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. - 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.
- Další komentáře
- Předmět je vyučován každoročně.
Výuka probíhá každý týden.
- Statistika zápisu (podzim 2000, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2000/I028