HUOM! Kotitehtävät 4 ja 5 on annettu ja kotitehtäväpisteytystä helpotettu.
Tämä on suomenkielinen versio samansisältöisestä kurssista Tik-79.231, joka pidetään syyslukukaudella 2000. Voit osallistua valintasi mukaan joko englannin- tai suomenkieliseen kurssiin.
This course is the Finnish version of Tik-79.231, which will be held in the autumn term, 2000. Please note that the courses are similar, if not equal, in content.
Rinnakkaisuus ja hajautus ovat tärkeä toteutustapa tietokonepohjaisille järjestelmille. Esim. Internet, telekommunikaatioprotokollat, client/server-järjestelmät, sulautetut järjestelmät, ja prosessinohjaus ovat sovellusalueita, joissa rinnakkaisuutta ja hajautusta hyödynnetään. Osa kohdattavista ongelmista liittyy ajoitukseen ja synkronointiin -- ongelmien ratkaisussa on etua systemaattisuudesta, formaaleista menetelmistä ja hyvistä apuohjelmista.
Kurssin tavoitteena on tutustuttaa opiskelija eräisiin rinnakkaisten ja hajautettujen järjestelmien mallituksessa ja analysoinnissa käytettyihin menetelmiin ja formalismeihin. Luennot käsittelevät Petri-verkkoja, temporaalilogiikan alkeita ja prosessialgebraa. Kurssissa on laskuharjoituksia ja pakollisia henkilökohtaisia kotitehtäviä.
Kurssin suoritukseen tarvitaan hyväksytty tentti ja hyväksytty määrä kotitehtäväpisteitä.
Tentissä on viisi tehtävää, joista kustakin voi saada 6 pistettä. Hyväksytty suoritus tentissä on 10 pistettä.
Kotitehtäviä on viisi, joista kustakin voi saada 10 pistettä. Hyväksytty suoritus on 15 kotitehtäväpistettä ja 16-50 pistettä mahdollistaa kotitehtäväbonuksen, jolla voi parantaa tentin perusteella laskettavaa kurssin arvosanaa. Kaava kurssin kokonaisarvosanan laskemiseen on T = E + (H - 15)/3, missä T on kokonaispistemäärä, E on tentistä saatu pistemäärä ja H on kotitehtäväpistemäärä. (Kotitehtävien läpäisypistemäärä muutettiin 11.4.2000 20:stä 15:een.)
Osa laskuharjoitusinformaatiosta ei ole saatavilla elektronisesti, koska se on olemassa ainoastaan (!) paperimuodossa.