Перейти к основному содержанию
Боковая панель
В начало
Дополнительно
Найти
Закрыть
Найти
Изменить данные поисковой строки
Русский (ru)
English (en)
Slovenščina (sl)
Македонски (mk)
Русский (ru)
한국어 (ko)
Вы используете гостевой доступ
Вход
В начало
Course Activities
Ресурсы
Тесты
Форумы
Recent Courses
You are not enrolled in any courses
Открыть оглавление курса
DsVsp
Zakoni predikatnega računa
Zakoni predikatnega računa
Загружено 7/12/22, 16:14
Нажмите на ссылку
zakoni_predikatnega_racuna.pdf
, чтобы просмотреть файл.
◄ Interpretacija in formalizacija
Перейти на...
Перейти на...
Rešitve 1. kolokvija s točkovnikom
Rešitve 2. kolokvija s točkovnikom
Osnovni podatki o predmetu
Obveznosti študenta
Gradiva
References in English
Tutorske ure
Forum novic
Forum vprašanj in odgovorov
Izročki predavanj, indukcija in izjavni račun
references in English, Induction
references in English, Propositional logic
Kviz po predavanjih v 1. tednu
Domača naloga 1. teden
Predavanja 10. oktobra ob 16h, Zoom link
Predavanja 10. oktobra ob 16h, gradiva
Zakoni izjavnega računa
Naloge za vaje, 2. teden
Kviz po predavanjih v 2. tednu
Domača naloga, 2. teden
Pravila sklepanja
Pravilni in nepravilni sklep
Pomožni sklepi
Naloge za vaje, 3. teden
Domača naloga, 3. teden
Kviz po predavanjih v 3. tednu
Predikatni račun - izročki predavanj
references in English, Predicate logic
Interpretacija in formalizacija
Kviz po predavanjih v 4. tednu
Naloge za vaje, 4. teden
Domača naloga, 4. teden
Teorija množic - izročki predavanj
references in English, Set theory
Enakosti z množicami
Naloge za vaje, 5. teden
Vaje 5. teden rešitve
Naloge za vaje, 5. teden, rešitve (posnetki)
Domača naloga, 5. teden
Kviz po predavanjih v 5. tednu
Moč množic - izročki predavanj
references in English, set cardinality
Lastnosti kartezičnega produkta
Kviz po predavanjih v 6. tednu
Naloge za vaje, 6. teden
Domača naloga, 6. teden
Relacije, izročki predavanj
references in English, relations, functions (mappings)
Lastnosti relacij
Operacije z relacijami
Naloge za vaje, 7. teden
Kviz po predavanjih v 7. tednu
Domača naloga, 7. teden
Inverzna preslikava
Kompozitum preslikav
Moč neskončnih množic.
Naloge za vaje, 8. teden
Kviz po predavanjih v 8. tednu
Domača naloga, 8. teden
Teorija grafov, izročki predavanj
references in English, graph theory
Naloge za vaje, 9. teden
Domača naloga, 9. teden
Kviz po predavanjih v 9. tednu
Naloge za vaje, 10. teden
Kviz po predavanjih v 10. tednu
Domača naloga, 10. teden
Naloge za vaje, 11. teden
Kviz po predavanjih v 11. tednu
Domača naloga, 11. teden
Teorija števil, permutacije - izročki predavanj
references in English, number theory, permutations
Naloge za vaje, 12. teden
Kviz po predavanjih v 12. tednu
Domača naloga, 12. teden
Naloge za vaje, 13. teden
Kviz po predavanjih v 13. tednu
Domača naloga, 13. teden
Izročki, permutacije
Kviz po predavanjih v 14. tednu
Naloge za vaje, 14. teden
Domača naloga, 14. teden
Naloge za vaje, 15. teden
Kviz po predavanjih v 4. tednu ►