582206
Laskennan mallit
Beräkningsmodeller
Models of Computation
8
Algoritmit ja koneoppiminen
Aineopinnot
Laskentaongelmien matemaattinen määrittely. Automaatit, formaalit kielet ja kieliopit. Algoritmikäsitteen formalisointi. Ratkeavuus. Esitiedot: Tietorakenteet-kurssin suoritus (tai esitietokoe). Huom: Kurssin harjoitukset alkavat jo ensimmäisellä luentoviikolla. Kurssikirja: Sipser M.: Introduction to the Theory of Computation (2nd ed.), Thomson Course Technology, 2006.
Toistuminen
Vuosittain periodi 1+2
Tulevat erilliskokeet
Ei kokeita.