|
|
|||||||||||
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 |