Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

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

Opinion survey results Examination dates Schedule Noticeboard

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.