Section outline

  • Текущая неделя

    Zakoni predikatnega računa z omejitvami. Preneksna normalna oblika.

    Množice, osnovne operacije z množicami ($\cap, \cup, +, \setminus, ^c$), lastnosti komplementiranja, osnovne enakosti množic. Potenčna množica. Kartezični produkt.

    Laws of predicate calculus wrt. naming of variables. Prenex normal form.

    Sets, basic operations with sets ($\cap, \cup, +, \setminus, ^c$), laws for operations with sets. (notes, on this link there are some proofs of laws of set theory). Power set. Cartesian product.

    Predavanja: Potenčna množica. Kartezični produkt. Moč končnih množic. Načelo vključitev in izključitev.
    Lectures: Cardinality of finite sets. (link) Principle of inclusion and exclusion. (link)