주: 20. oktober - 26. oktober | Discrete Structures

Osnovni podatki

Izvajalci:

Gašper Fijavž (gasper.fijavz@fri.uni-lj.si)
Jelena Klisara (jelena.klisara@fri.uni-lj.si)
Martin Vuk (martin.vuk@fri.uni-lj.si)
Peter Goričan (peter.gorican@fri.uni-lj.si)

Urnik vaj

Laboratorijske vaje - Ljubljana:

Skupina	Kdaj?	Kje?
1	Sre 9-11	PR-JB
2	Sre 11-13	PR-JB
3	Pet 12-14	PR-JB
4	Sre 13-15	PR-JB
5	Pet 10-12	LRI-JD
6	Čet 13-15	LRI-JD
7	Pet 12-14	PR-JB
8	Pet 10-12	LRI-JD
9	Sre 9-11	PR-JB
10	Sre 11-13	PR-JB
11	Čet 13-15	LRI-JD
12	Sre 13-15	PR-JB
13	Pon 16-18	PR-JB
14	Pon 16-18	PR-JB

Avditorne vaje - Ljubljana:

Skupina	Kdaj?	Kje?
1	Sre 7-9	PR-JA
2	Pon 8-10	PR-JA
3	Sre 13-15	PR-JA
4	Pet 10-12	PR-JA
5	Pon 15-17	PR-JA
6	Pon 15-17	PR-JA
7	Pet 10-12	PR-JA
8	Čet 13-15	PR-JA
9	Sre 7-9	PR-JA
10	Pon 8-10	PR-JA
11	Sre 13-15	PR-JA
12	Čet 13-15	PR-JA

달력

월요일	화요일	수요일	목요일	금요일	토요일	일요일
						이벤트 없음, 3월 1일, 일요일 이벤트 없음, 3월 1일, 일요일
이벤트 없음, 3월 2일, 월요일 이벤트 없음, 3월 2일, 월요일	이벤트 없음, 3월 3일, 화요일 이벤트 없음, 3월 3일, 화요일	이벤트 없음, 3월 4일, 수요일 이벤트 없음, 3월 4일, 수요일	이벤트 없음, 3월 5일, 목요일 이벤트 없음, 3월 5일, 목요일	이벤트 없음, 3월 6일, 금요일 이벤트 없음, 3월 6일, 금요일	이벤트 없음, 3월 7일, 토요일 이벤트 없음, 3월 7일, 토요일	이벤트 없음, 3월 8일, 일요일 이벤트 없음, 3월 8일, 일요일
이벤트 없음, 3월 9일, 월요일 이벤트 없음, 3월 9일, 월요일	이벤트 없음, 3월 10일, 화요일 이벤트 없음, 3월 10일, 화요일	이벤트 없음, 3월 11일, 수요일 이벤트 없음, 3월 11일, 수요일	이벤트 없음, 3월 12일, 목요일 이벤트 없음, 3월 12일, 목요일	이벤트 없음, 3월 13일, 금요일 이벤트 없음, 3월 13일, 금요일	이벤트 없음, 3월 14일, 토요일 이벤트 없음, 3월 14일, 토요일	이벤트 없음, 3월 15일, 일요일 이벤트 없음, 3월 15일, 일요일
이벤트 없음, 3월 16일, 월요일 이벤트 없음, 3월 16일, 월요일	이벤트 없음, 3월 17일, 화요일 이벤트 없음, 3월 17일, 화요일	이벤트 없음, 3월 18일, 수요일 이벤트 없음, 3월 18일, 수요일	이벤트 없음, 3월 19일, 목요일 이벤트 없음, 3월 19일, 목요일	이벤트 없음, 3월 20일, 금요일 이벤트 없음, 3월 20일, 금요일	이벤트 없음, 3월 21일, 토요일 이벤트 없음, 3월 21일, 토요일	이벤트 없음, 3월 22일, 일요일 이벤트 없음, 3월 22일, 일요일
이벤트 없음, 3월 23일, 월요일 이벤트 없음, 3월 23일, 월요일	이벤트 없음, 3월 24일, 화요일 이벤트 없음, 3월 24일, 화요일	이벤트 없음, 3월 25일, 수요일 이벤트 없음, 3월 25일, 수요일	이벤트 없음, 3월 26일, 목요일 이벤트 없음, 3월 26일, 목요일	이벤트 없음, 3월 27일, 금요일 이벤트 없음, 3월 27일, 금요일	이벤트 없음, 3월 28일, 토요일 이벤트 없음, 3월 28일, 토요일	이벤트 없음, 3월 29일, 일요일 이벤트 없음, 3월 29일, 일요일
이벤트 없음, 3월 30일, 월요일 이벤트 없음, 3월 30일, 월요일	이벤트 없음, 3월 31일, 화요일 이벤트 없음, 3월 31일, 화요일

예정된 행사

계획된 일정이 없습니다.

최근 활동

토요일, 28 2월 2026, 6:08 AM 이후 활동

최근활동 상세보고

최근 활동 없음

섹션 개요

Predikatni račun - jezik predikatnega računa, izjavne formule. Doseg kvantifikatorjev, proste in vezane spremenljivke. Interpretacija izjavne formule, enakovrednost izjavnih formul, preimenovanje spremenljivk, zakoni predikatnega računa,
Predicate logic: predicates; universe of discourse, universal and existential quantifier. (link) Scope of quantifiers. Free and bound variables. Well-formed formulas. Interpretation of formulas, equivalence of formulas. Laws of predicate calculus.
- Select activity Predikatni račun - izročki predavanj
  
  Predikatni račun - izročki predavanj 파일
  
  2025/10/17 11:00 수정됨
- Select activity references in English, Predicate logic
  
  references in English, Predicate logic 웹페이지
- Select activity Interpretacija in formalizacija
  
  Interpretacija in formalizacija 파일
- Select activity Zakoni predikatnega računa
  
  Zakoni predikatnega računa 파일
  
  2022/12/7 16:14 업로드됨
- Select activity Naloge za vaje, 4. teden
  
  Naloge za vaje, 4. teden 파일
- Select activity Kviz po predavanjih v 4. tednu
  
  Kviz po predavanjih v 4. tednu 퀴즈
- Select activity Domača naloga, 4. teden
  
  Domača naloga, 4. teden 퀴즈

2026년 3월

섹션 개요