MA006 Set Theory

Faculty of Informatics
Spring 2005
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
Teacher(s)
prof. RNDr. Jiří Rosický, DrSc. (lecturer)
Guaranteed by
prof. RNDr. Jiří Rosický, DrSc.
Departments – Faculty of Science
Contact Person: prof. RNDr. Jiří Rosický, DrSc.
Timetable
Thu 10:00–11:50 N41
Prerequisites
! M006 Set Theory
Prerequisites M005 Foundations of mathematics
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.
fields of study / plans the course is directly associated with
there are 6 fields of study the course is directly associated with, display
Course objectives
The course follows the course of the foundations of mathematics. There is studied the cardinal and ordinal numbers and their arithmetics.
Syllabus
  • Cardinal numbers: cardinal number, ordering of cardinal numbers, Cantor--Bernstein theorem, operations with cardinal numbers
  • Well-ordered sets: well-ordered set, transfinite induction, operations with well-ordered sets
  • Ordinal numbers: ordinal number, ordering of ordinal numbers, ordinal arithmetic, countable ordinal numbers
  • Axiom of choice: axiom of choice, well-ordering principle, maximality principle
  • Arithmetics of cardinal numbers.
Literature
  • Rosický, Jiří, Teorie množin, učební text, 1996, Masarykova univrazita v Brně
  • KOLÁŘ, Josef, Olga ŠTĚPÁNKOVÁ and Michal CHYTIL. Logika, algebry a grafy. 1. vyd. Praha: SNTL - Nakladatelství technické literatury, 1989, 434 s. info
  • BALCAR, Bohuslav and Petr ŠTĚPÁNEK. Teorie množin. 1. vyd. Praha: Academia, 1986, 412 s. info
  • FUCHS, Eduard. Teorie množin. Vyd. 1. Brno: Rektorát UJEP, 1974, 176 s. info
Assessment methods (in Czech)
výuka: přednáška zkouška: písemná nebo ústní
Language of instruction
Czech
Further comments (probably available only in Czech)
The course is taught annually.
The course is also listed under the following terms Spring 2003, Spring 2004.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/fi/spring2005/MA006