4. november - 10. november
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)-
2024/10/30 16:00 수정됨
-