N_MaL Mathematical Logic

University of Finance and Administration
Winter 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
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.
The course is also listed under the following terms Winter 2008, Summer 2009, Winter 2009, Winter 2010, Winter 2011, Winter 2012, Winter 2013, Winter 2014, Winter 2015, Winter 2016, Winter 2017, Winter 2018, Winter 2019, Winter 2020, Winter 2021, Winter 2022, Winter 2023, Summer 2025.
  • Enrolment Statistics (Winter 2007, recent)
  • Permalink: https://is.vsfs.cz/course/vsfs/winter2007/N_MaL