SubjectsSubjects(version: 944)
Course, academic year 2023/2024
   Login via CAS
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
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
Annotation -
Last update: T_KTI (13.05.2003)
A basic course of axiomatic set theory, including an introduction to extended set theory. Several widely applicable mathematical methods and conceptions are presented.
Aim of the course -
Last update: RNDr. Jan Hric (07.06.2019)

To learn fundamentals of set theory

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

Oral exam

Literature - Czech
Last update: G_I (18.05.2004)

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

Syllabus -
Last update: T_KTI (13.05.2003)

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.

Charles University | Information system of Charles University |