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

Vastuuhenkilö

Henri Hansen

Toteutuskerrat

	Luentoajat ja -paikat	Kohderyhmä, jolle suositellaan
Toteutus 1	Per 1 : Torstai 10 - 12, K1704 Per 1, 2 : Tiistai 10 - 12, K1704 Per 2 : Torstai 10 - 11, K1702 Torstai 10 - 11, TB103 Torstai 10 - 11, F PIENI SALI 2 Torstai 10 - 11, K1703

Suoritusvaatimukset

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

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

-

Osaamistavoitteet

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ö	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	Ohjelmistotieteen perustyökaluja	Antti Valmari					Suomi

Esitietovaatimukset

Vastaavuudet

Tarkempia tietoja toteutuskerroittain

	Kuvaus	Opetusmuodot	Toteutustapa
Toteutus 1	Syksyn 2009 toteutus opintojaksolle OHJ-2100		Lähiopetus: 0 % Etäopetus: 0 % Itseopiskelu: 0 %

Viimeksi muokattu	19.02.2010
Muokkaaja	Henri Hansen