Diskretne strukture
Section outline
-
Predavanja: Matematična indukcija. Izjave, izjavni vezniki.
Lectures: Mathematical induction (pages 5-7); Introduction into propositional logic: atoms, logical connectives, logical formulas, truth tables, equivalence of formulas (pages 95-99).
-
-
Predavanja: Izjavni izrazi, resničnostna tabela, enakovredni izjavni izrazi. Zakoni izjavnega računa. DNO in KNO. Polni nabori izjavnih veznikov.
Lectures: Laws of propositional logic (pages 11-15); Disjunctive and conjuctive normal form (pages 4-6); Functionally complete sets of connectives
-
Predavanja: Lastnosti ekskluzivne disjunkcije. Sklepanje v izjavnem računu. Formalizacija sklepov, definicija pravilnega sklepa, pravila sklepanja, dokaz pravilnosti sklepa. Pomožni sklepi - pogojni sklep, sklep s protislovjem, analiza primerov.
Lectures: Properties of XOR. Logical inference - formalization, rules of inferece, derivation of rules (pages 100-104). Proof by contradiction (section 8 - on this link you can freely download the book), proof by conditional derivation (section 6.2), proof by cases (explained at the bottom of section 3.2).
-
Predikatni račun - jezik predikatnega računa, izjavne formule. Doseg kvantifikatorjev, proste in vezane spremenljivke. Interpretacija izjavne formule, enakovrednost izjavnih formul, preimenovanje spremenljivk, zakoni predikatnega računa,
Predicate logic: predicates; universe of discourse, universal and existential quantifier. (link) Scope of quantifiers. Free and bound variables. Well-formed formulas. Interpretation of formulas, equivalence of formulas. Laws of predicate calculus.
-
-
Ta teden ni predavanj.
No lectures this week.
-
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) -