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

Opintojakson vastuuhenkilö

Mikko Tiusanen

Toteutuskerrat

	Luentoajat ja -paikat	Kohderyhmä, jolle suositellaan
Toteutus 1	Per 5 : Tiistai 12 - 14, TB224	DI-Opiskelijat Jatko-opiskelijat KV-opiskelijat Kandiopiskelijat

Suoritusvaatimukset

Kotitehtävät tai tentti.
Osasuoritusten pitää liittyä samaan toteutuskertaan

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

-

Tavoitteet

Opintojakson suorittanut opiskelija tietää, mitä tarkoittaa rinnakkaisen ohjelman oikeellisuus, ja tuntee menetelmän, jolla ohjelman oikeellisuutta voidaan argumentoida.

Sisältö

Sisältöalue	Ydinaines	Täydentävä tietämys	Erityistietämys
1.	Rinnakkaisen ohjelman oikeellisuus.	Rinnakkaisen ohjelman oikeellisuuden todistamisen tavoitteet.	Rinnakkaisen ohjelman oikeellisuuden todistaminen.
2.	Rinnakkaisuuden soveltaminen laskennassa.
3.	Rinnakkaisen laskennan klassisia ongelmia.

Opintojakson arvostelu

Tentti ja kotona laskettavia, arvosteltavia harjoitustehtäviä. Kotitehtäviä tekemällä saadun arvosanan voi korvata tai korottaa tentillä.

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	OHJ-4040 Concurrency, advanced course	Mikko Tiusanen			start of course		Englanti

Esitietovaatimukset

Lisätietoja

Voidaan pitää kokonaan englanninkielisenä. Ks. http://www.cs.tut.fi/kurssit/OHJ-4040

Tarkempia tietoja toteutuskerroittain

	Kuvaus	Opetusmuodot	Toteutustapa
Toteutus 1		Luennot Harjoitukset Tieto- ja viestintätekniikan käyttö Harjoitustyöt	Lähiopetus: 40 % Etäopetus: 0 % Itseopiskelu: 60 %

Viimeksi muokattu	25.06.2008
Muokkaaja	Mikko Tiusanen