FI:I028 Essentials of General Logic - Course Information
I028 Essentials of General Logic
Faculty of InformaticsAutumn 2001
- Extent and Intensity
- 2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
- Teacher(s)
- prof. PhDr. Pavel Materna, CSc. (lecturer)
- Guaranteed by
- prof. PhDr. Karel Pala, CSc.
Department of Machine Learning and Data Processing – Faculty of Informatics
Contact Person: prof. PhDr. Pavel Materna, CSc. - Timetable
- Thu 9:00–10:50 B410
- Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
- fields of study / plans the course is directly associated with
- Informatics (programme FI, B-IN)
- Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
- Information Technology (programme FI, B-IN)
- Course objectives (in Czech)
- 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. - Syllabus (in Czech)
- 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.
- Assessment methods (in Czech)
- Přednáška bez cvičení. Na závěr zkouška.
- Language of instruction
- Czech
- Further Comments
- The course is taught annually.
- Enrolment Statistics (recent)
- Permalink: https://is.muni.cz/course/fi/autumn2001/I028