Opinto-opas 2008-2009 Avoin Perus Pori KV Jatko Avoin |Tutkinnot|     |Opintokokonaisuudet|     |Opintojaksot|

Opintojakson vastuuhenkilö

Henri Hansen

Toteutuskerrat

	Luentoajat ja -paikat	Kohderyhmä, jolle suositellaan
Toteutus 2	Per Kesä : Maanantai 8 - 12, SE203 Keskiviikko 8 - 11, SE203

Suoritusvaatimukset

Laskuharjoitukset, tentti.
Osasuoritusten pitää liittyä samaan toteutuskertaan

Opetukseen ja oppimiseen liittyvät periaatteet ja lähtökohdat

-

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.

Opintojakson arvostelu

Tentti.

Arvosteluasteikko:

Opintojaksolla käytetään numeerista arviointiasteikkoa (1-5)

Osasuoritukset:

Osasuoritusten pitää liittyä samaan toteutuskertaan

Oppimateriaali

Tyyppi	Nimi	Tekijä	ISBN	URL	Painos,saatavuus...	Tenttimateriaali	Kieli
Luentokalvot		Antti Valmari					Suomi

Esitietovaatimukset

Vastaavuudet

Tarkempia tietoja toteutuskerroittain

	Kuvaus	Opetusmuodot	Toteutustapa
Toteutus 2

Viimeksi muokattu	24.03.2009
Muokkaaja	Anne Jussila