M005 Set Theory I

Faculty of Informatics
Autumn 1998
Extent and Intensity
2/1. 3 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
prof. RNDr. Ladislav Skula, DrSc. (lecturer)
Mgr. Jiří Zelinka, Dr. (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
  • 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
Further Comments
The course is taught annually.
The course is taught: every week.
The course is also listed under the following terms Autumn 1995, Autumn 1996, Autumn 1997, Autumn 1999, Spring 2000, Autumn 2000, Spring 2001, Autumn 2001, Spring 2002.
  • Enrolment Statistics (Autumn 1998, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn1998/M005