Matematička logika u računalnoj znanosti
M088 (2+2+0) - 6 ECTS bodova
OSNOVNE INFORMACIJE
Matematič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).
NASTAVNIK | KONZULTACIJE | |
---|---|---|
VODITELJ KOLEGIJA | doc.dr.sc. Slobodan Jelić | Srijeda 11-12 ili po dogovoru putem e-maila |
ASISTENT |
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.TERMIN | PREDAVAONICA | |
---|---|---|
PREDAVANJA | Utorak, 10:00-12:00 | D2 |
VJEŽBE | Utorak, 12:00-14:00 | RP2 |
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:
RP | Poglavlje | Tema | Video | Ploča | Prezentacija | Kod (u Coqu) |
P1 | Uvod u Coq. | Tipovi i funkcije. Prirodni brojevi. | Video | Predavanje1 |
||
P2 | Uvod u Coq. | Strukturna indukcija | Video | Predavanje2 | ||
P3 | Uvod u Coq. | Liste. Kvantificirana pretpostavka indukcije.Iteracija. Opcije i konačni tipovi. | Video | Predavanje3 | ||
P4 | Propozicije i dokazi | Video | ||||
P5 | Egzistencijalni kvantifikator. Dijagonalna lema. Pravila dokazivanja. | Video | Predavanje5 | |||
P6 | Principi konverzije. Disjunktnost i injektivnost konstruktora. | Video | Predavanje6 | |||
P7 | Propozicijska jednakost. Leibinizova jednakost. Cantorov teorem. | VIdeo | Predavanje7 | |||
P8 | Indukcija. Primitivna rekurzija | Video | Predavanje8 | |||
P9 | Semantika istinitosnih vrijednosti i Elim restrikcija | Video | Predavanje9 | |||
P10 | Sum i sigma tipovi | Video | Predavanje10 | |||
P11 | Induktivni predikati | Video | Predavanje11 |
NASTAVNI MATERIJALI S VJEŽBI
Video | Zadaci |
Kod(u Coqu) | |
V1 | Video | Vjezbe1 | |
V2 | Video | Vjezbe2 | |
V3 | Video | Vjezbe3 | |
V4 | Video | Vjezbe4 | |
V5 | Video | Vjezbe5 | |
V6 | Video | Vjezbe6 | |
V7 | Video | Vjezbe7 | |
V8 | Video | Vjezbe8 | |
V9 | Video | Vjezbe9 | |
V10 | Video | Vjezbe10 | |
V11 | Video | Vjezbe11 | |
V12 | Video | Vjezbe12 | |
V13 | Video | Vjezbe13 |
- [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.