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.
