Introduction to Set Theory - NLTM030
Title: Úvod do teorie množin
Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
Faculty: Faculty of Mathematics and Physics
Actual: from 2022
Semester: winter
E-Credits: 6
Hours per week, examination: winter s.:2/2, C+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
Guarantor: doc. RNDr. Josef Mlček, CSc.
Classification: Informatics > Theoretical Computer Science
Incompatibility : NAIL063
Is incompatible with: NAIL003, NAIL063
Is interchangeable with: NAIL003
Opinion survey results   Examination dates   Schedule   Noticeboard   
Annotation -
A basic course of axiomatic set theory, including an introduction to extended set theory. Several widely applicable mathematical methods and conceptions are presented.
Last update: T_KTI (13.05.2003)
Aim of the course -

To learn fundamentals of set theory

Last update: Hric Jan, RNDr. (07.06.2019)
Course completion requirements -

Oral exam

Last update: Hric Jan, RNDr. (07.06.2019)
Literature - Czech

B. Balcar, P. Štěpánek : Teorie množin; Academia Praha, 1986

Last update: G_I (18.05.2004)
Syllabus -

Axioms. Basic operations with sets. Relations, functions. Orderings, equivalences, structures. Natural and ordinal numbers: induction, recursion, ordinal arithmetic. Axiom of choice: equivalent formulas, applications. Cardinal numbers: cardinality, cardinal arithmetic. Transfinite combinatorics: Ramsey's theorems, independent systems. Extended set theory: axioms, nonstandard methods. Applications.

Last update: T_KTI (13.05.2003)