Pretraži

E-kolegije
Nastavnike

Filtriraj


Akademska godina


Izbornik

Naziv kolegija
Uvod u teoriju računarstva

Vrsta studija
Preddiplomski sveučilišni
ECTS bodova
6

Jezik kolegija
Hrvatski
Kolegij vidljiv
Da

Opis kolegija
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.