Oris teme
Splošno
- Povezava Zoom za predavanja na daljavo. Tako predavanje bo 27. 12. 2021 od 9:00 do 10:00.
Za sprotno komunikacijo, vprašanja in pogovore poleg spletne učilnice uporabljamo tudi Discord. Vsi študenti ste vabljeni.
Preverjanja znanja
Datum Ura Predavalnica Rezultati 1. kolokvij 25. 11. 2021 16:00-18:00 2.01 in 2.05 rezultati 2. kolokvij 13. 1. 2022 16:00-18:00 2.01 in 2.05 rezultati 1. izpit 2. 2. 2022 9:00-11:00 2.05 rezultati Dodatni rok 8. 4. 2022 14:00-16:00 2.05 rezultati 2. izpit 17. 6. 2022 9:00-11:00 2.05 rezultati 3. izpit 29. 8. 2022 9:00-11:00 2.05 rezultati - To je spisek vprašanj iz preteklih let, ki ga vsako leto še prilagodim temu, kar smo dejansko obravnavali. Na ustnem izpitu "žrebate" tri listke, s katerimi določimo teme, o katerih se bomo pogovarjali. Pri vsaki temi je dobro vedeti osnovne definicije in izreke, primere in protiprimere. Pri izrekih je seveda dobro vedeti idejo dokaza.
- Na ustni izpit se prijavite, ko ste opravili pisni izpit (bodisi s kolokviji bodisi s pisnim izpitom) in bi želeli priti na ustni izpit. Če nameravate oceno pisnega izpita izboljševati, se ne prijavljajte na ustni izpit. Praviloma morate priti na ustni izpit v roku enega meseca po pridobljeni oceni pisnega izpita.
Predavanja
Zadnja verzija zapiskov s predavanj, ki se sproti posodablja, glej GitHub repozitorij
- Osnovno o množicah in preslikavah (4. 10. 2021)
- Preslikave in izomorfizmi (11. 10. 2021)
- Simbolni zapis (18. 10. 2021)
- Definicije in dokazi (25. 10. 2021)
- Boolova algebra (8. 11. 2021)
- Razredi in družine (15. 11. 2021)
- Lastnosti preslikav (22. 11. 2021)
- Relacije (29. 11. 2021)
- Ekvivalenčne relacije (6. 12. 2021)
- Relacije urejenosti (13. 12. 2021)
- Moč množic (20. 12. 2021)
Števne množice in Cantor-Schröder-Bernsteinov izrek (27. 12. 2021)
Indukcija in dobra osnovanost (3. 1. 2022)
- Ordinalna števila, kodiranje z množicami (10. 1. 2022)
- ZFC aksiomi, kumulativna hierarhija (14. 1. 2022)
Vaje