KIT- Kieliteknologian opetuksen verkosto- KIT

KIT-verkoston kurssi

Ohjelmoinnin ja laskennan perusmallit, HY (581330-2) 2 ov 4 op
Tietojenkäsittelytiede
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/

< < Takaisin