Preskoči na glavno vsebino
Stransko polje
Domov
Več
Išči
Zapri
Išči
Preklopi iskalni vnos
Slovenščina (sl)
English (en)
Slovenščina (sl)
Македонски (mk)
Русский (ru)
한국어 (ko)
Trenutno uporabljate gostujoči dostop
Prijavite se
Domov
Course Activities
Forumi
Kvizi
Viri
Nedavno dostopani predmeti
You are not enrolled in any courses
Odpri kazalo predmeta
dsb
Argument Clinic, Monthy Python
Argument Clinic, Monthy Python
Kliknite na povezavo
Argument Clinic, Monthy Python
, če želite odpreti vir.
◄ Zakoni predikatnega računa.
Skoči na ...
Skoči na ...
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 ►