Početna stranicaVisoka učilištaKorisničke stranice

Sadržaj predmeta

Informacija, logika, jezici
Kratica: TKI06O6Opterećenje: 30 + 0 + 30 + 0
Nositelji: prof. dr. sc. Marijan Kunštić
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.
Literatura:
1. M. Kunštić: Informacija, logika i jezici u telekomunikacijama (u pripremi).
2. C. L. Chang, R. C. Lee: Simbolic Logic and Mehanical Theorem Proving, Academic Press, New York, 1973.
3. K. J. Turner: Using Formal Description Techniques, John Wiley & Sons, New York, 1993.
Srce - Sveučilišni računski centar Sveučilišta u Zagrebu