Teorijske osnove računalne znanosti

Teorijske osnove računalne znanosti

Osnovne informacije

M097 (2+2+0) - 6 ECTS bodova

Upoznati se sa apstraktnim strojevima i problemima koji oni mogu riješiti  (teorijom automata) i formalnih jezika (regularnih jezika i kontekstno neovisnih jezika).  Naglasak će biti na načinima razmišljanja koja će studentima omogućiti bolje razumijevanje  teorije automata i formalnih jezika. Kroz vježbe studenti će biti upoznati sa mnogim primjerima formalnih jezika u različitim programskim jezicima.astava se izvodi putem predavanja i vježbi. Predavanja i vježbe su obavezne.

Sadržaj kolegija možete dohvatiti na sljedećem linku: PDF

Nastavnici

Osnovna literatura

  1. M. Sipser, Introduction to the Theory of Computation (3rd Ed.), Cengage Learning, Boston, 2013.

Dopunska literatura

Materijali

Materijali su dostupni na internom Teams kanalu kolegija pomoću kojeg se odvija i sva interna komunikacija. Studenti su obvezni registrirati se na Teams kanal kolegija. Šifra kanala kolegija pomoću kojeg se možete pridružiti kolegiju nalazi se u rasporedu.