Studenti trebaju upoznati koncepte, mogućnosti i ulogu formalne logike u modeliranju informacijskih sustava. Praktičan rad omogućit će studentu da upozna i ovlada različitim metodama primjene formalne logike.

1. Uvod u račun sudova
2. Operacije sa sudovima. Semantičke tablice. Logička posljedica.
3. Normalne forme računa sudova. Teoremi adekvatnosti i potpunosti.
4. Pravilo rezolucije za račun sudova
5. Automatsko dokazivanje teorema
6. Priprema za I. kolokvij
7. I. kolokvij
8. Uvod u račun predikata
9. Primitivne forme računa predikata. Skolemova forma.
10. Supstitucija. Kompozicija supstitucija.
11. Unifikacija. Algoritam unifikacije
12. Pravilo rezolucije za račun predikata.
13. Izračunavanje odgovora pravilom rezolucije za račun predikata
14. Priprema za II. kolokvij
15. II. kolokvij

1. Razumjeti ulogu logike u modeliranju informacijskih sustava
2. Primijeniti simboličku logiku u definiranju i implementaciji informacijskih sustava
3. Primijeniti simboličku logiku u programiranju
4. Primijeniti simboličku logiku u oblikovanju baza podataka
5. Ovladati formalizmom simboličke logike

Predavanja i vježbe koje kroz praktične primjere prate predavanja.

Tijekom semestra studenti će imati dva kolokvija s kojima se mogu osloboditi pismenog dijela ispita. Usmeni ispit.

1. Mendelson, Eliot. Introduction to Mathematical Logic, Fourth Edition, 1997.

1. Informacijske znanosti, sveučilišni preddiplomski jednopredmetni studij, 1. semestar