#
FI:M005 Set Theory I - Course Information

## M005 Set Theory I

**Faculty of Informatics**

Autumn 1995

**Extent and Intensity**- 0/0. 3 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
**Teacher(s)**- prof. RNDr. Ladislav Skula, DrSc. (lecturer)
**Guaranteed by**- Contact Person: prof. RNDr. Ladislav Skula, DrSc.
**Course Enrolment Limitations**- The course is also offered to the students of the fields other than those the course is directly associated with.
**fields of study / plans the course is directly associated with**- Informatics (programme FI, B-IN)
- Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
- Information Technology (programme FI, B-IN)

**Syllabus**- Propositional logic: propositional formulas, truth, disjunctive normal form
- Sets: set, subset, union, intersection, cartesian product
- Mappings: mapping, injection, surjection, bijection, inverse mapping, composition of mappings, cardinality of a set, Cantor theorem, cardinality of sets of numbers
- Relations: relation, composition of relations, inverse relation, equivalence relation, construction of integers and rational numbers
- Ordered sets: ordered set, preordered set, complete lattice, fixpoint theorem, construction of real numbers

**Language of instruction**- Czech

- Enrolment Statistics (Autumn 1995, recent)
- Permalink: https://is.muni.cz/course/fi/autumn1995/M005