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 2015 to 2021
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:	not taught
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:	NAIL063, NAIL003
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 - Czech

Last update: T_KTI (23.05.2008)

Naučit základy teorie množin

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.