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
Argument Clinic, Monthy Python
Argument Clinic, Monthy Python
Click on
Argument Clinic, Monthy Python
to open the resource.
◄ Zakoni predikatnega računa.
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
izročki, izjavni račun
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.
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
Vaje, 4. teden ►