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

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 Utorak, 12:00-14:00 RP2
VJEŽBE  Utorak, 14:00-16:00 RP2

 

PRAVILA POLAGANJA ISPITA

Zbog izvanredne epidemiološke situacije i odgađanja kontakne nastave na neodređeno vrijeme, nužno je prilagoditi pravila polaganja kolegija.

Tijekom semestra studenti pišu domaće zadaće koje zamjenjuju dio pismenog ispita (60%). Zadaci za zadaću u PDF formatu će biti objavljivani svaki tjedan u terminu vježbi (vidljivo samo registriranim korisnicima). Rok predaje i ostala pravila bit će jasno naznačeni u pojedinim PDF dokumentima. Nakon isteklog roka predaje, bit će objavljeni rezultati i rješenja svih zadataka (vidljivo samo registriranim korisnicima).

Veliki naglasak će biti stavljen na provjeravanju sličnosti predanih zadaća. Ukoliko budu uočene značajne sličnosti u rješenjima grupe studenata, svi članovi grupe će biti sankcionirani oduzimanjem svih ostvarenih bodova na tekućoj zadaći kao i oduzimanjem prava predavanja slijedeće zadaće. Asistenti imaju pravo zatražiti izlaganje zadaće putem programa Skype.

Drugi dio pismenog ispita (40%) će činiti završni kolokvij koji će biti organiziran sredinom lipnja. Završni kolokvij će uključivati gradivo cjelokupnog semestra.

Ocjena se računa prema sljedećem kriteriju.

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

Molimo sve studente da redovito provjeravaju obavijesti koje će biti objavljivane putem ove web stranice.
 

 

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.       PDF

Tipovi i funkcije

Prirodni brojevi

P2 Propozicije i dokazi. Propozicija i dokazi. Modus Ponens. Apply i intros. Implikacija i univerzalni kvantifikator. link link PDF
.v
Predikati. Leibnizova karakterizacija jednakosti. link
Propozicije kao tipovi. link
Negacija i False. link
Konjunkcija i disjunkcija. link
Ekvivalencija. link
De Morganov zakon. link
P3 Egzistencijalni kvantifikator. link link PDF .v
Pravila dokazivanja. Propozicije kao induktivni tipovi. Princip isključenja trećeg. link
Automacijske taktike.     PDF .v
P4 Definicijska i propozicijska jednakost. Principi konverzije. Disjunktnost i injektivnost konstruktora. (1. dio) link link PDF .v
Principi konverzije. Disjunktnost i injektivnost konstruktora. (2. dio) link
Principi konverzije. Disjunktnost i injektivnost konstruktora. (3. dio) link
Principi konverzije. Disjunktnost i injektivnost konstruktora. (4. dio) link
P5 Leibnizova jednakost. Svojstva. link link PDF .v
Lokalne definicije. link
Nejednakost tipova. link
Cantorov teorem. link
Dokaz Cantorovog teorema. Dijagonalizacija. link
Istinitosni teostiv za jednakost. Primjer za nat. link
Dokaz za slaganje istinitosnog testa sa standardnom jednakošću (za nat) link
 P6 Indukcija i rekurzija. Funkcija nat_ind link link PDF .v
Primitivna rekurzija (1.dio) link
Primitivna rekurzija (2.dio) link
P7

Semantika istinitosnih vrijednosti i Elim restrikcija (skripta), 4. poglavlje

Truth Value Semantics and Elim Restriction (skripta - G. Smolka), 5. poglavlje

P8 Boolean sume i sigma tipovi Boolean sume i certifikati link link   .v
Inhabitacija i odlucivanje (1.dio) link
Inhabitacija i odlucivanje (2.dio) link
Pisanje certifikata link
Odlucivi predikati link
Sigma tipovi link
P9

Induktivni predikati

Inductive predicates (skripta - G. Smolka), 7. poglavlje

ZOOM


 

NASTAVNI MATERIJALI S VJEŽBI

 

 

OBAVIJESTI

  • [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