Logic and set theory - NMUM505
Title: Logika a teorie množin
Guaranteed by: Department of Mathematics Education (32-KDM)
Faculty: Faculty of Mathematics and Physics
Actual: from 2023
Semester: winter
E-Credits: 3
Hours per week, examination: winter s.:2/0, Ex [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: cancelled
Language: Czech
Teaching methods: full-time
Teaching methods: full-time
Guarantor: RNDr. Martin Rmoutil, Ph.D.
Incompatibility : NMTM503, NMUM818, NUMP016
Interchangeability : NMTM503, NMUM818, NUMP016
Is incompatible with: NMTM503
Is interchangeable with: NMTM503
Opinion survey results   Examination dates   Schedule   Noticeboard   
Annotation -
Last update: RNDr. Jakub Staněk, Ph.D. (17.06.2019)
A basic course in mathematical logic and set theory for prospective teachers.
Requirements to the exam -
Last update: RNDr. Martin Rmoutil, Ph.D. (17.06.2019)

The course is finished by passing an oral exam. Students will be asked to formulate and explain definitions, theorems and proofs from the lecture; there will be enough time to prepare written notes before discussing the questions with the examinator. A precise list of requirements will be available on the website of the lecturer.

Syllabus -
Last update: RNDr. Martin Rmoutil, Ph.D. (17.06.2019)

Basic notions of propositional and predicate calculus.

A general account of axiomatic theory, including a short mention of consistency and completeness.

The purpose and influence of set theory in mathematics.

Axioms of ZFC.

Comparing sets by cardinality, Cantor-Bernstein theorem, Cantor's theorem.

Natural numbers in set theory. Finite and countable sets.

Integer, rational and real numbers.

Ordinal numbers, their order, and operations on them.

Axiom of Choice and its equivalents.

Cardinal numbers, order and operations.