VSFS:N_MaL Mathematical Logic - Course Information
N_MaL Mathematical Logic
University of Finance and AdministrationWinter 2007
- Extent and Intensity
- 2/1. 5 credit(s). Type of Completion: zk (examination).
- Teacher(s)
- prof. PhDr. Vladimír Čechák, CSc. (seminar tutor)
- Guaranteed by
- prof. PhDr. Vladimír Čechák, CSc.
Department of Computer Science and Mathematics – Departments – University of Finance and Administration
Contact Person: Lenka Bažantová - Timetable of Seminar Groups
- N_MaL/vAPH: Sat 13. 10. 9:45–11:15 S13, 11:30–13:00 S13, Fri 26. 10. 13:45–15:15 S13, Sat 10. 11. 14:00–15:30 S13, 15:45–17:15 S13, Fri 30. 11. 12:00–13:30 S13, V. Čechák
- 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
- Applied Informatics (programme VSFS, N-INF) (2)
- Course objectives (in Czech)
- Anotace je stejná pro obě formy studia. Cíl kurzu: Formalizované jazyky. Výroková logika a její výrokové formule, funkční úplnost výrokové logiky, odvozování, axiomatizace, axiom, nezávislost axiomů, teorem, důkaz. Teorém o dedukci. Úplnost a bezespornost systémů výrokové logiky. Normální formy, disjunktivní, konjunktivní normální formy, úplné normální formy, minimalizace disjunktivních a konjunktivních normálních forem. Predikátová logika (1.stupně), jazyk predikátové logiky. Formule predikátové logiky, odvození v predikátové logice, axiomatizace predikátové logiky-odvozování.
- Syllabus (in Czech)
- Tato osnova je určena pro prezenční studium, průběh výuky pro kombinované studium je uveden ve studijních materiálech formou metodického listu (ML). Obsah přednášek: prenexní normální formy, skolemovy normální formy, splnitelnost, platnost, rozhodnutelnost formulí predikátové logiky, modely v predikátové logice (1.stupně), formalizace, možnosti a meze formalizace, gödelovy věty, historické souvislosti.
- Language of instruction
- Czech
- Further comments (probably available only in Czech)
- Information on the extent and intensity of the course: 12hodin/semestr.
- Enrolment Statistics (Winter 2007, recent)
- Permalink: https://is.vsfs.cz/course/vsfs/winter2007/N_MaL