Course: Introduction to mathematical logic

« Back
Course title Introduction to mathematical logic
Course code UMB/583
Organizational form of instruction Lecture + Lesson
Level of course Bachelor
Year of study not specified
Frequency of the course In each academic year, in the winter semester.
Semester Winter
Number of ECTS credits 3
Language of instruction Czech
Status of course Compulsory, Compulsory-optional
Form of instruction unspecified
Work placements unspecified
Recommended optional programme components None
Lecturer(s)
  • Kalová Jana, doc. RNDr. Ing. Ph.D.
Course content
Content of lectures: Propositional calculus, language of the logic, formulas, evaluation of formulas, system of axioms and deduction system of propositional calculus. Predicate logic, language and its semantics, system of axioms and deduction system of predicate logic. Boolean algebra, properties of the Boolean conjunctions and their interpretation. Fundamental notions of set theory, correspondence between sets, Cartesian product, relations and their properties, mappings, ordered sets, equivalence and subdivision, system of axioms. Content of practicals: Practicing theoretical concepts on specific examples

Learning activities and teaching methods
Monologic (reading, lecture, briefing), Dialogic (discussion, interview, brainstorming), Projection
  • Class attendance - 26 hours per semester
  • Preparation for classes - 40 hours per semester
  • Preparation for exam - 20 hours per semester
Learning outcomes
To show to students the basic methods of mathematical logic. Students will have a general awarness of methods of mathematical logic. They will use the knowledge mainly during studying mathematics and informatics
Studenti získají přehled o metodách matematické logiky. Znalosti využijí zejména při studiu matematiky a informatiky.
Prerequisites
Elementary knowledge of high school mathematics.

Assessment methods and criteria
Oral examination, Written examination, Student performance assessment, Test, Interim evaluation

Managing the curriculum on the required level is checked by two tests in the course of the stay and one final exam test.
Recommended literature
  • 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..
  • Demlová, M., Pondělíček, B. Matematická logika. ČVUT, Praha, 1997.
  • Strach, J. Logika. Brno, 2009. ISBN 978-80-210-5025-9.


Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester
Faculty: Faculty of Science Study plan (Version): Applied Informatics (1) Category: Informatics courses 1 Recommended year of study:1, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Mathematics for future teachers (1) Category: Mathematics courses 1 Recommended year of study:1, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Applied Informatics (1) Category: Informatics courses 1 Recommended year of study:1, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Mathematics for future teachers (1) Category: Mathematics courses 1 Recommended year of study:1, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Applied Informatics (1) Category: Informatics courses 1 Recommended year of study:1, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Secondary Schools Teacher Training in Mathematics (1) Category: Pedagogy, teacher training and social care - Recommended year of study:-, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Secondary Schools Teacher Training in Mathematics (1) Category: Pedagogy, teacher training and social care - Recommended year of study:-, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Applied Informatics (1) Category: Informatics courses 1 Recommended year of study:1, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Applied Mathematics (2010) Category: Mathematics courses 1 Recommended year of study:1, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Applied Informatics (1) Category: Informatics courses 1 Recommended year of study:1, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Mathematics for future teachers (1) Category: Mathematics courses 1 Recommended year of study:1, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Mathematics for future teachers (1) Category: Mathematics courses 1 Recommended year of study:1, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Informatics for future teachers (1) Category: Informatics courses - Recommended year of study:-, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Secondary Schools Teacher Training in Mathematics (1) Category: Pedagogy, teacher training and social care - Recommended year of study:-, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Secondary Schools Teacher Training in Mathematics (2012) Category: Pedagogy, teacher training and social care - Recommended year of study:-, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Applied Informatics (1) Category: Informatics courses 1 Recommended year of study:1, Recommended semester: Winter
Faculty: Faculty of Science Study plan (Version): Applied Informatics (1) Category: Informatics courses 1 Recommended year of study:1, Recommended semester: Winter