Esitiedot: Koulumatematematiikka
Tavoitteet: Kurssilla tutustutaan ohjelmoinnin ja laskennan formaaleihin perusmalleihin.
Sisältö: Aärelliset automaatit ja formaalit kielet. RAM-koneet. Kielioppien jäsentäminen. Ohjelmien oikeellisuuden varmistaminen. Suoritustapa: luennot, harjoitukset, tentti.
Taso: aine
Lisätietoja kurssista: http://www.cs.Helsinki.FI/u/hahonen/ktekno/