Odjel za matematiku

Matematička logika u računalnoj znanosti

M088 (2+2+0) - 6 ECTS bodova

 

OSNOVNE INFORMACIJE

cMatematička logika u računalnoj znanosti izvodi se u ljetnom semestru prve godine sveučilišnog preddiplomskog studija Matematika i računarstvo. Cilj kolegija je studente upoznati s osnovnim pojmovima matematičke logike i stjecanje znanja potrebnog za automatizirano dokazivanje teorema i verifikaciju programa te ovladati tehnikama potrebnim za korištenje proof asistanta COQ.

 

  • Sadržaj kolegija možete dohvatiti na sljedećem linku (pdf).

 NASTAVNIKKONZULTACIJE
VODITELJ KOLEGIJA doc.dr.sc. Slobodan Jelić  Srijeda 11-12 ili po dogovoru putem e-maila
ASISTENT

Luka Borozan

dr.sc. Matea Ugrica

Po dogovoru putem e-maila ili nakon održanih vježbi

 

OSNOVNA LITERATURA

 

RASPORED PREDAVANJA I VJEŽBI

Izvedbeni program kolegija Matematička logika u računalnoj znanosti realizira se s fondom od 60 sati (tjedno 2 sata predavanja i 2 sata vježbi). Pohađanje predavanja i vježbi je obaveno.
 
 
 TERMINPREDAVAONICA
PREDAVANJA Ponedjeljak, 14:00-16:00 MS Teams
VJEŽBE  Ponedjeljak, 16:00-18:00 MS Teams

 

PRAVILA POLAGANJA ISPITA

Tijekom semestra studenti pišu dva kolokvija koji zamjenjuju pismeni dio ispita. Ocjena se računa prema sljedećem kriteriju.

  • Dovoljan (2): [50, 63)
  • Dobar (3): [63, 75]
  • Vrlo dobar (4): (75, 87)
  • Izvrstan (5): [87,100]

Nakon položenog pismenog ispita, studenti pristupaju polaganju usmenog dijela ispita na kojem se formira konačna ocjena.

Molimo sve studente da redovito provjeravaju obavijesti koje će biti objavljivane putem MS Teams kanala.
 

 

NASTAVNI MATERIJALI

Nastavni materijali s predavanja će se sastojati od pisanih materijala popraćenih prezentacijama i snimkama predavanja. U pripremi su pisana predavanja u obliku skripte čiju posljednju verziju možete pronaći na sljedećem linku:

SKRIPTA - UDŽBENIK

 

RP Poglavlje Tema Video Ploča  Prezentacija Kod (u Coqu)
P1  Uvod u Coq.  Tipovi i funkcije. Prirodni brojevi.  Video    PDF Predavanje1
P2  Uvod u Coq. Strukturna indukcija  Video  PDF    Predavanje2 
P3 Uvod u Coq. Liste. Kvantificirana pretpostavka indukcije.Iteracija. Opcije i konačni tipovi.  Video PDF    Predavanje3
P4   Propozicije i dokazi Video PDF   PDF   
P5   Egzistencijalni kvantifikator. Dijagonalna lema. Pravila dokazivanja.  Video   PDF Predavanje5
P6   Principi konverzije. Disjunktnost i injektivnost konstruktora.  Video PDF  PDF Predavanje6
P7   Propozicijska jednakost. Leibinizova jednakost. Cantorov teorem. VIdeo    PDF  Predavanje7
P8   Indukcija. Primitivna rekurzija Video   PDF Predavanje8
P9   Semantika istinitosnih vrijednosti i Elim restrikcija Video PDF   Predavanje9
P10   Sum i sigma tipovi  Video PDF    Predavanje10
P11   Induktivni predikati Video PDF   Predavanje11


 

NASTAVNI MATERIJALI S VJEŽBI

 

ISPIT

  Video  Zadaci
Kod(u Coqu)
 V1 Video     PDF      Vjezbe1
V2 Video PDF      Vjezbe2
V3 Video PDF      Vjezbe3
V4 Video PDF      Vjezbe4
V5 Video PDF      Vjezbe5
V6 Video PDF      Vjezbe6
V7 Video PDF      Vjezbe7
V8 Video PDF      Vjezbe8
V9 Video PDF      Vjezbe9
V10 Video PDF     Vjezbe10
V11 Video PDF     Vjezbe11
V12 Video PDF     Vjezbe12
V13 Video PDF     Vjezbe13


 OBAVIJESTI

  • [6.4.2021.] Nadoknada predavanja će se održati 7.4.2021. od 14h do 18h.
  • [15.3.2021.] Nadoknada predavanja će se održati 31.3.2021. od 14h do 16h i 28.4.2021. od 14h do 16h. Nadokanda vježbi će se održati 31.3.2021. od 16h do 18h.
  • [15.3.2021.] 3.5.2021. neće se održati predavanja.
  • [15.3.2021.] Prvi kolokvij održat će se 30.4.2021. od 15-19h.
  • [10.10.2020.] Jučerašnji pismeni ispit je položio Stjepan Krešić (dovoljan).
  • [21.9.2020.] Pismeni ispit koji se trebao održati 22.9.2020 je odgođen na srijedu 23.9.2020 u 9 sati u RP1.
  • [15.9.2020.] Današnji pismeni ispit je položio Kopecki Neven (dovoljan).
  • [25.8.2020.] Upisi ocjena u jesenskom ispitnom roku održat će se u četvrtak 1. listopada 2020. u to 10:00.
  • [8.7.2020.] Termin upisa ocjena odgođen je na 14.7.2020. u 13:00 sati (ispod sjenice u dvorištu Odjela).
  • [1.7.2020.] Pismeni ispit koji se održao 30.6.2020. položio je Dujmović David (dovoljan).
  • [18.6.2020.] Pismeni ispit pisan 18.6.2020. nitko nije položio.
  • [15.6.2020.] Objavljeni su rezultati 12. domaće zadaće. Studenti koji su putem nje ostvarili pozitivnu ocjenu smiju pristupiti upisu u zadanom terminu.
  • [10.6.2020.] Zbog pogreške u vrednovanju bodova 10. zadaće objavljeni su korigirani rezultati.
  • [9.6.2020.] Objavljeni su rezultati domaćih zadaća i prijedlozi ocjena. Studenit koji su ostvarili pozitivnu ocjenu iz domaćih zadaća mogu prisustvovati upisu ocjena koji će se održati 9.7.2020. u 10:00. Ukoliko želite da vam se ocjena upiše dužni ste prijaviti ispit na jednom od rokova pismenog ispita u lipnju, kao i studenti koji nisu ostvarili pozitivnu ocjenu, najkasnije 5 dana prije termina ispita. Studenti koji žele popraviti ocjenu iz domaćih zadaća mogu također prijaviti pismeni ispit do 5 dana prije termina te, dodatno, moraju svoj izlazak potvrditi na email adresu Ova e-mail adresa je zaštićena od spambota. Potrebno je omogućiti JavaScript da je vidite. Ispit je moguće odjaviti do 3 dana prije termina uz potvrdu na istu email adresu. Prijavljeni ispit na koji niste izašli računa se kao pad. U toku današnjeg dana će biti objavljena 12. domaća zadaća koja nije obavezna i koju možete iskoristiti kako biste popravili svoje bodove iz zadaće.
  • [25.5.2020.] Termin izlaganja 9. domaće zadaće i popis studenata objavljen je u rezultatima (27.5. u 14 sati). Skype link će biti objavljen nekoliko minuta prije početka izlaganja. LINK
  • [13.5.2020.] ZOOM konferencija: link
  • [23.3.2020.] PROMIJENJENA SU PRAVILA POLAGANJA KOLEGIJA. MOLIMO SVE STUDENTE DA IH PAŽLJIVO PROČITAJU.
  • [24.4.2020.] Objavljeni su rezultati 6. domaće zadaće i popis studenata odabranih da izlažu svoje rezultate putem Skype-a. Termin izlaganja je 28.4.2020. u 14:00. Link za Skype razgovor će biti objavljen nekoliko minuta prije početka izlaganja.
  • [28.4.2020.] Link za razgovor je objavljen. Vidljiv je samo registriranim korisnicima.
  • [28.4.2020.] Specificiran (popravljen) je rok predaje 7. domaće zadaće.

   

 

You are not authorised to post comments.

Comments powered by CComment