prikaz prve stranice dokumenta Modeliranje i rješavanje problema logikom prvog reda
Pristup korisnicima matične ustanove
završni rad
Modeliranje i rješavanje problema logikom prvog reda
Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike Varaždin, 2013. urn:nbn:hr:211:665357
Varga, Matija
Sveučilište u Zagrebu
Fakultet organizacije i informatike
Katedra za teorijske i primijenjene osnove informacijskih znanosti

Institucijski repozitorij: Repozitorij Fakulteta organizacije i informatike

Citirajte ovaj rad

Varga, M. (2013). Modeliranje i rješavanje problema logikom prvog reda (Završni rad). Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:211:665357

Varga, Matija. "Modeliranje i rješavanje problema logikom prvog reda." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2013. https://urn.nsk.hr/urn:nbn:hr:211:665357

Varga, Matija. "Modeliranje i rješavanje problema logikom prvog reda." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2013. https://urn.nsk.hr/urn:nbn:hr:211:665357

Varga, M. (2013). 'Modeliranje i rješavanje problema logikom prvog reda', Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, citirano: 30.11.2024., https://urn.nsk.hr/urn:nbn:hr:211:665357

Varga M. Modeliranje i rješavanje problema logikom prvog reda [Završni rad]. Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike; 2013 [pristupljeno 30.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:665357

M. Varga, "Modeliranje i rješavanje problema logikom prvog reda", Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, Varaždin, 2013. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:665357

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:211:665357
Podaci o radu
NaslovModeliranje i rješavanje problema logikom prvog reda
Naslov (engleski)Modeling and solving problems with first-order logic
AutorMatija Varga
MentorSandra Lovrenčić (mentor)
MBZ: 229934
Član povjerenstvaMirko Čubrilo
MBZ: 135963
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet organizacije i informatike
(Katedra za teorijske i primijenjene osnove informacijskih znanosti)
Varaždin
Datum i država obrane2013-09-30, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		DRUŠTVENE ZNANOSTI
Informacijske i komunikacijske znanosti
Organizacija i informatika
Sažetak
modeliranje i rješavanje problema logikom prvog reda. Logika prvog reda je formalni logični sustav koji se koristi u matematici, filozofiji, lingvistici i računalnim znanostima. Može se koristiti za izradu računalnih programa i koristi se za istraživanje umjetne inteligencije
Ključne riječi
Jezikhrvatski
URN:NBNurn:nbn:hr:211:665357
Studijski programNaziv: Informacijski sustavi
Vrsta studija: sveučilišni
Stupanj studija: preddiplomski
Akademski / stručni naziv: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike (univ.bacc.inf.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaPristup korisnicima matične ustanove
Uvjeti korištenjaIkona licence Imenovanje-Nekomercijalno-Bez prerada 3.0 (CC BY-NC-ND 3.0)
Datum i vrijeme pohrane2017-01-26 13:47:36