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

Vastuuhenkilö

Henri Hansen

Toteutuskerrat

	Luentoajat ja -paikat	Kohderyhmä, jolle suositellaan
Toteutus 2	Per Kesä (01.06.2010 - 09.07.2010) : Tiistai 8 - 12, TB111 Torstai 8 - 11, TB111

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 2

Viimeksi muokattu	19.02.2010
Muokkaaja	Henri Hansen