Opintojakson vastuuhenkilö
Antti Valmari

Opettajat
Antti Valmari, professori

Luentoajat ja -paikat
Per II,III: Tiistai 10 - 12, TB103 (TiTe)
Per II: Torstai 10 - 12, TB103 (TiTe)
Per III: Torstai 11 - 12, TB103 (TiTe)

Toteutuskerrat
Toteutus 1

	Periodi 1	Periodi 2	Periodi 3	Periodi 4	Periodi 5	Kesä	Opetuskieli
Luento	-	4 h/vko+	3 h/vko	-	-	-	Vain suomeksi
Harjoitus	-	2 h/vko+	3 h/vko	-	-	-	Vain suomeksi
Tentti							Vain suomeksi

(Lukuvuoden 2005-2006 aikataulu)

Tavoitteet
Oppia tunnistamaan, muotoilemaan, rajaamaan tarkoituksenmukaisella tavalla, esittämään tarkoituksenmukaisella täsmällisyys- ja tarkkuustasolla, analysoimaan ja käsittelemään abstraktioita, joita syntyy esimerkiksi käyttäjän tarpeiden analyysin, tietosisällön määrittelyn tai ohjelmiston suunnittelun ja toteutuksen aikana. Oppia käyttämään logiikkaa ja joukko-oppia ohjelmistotyön kustannusten vähentämiseksi ja ohjelmistojen laadun parantamiseksi.

Sisältö

Sisältöalue	Ydinaines	Täydentävä tietämys	Erityistietämys
1.	Logiikan käyttö ohjelman tilasta puhumiseen.	Ohjelman toimintaa koskeva päätteleminen.
2.	Lausekkeiden rakenteeseen liittyvä käsitteistö, Backus-Naur format.	Yhteysriippumattomat kieliopit ohjelmoinnin näkökulmasta.	Ylhäältä alas -jäsentäminen.
3.	Äärelliset automaatit ja säännölliset lausekkeet ohjelmoinnin näkökulmasta.	Äärellisten automaattien ja säännöllisten lausekkeiden perusteoria.
4.	Tilakoneiden rakenne, toiminta ja yhteen kytkeminen.	Käyttäytymisten samuus vahvana bisimilaarisuutena. Tilakoneen ja tilakoneiden yhdistelmän käyttäytyminen muuttujattomana tilakoneena.

Suoritusvaatimukset
Laskuharjoitukset, tentti.

Opintojakson arviointikriteerit
Tentti.

Esitiedot

Tunnus	Nimi	OP	P/S
MAT-21160	Algoritmimatematiikka	3	Pakollinen
OHJ-1150	Ohjelmointi II	5	Pakollinen

Huomautuksia

Opintojaksokorvaavuus
8100500 Ohjelmistotekniikan matemaattiset menetelmät

Opintojakson kotisivu

Viimeksi muokattu	11.05.2005
Muokkaaja	Antti Valmari