주: 10월19일 - 10월25일 | Discrete Structures

Osnovni podatki

Izvajalci:

Gašper Fijavž (gasper.fijavz@fri.uni-lj.si)
Daša Mesarič Štesl (dasa.stesl@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

달력

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

예정된 행사

1. kolokvij iz DSvsp

12월 2일, 수요일, 19:00 » 21:00

최근 활동

목요일, 12 11월 2026, 8:43 PM 이후 활동

최근활동 상세보고

최근 활동 없음

섹션 개요

Predavanja: Sklepanje v izjavnem računu. Formalizacija sklepov, definicija pravilnega sklepa, pravila sklepanja, dokaz pravilnosti sklepa. Pomožni sklepi - pogojni sklep, sklep s protislovjem, analiza primerov.

Predikatni račun - jezik predikatnega računa, formalizacija, interpretacija.

Lectures: Logical inference - formalization, rules of inferece, derivation of rules (pages 100-104). Proof by contradiction (section 8 - on this link you can freely download the book), proof by conditional derivation (section 6.2), proof by cases (explained at the bottom of section 3.2).

Predicate calculus - language, formalization, interpretation.
- Select activity Predikatni račun - izročki predavanj
  
  Predikatni račun - izročki predavanj 파일
  
  2026/10/16 14:59 수정됨
- Select activity references in English, Predicate logic
  
  references in English, Predicate logic 웹페이지
- Select activity Pravila sklepanja
  
  Pravila sklepanja 파일
- Select activity Pravilni in nepravilni sklep
  
  Pravilni in nepravilni sklep 파일
- Select activity Pomožni sklepi
  
  Pomožni sklepi 파일
- Select activity Naloge za vaje, 3. teden
  
  Naloge za vaje, 3. teden 파일
- Select activity Kviz po predavanjih v 3. tednu
  
  Kviz po predavanjih v 3. tednu 퀴즈
- Select activity Domača naloga, 3. teden
  
  Domača naloga, 3. teden 퀴즈

2026년 11월

섹션 개요