M005 Set Theory I

Faculty of Informatics
Autumn 1996
Extent and Intensity
2/2. 4 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
Teacher(s)
prof. RNDr. Jiří Rosický, DrSc. (lecturer)
Guaranteed by
Contact Person: prof. RNDr. Jiří Rosický, 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
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
The course is also listed under the following terms Autumn 1995, Autumn 1997, Autumn 1998, Autumn 1999, Spring 2000, Autumn 2000, Spring 2001, Autumn 2001, Spring 2002.
  • Enrolment Statistics (Autumn 1996, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn1996/M005