Pregled bibliografske jedinice broj: 682039
Modeliranje i rješavanje problema logikom prvog reda
Modeliranje i rješavanje problema logikom prvog reda, 2013., diplomski rad, preddiplomski, Fakultet organizacije i informatike, Varaždin
CROSBI ID: 682039 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Modeliranje i rješavanje problema logikom prvog reda
(Modeling and solving problems with first-order logic)
Autori
Varga, Matija
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, preddiplomski
Fakultet
Fakultet organizacije i informatike
Mjesto
Varaždin
Datum
30.09
Godina
2013
Stranica
46
Mentor
Lovrenčić, Sandra
Ključne riječi
formalne metode; logika prvog reda; modeliranje problema
(formal methods; first order logic; problem modelling)
Sažetak
Sintaksa i semantika logike prvog reda. Pojam logičke posljedice. Logika prvog reda kao metoda za modeliranje i rješavanje različitih problema. Prikaz poznatih primjera rješenja problema. Modeliranje i implementacija rješenja vlastitog primjera problema.
Izvorni jezik
Hrvatski
Znanstvena područja
Informacijske i komunikacijske znanosti
POVEZANOST RADA
Projekti:
016-0161741-1739 - Razvoj informacijske infrastrukture i deduktivnih mehanizama Semantičkog Weba (Čubrilo, Mirko, MZOS ) ( CroRIS)
Ustanove:
Fakultet organizacije i informatike, Varaždin
Profili:
Sandra Lovrenčić
(mentor)
