Course: Introduction to mathematical logic

« Back
Course title Introduction to mathematical logic
Course code KMA/ZML
Organizational form of instruction Lecture
Level of course Bachelor
Year of study 1
Semester Summer
Number of ECTS credits 3
Language of instruction Czech
Status of course Compulsory
Form of instruction unspecified
Work placements unspecified
Recommended optional programme components None
Lecturer(s)
  • Kobera Marek, Mgr. Bc. Ph.D.
Course content
Propositional calculus, language of the logic, formulas, evaluation of formulas, system of axioms and deduction system of propositional calculus, truth and provability, correctness theorem, completeness theorem. Predicate logic, language and its semantics, system of axioms and deduction system of predicate logic. Fundamental notions of set theory, correspondence between sets, Cartesian product, relations, mappings, ordered sets, equivalence and subdivision. Boolean algebra, properties of the Boolean conjunctions and their set interpretation.

Learning activities and teaching methods
Monologic (reading, lecture, briefing), Dialogic (discussion, interview, brainstorming)
Learning outcomes
To show to students the basic methods of mathematical logic.
To acquire the basic methods of mathematical logic.
Prerequisites
Mathematical skills on the high school level.

Assessment methods and criteria
Written examination, Analysis of student's work activities (technical works)

Seminar works. Written tests.
Recommended literature
  • Fuchs, E.:. Logika a teorie množin (Úvod do oboru), Brno : Rektorát UJEP, 1978.
  • Kolář, J., Štěpánková, O., Chytil, M.:. Logika, algebry a grafy, STNL, Praha, 1989.
  • Štěpánek , P. :. Matematická logika , SPN Praha 1982.
  • Švejdar, V. :. Logika - neúplnost, složitost a nutnost, Academia, Praha 2002.


Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester
Faculty: Faculty of Education Study plan (Version): Introductory teacher training course in mathematics (3) Category: Pedagogy, teacher training and social care 1 Recommended year of study:1, Recommended semester: Summer
Faculty: Faculty of Education Study plan (Version): Introductory teacher training course in mathematics (3) Category: Pedagogy, teacher training and social care 1 Recommended year of study:1, Recommended semester: Summer