Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Modeliranje i rješavanje problema logikom prvog reda (CROSBI ID 384569)

Ocjenski rad | sveučilišni preddiplomski završni rad

Varga, Matija Modeliranje i rješavanje problema logikom prvog reda / Lovrenčić, Sandra (mentor); Varaždin, Fakultet organizacije i informatike, . 2013

Podaci o odgovornosti

Varga, Matija

Lovrenčić, Sandra

hrvatski

Modeliranje i rješavanje problema logikom prvog reda

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.

formalne metode; logika prvog reda; modeliranje problema

nije evidentirano

engleski

Modeling and solving problems with first-order logic

nije evidentirano

formal methods; first order logic; problem modelling

nije evidentirano

Podaci o izdanju

46

30.09.2013.

obranjeno

Podaci o ustanovi koja je dodijelila akademski stupanj

Fakultet organizacije i informatike

Varaždin

Povezanost rada

Informacijske i komunikacijske znanosti