Skip to main content
Side panel
Home
More
Search
Close
Search
Toggle search input
English (en)
English (en)
Slovenščina (sl)
Македонски (mk)
Русский (ru)
한국어 (ko)
You are currently using guest access
Log in
Home
Course Activities
Forums
Quizzes
Resources
Recent Courses
You are not enrolled in any courses
Open course index
dsb
izročki, izjavni račun
izročki, izjavni račun
Modified 4/10/23, 13:38
Click
dsuni-predavanje.pdf
link to view the file.
◄ Vaje na daljavo, 16.1.2024, 12:15-14:00
Jump to...
Jump to...
Osnovni podatki o predmetu
Obveznosti študenta
Gradiva
References in English
Forum novic
Forum vprašanj in odgovorov
Tutorske ure
Vaje na daljavo, 16.1.2024, 12:15-14:00
references in English, Propositional Logic
Izjavni vezniki.
Izjavni izrazi.
Zakoni izjavnega računa.
Kviz po predavanjih, 2. teden
Vaje, 2. teden
Domača naloga, 2.teden
Še trije izjavni vezniki.
Nepoln nabor (negacija in ekvivalenca)
Kviz po predavanjih, 3. teden
Domača naloga, 3. teden
Vaje, 3. teden
predavanja pred 5. tednom, 24. oktober, gradiva
Izročki, predikatni račun, osveženi 5.11.2023
references in English, Predicate Logic
Pravilni in nepravilni sklep.
Pravila sklepanja.
Pomožni sklepi.
Interpretacija in formalizacija.
Zakoni predikatnega računa.
Argument Clinic, Monthy Python
Vaje, 4. teden
Domača naloga, 4. teden
Kviz po predavanjih, 4. teden
Kviz po predpredavanjih 5. tedna
Vaje, 5. teden
Domača naloga, 5. teden
Izročki, teorija množic
references in English, Set theory
Sklepanje v predikatnem računu.
Omejeni kvantifikatorji
Enakosti z množicami.
Vaje, 6. teden
Domača naloga, 6. teden
Kviz po predavanjih, 6. teden
Sistemi enačb z eno neznano množico.
Lastnosti kartezičnega produkta.
Vaje, 7. teden
Domača naloga, 7. teden
Kviz po predavanjih, 7. teden
izročki, relacije in preslikave
references in English, Relations and functions (mappings)
Lastnosti relacij.
Operacije z relacijami.
Kviz po predavanjih, 8. teden
Vaje, 8. teden
Domača naloga, 8. teden (sistemi z množicami, kartezični produkt)
Kompozitum preslikav.
Inverzna preslikava.
Slike in praslike.
Kviz po predavanjih, 9. teden
Vaje, 9. teden
izročki, moč množic in teorija števil
references in English, set cardinality
references in English, number theory
Kviz po predavanjih, 10. teden
Moč neskončnih množic
Dirichletov princip.
Celi del realnega števila
Razširjeni Evklidov algoritem, ozadje.
Eulerjeva metoda za reševanje LDE.
Vaje, 10. teden
Domača naloga, 10. teden (delne urejenosti, ekvivalenčne relacije)
izročki, permutacije
references in English, permutations
Permutacije, 1.del.
Permutacije, 2.del.
Kviz po predavanjih, 11. teden
Vaje, 11. teden
Domača naloga, 11. teden (funkcije, princip vključitve in izključitve)
Permutacije, enačbe.
Kviz po predavanjih, 12. teden
Vaje, 12. teden
Domača naloga, 12. teden (GCD, linearne diofantske enačbe)
teorija števil, dodatne vsebine
Eulerjeva funkcija.
Eulerjev, Mali Fermatov izrek in posledice.
Praznična domača naloga (bonus)
Vaje, 14. teden
Domača naloga, 14. teden
Kviz PRED predavanji, 15. teden
izročki, teorija grafov
references in English, graph theory
Kviz po predavanjih, 15. teden
Grafi - uvod in malo več
Grafi, osnovne definicije.
Grafi, operacije.
Grafi, osnovne družine
Grafi, podgrafi
Grafi, sprehodi.
Grafi, dvodelni
Vaje, 15. teden
Domača naloga, 15. teden
Kviz po predavanjih, 16. teden
Grafi, Brooksov izrek
Posnetek predavanj, 9.10.2020
Posnetek predavanj, 16.10.2020
Posnetek predavanj, 23.10.2020
Posnetek predavanj, 6.11.2020
Posnetek predavanj, 13.11.2020
Posnetek predavanj, 20.11.2020
Posnetek predavanj, 27.11.2020
Posnetek predavanj, 4.12.2020
Posnetek predavanj, 11.12.2020
Posnetek predavanj, 18.12.2020
Posnetek nepredavanj, 28.12.2020
Posnetek predavanj, 8.1.2021
Posnetek predavanj, 15.1.2021
Posnetek vaj, četrtek 15.10.2020
Posnetek vaj, sreda 11.11.2020
Posnetek vaj, četrtek 19.11.2020
Posnetek vaj, sreda 25.11.2020
Posnetek vaj, četrtek 3.12.2020
Posnetek vaj, sreda 9.12.2020
Posnetek vaj, četrtek 17.12.2020
Posnetek vaj, torek 22.12.2020 (naloga 1 od 1:13 za 2022/13)
Posnetek vaj, četrtek 7.1.2021 (naloge 5, 4, 6 za 2022/13)
Posnetek vaj, sreda 13.1.2021
references in English, Propositional Logic ►