Početna stranicaVisoka učilištaKorisničke stranice
Informacija, logika, jezici
Kratica: TKI06O6Opterećenje: 30(P) + 0(A) + 30(L) + 0(K)
Nositelji: Prof. dr. sc. Marijan Kunštić
Izvođači:
Opis predmeta: Semantičke domene. Simboli, prezentanti domene. Informacija, razlika u stanju domene u prisustvu intelekta. Znanje, teorija unutar domene. Logika, sintaksa i semantika. Formalni sustavi, metode i tehnike. Propozicijska, predikatna i vremenska logika. Logika znanja. Jezici i logika unutar domene telekomunikacijskih procesa. Herbrandov i Skolemov teorem. Princip rezolucije. Formalizam u specifikaciji procesa i problema. Verifikacija specifikacije dokazivanjem teorema. Primjeri telekomunikacijskih jezika i njihovih odnosa u jezičnom prostoru Inteligentna razvojna okolina.
Obavezna literatura:
1. J. F. Sowa: Knowledge Representation Logical, Philosophical, and Computational Foundations, Brooks Cole, 2000.
2. M. Kunštić, M. Mikuc, O. Jukić: Informacija, logika i jezici, FER, Zagreb 1997.
3. K. J. Turner: Using Formal Description Techniques, J. Wiley, 1993.
Preporučena literatura: - - -
Legenda
P - Predavanja
A - Auditorne vježbe
L - Laboratorijske vježbe
K - Konstrukcijske vježbe
* - Predmet se ne polaže
Srce - Sveučilišni računski centar Sveučilišta u Zagrebu