|
OHJ-4040 RINNAKKAISUUDEN JATKOKURSSI, 3 op
|
Opintojakson vastuuhenkilö
Mikko Tiusanen
Opettajat
Mikko Tiusanen
Luentoajat ja -paikat
Per V: Tiistai 12 - 14, TB224
Toteutuskerrat
Periodi 1 | Periodi 2 | Periodi 3 | Periodi 4 | Periodi 5 | Kesä | |
Luento | - | - | - | - | 2 h/vko | - |
Harjoitus | - | - | - | - | 2 h/vko | - |
Tentti |
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. |   | |
2. | Rinnakkaisuuden soveltaminen laskennassa. |   | |
3. | Rinnakkaisen laskennan klassisia ongelmia. |   |
Suoritusvaatimukset
Kotitehtävät tai tentti
Opintojakson arviointikriteerit
Oppimateriaali
Tyyppi | Nimi | Tekijä | ISBN | URL | Painos,saatavuus... | Tenttimateriaali | Kieli |
Opintomoniste | OHJ-4040 Concurrency, advanced course | Mikko Tiusanen | kurssin alussa | Kyllä | Englanti |
Esitiedot
Tunnus | Nimi | OP | P/S |
OHJ-2500 | OHJ-2500 Ohjelmien todistaminen | 5 | Suositeltava |
OHJ-4010 | OHJ-4010 Rinnakkaisuus | 4 | Pakollinen |
OHJ-4100 | OHJ-4100 Käyttöjärjestelmät | 4 | Suositeltava |
Esitietoketju (Vaatii kirjautumisen TTY Intranetiin)
Huomautuksia
Kurssimateriaali englanniksi, luennot ja laskuharjoitukset suomeksi.
Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa
- tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
- harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa
- Lähiopetuksen osuus: 25 %
- Etäopetuksen osuus: 0 %
- Opiskelijan itseopiskelun osuus: 75 %
Opetusmuodot | Tuntia |
Luennot | 14 |
Harjoitukset | 10 |
Harjoitustyöt | 30 |
Oppimateriaali | Tuntia |
Opetusmoniste | 24 |
Muu mitoitettu | Tuntia |
Uudet työkalut ja menetelmät | 10 |
Kaikki yhteensä | 88 |
Opintojakson opetukseen ja oppimiseen liittyvät periaatteet ja lähtökohdat
Viimeksi muokattu | 28.01.2007 |
Muokkaaja | Mikko Tiusanen |