Studenti
Nastavne teme
Literatura
Način rada
grupe 4i, 5i, 5r - školska 2018/2019. godina - letnji semestar
Nastavnik:
dr Filip Marić
, Asistent:
Ognjen Kocić
Spisak studenata i tekući rezultati
Rezultati
(
Libre Office format
).
Usmeni ispit i odbrana seminarskog u septembarskom roku
Termini
Literatura
Filip Marić, Milan Banković. Beleške sa predavanja.
Uvod
Iskazno rezonovanje
Rezonovanje u logici prvog reda
Prirodna dedukcija u Isabelle/HOL
Rezonovanje u logici prvog reda sa jednakošću
Teorije prvog reda
(
primeri
)
John Harrison,
Handbook of Practical Logic and Automated Reasoning
.
Predrag Janičić,
Matematička logika u računarstvu
Alan Robinson, Andrei Voronkov, eds.
Handbook of Automated Reasoning
Alan Bundy,
The Computer Modelling of Mathematical Reasoning