Information and features
Course
Published
(Updated )
University of Helsinki
Models of Computation
5 cr
Face-to-face
Intermediate studies
- logiikan, joukko-opin ja muiden tietojenkäsittelytieteessä keskeisten matematiikan osa-alueiden perusteiden ja todistustekniikoiden kertaus
- säännölliset kielet, deterministiset ja epädeterministiset äärelliset automaatit, säännölliset lausekkeet; niiden sovellukset ja rajoitukset
- yhteydettömät kielet ja kieliopit; niiden sovellukset ja rajoitukset
- Turingin kone ja muut yleiset laskennan mallit, universaali Turingin kone, Churchin-Turingin teesi
- laskennallisen ongelman ratkeavuuden käsite, keskeiset ratkeamattomuustulokset
- laskennallisen ongelman polynominen aikavaativuus; NP-täydellisyys
Contains
Check the institution’s website for the required studies.
No active implementations at present.
Additional information and registration
- Price and registration period
Check on the university's website
Additional information:
Fields
Information and communication technologies
Scope
5 cr
Code
TKT20005
Organiser
University of Helsinki
Contact details
uni-help@helsinki.fi