|
|  |
| Uvod u teoriju računarstva |
| Kratica: | Opterećenje: 45(P)
+ 15(A)
+ 15(L)
+ 0(K)
|
| Nositelji: | Prof. dr. sc. Siniša Srbljić
Prof. dr. sc. Zoran Kalafatić |
| Izvođači: | dr. sc. Miroslav Popović
(
Predavanja
)
Doc. dr. sc. Dejan Škvorc
(
Laboratorijske vježbe, Predavanja
)
Ivan Budiselić dipl. ing.
(
Auditorne vježbe, Laboratorijske vježbe
)
Goran Delač dipl. ing.
(
Auditorne vježbe, Laboratorijske vježbe
)
Zvonimir Pavlić mag.ing.comp.
(
Laboratorijske vježbe, Auditorne vježbe
)
Marin Šilić dipl. ing.
(
Laboratorijske vježbe, Auditorne vježbe
)
Danko Ivošević dipl. ing.
(
Laboratorijske vježbe
)
Ivan Žužak dipl. ing.
(
Laboratorijske vježbe
)
|
Opis predmeta: Predmet uvodi formalne modele automata i gramatika za potrebe opisa, definiranja,
programskog i sklopovskog ostvarivanja te provjere ispravnosti rada računalnih i
komunikacijskih procesa, protokola i sustava. Objašnjavaju se osnovna svojstva računalnih
procesa i sustava, kao što su determinizam, odlučivost, izračunljivost, složenost i
učinkovitost. Daje se osnova teorije automata, formalnih gramatika i jezika. Proučava se
Chomskyeva hijerarhija jezika: regularni, kontekstno-neovisni, kontekstno-ovisni,
rekurzivni i rekurzivno-prebrojivi jezici. Definiraju se razredi složenosti i hijerarhija razreda
složenosti: potpuni i teški problemi, razredi P i NP te postupak svođenja. |
| Jezici na kojima se održava nastava: - - - |
| Obavezna literatura: |
| 1. | S. Srbljić (2007). Uvod u teoriju računarstva, Element Zagreb |
| 2. | J. Hromkovic (2003). Theoretical Computer Science: Introduction to Automata,
Computability, Complexity, Algorithmics, Randomization, Communication, and
Cryptography, Springer |
| 3. | J. E. Hopcroft, R. Motwani, J. D. Ullman (2000). Introduction to Automata Theory,
Languages, and Computation, Addison-Wesley |
| 4. | P. Linz (2000). An Introduction to Formal Languages and Automata, Jones & Bartlett
Publishers |
| 5. | D. C. Kozen (1997). Automata and Computability, Springer |
| Preporučena literatura: - - - |
| |
