TIETOJENKÄSITTELYTEORIAN PÄÄAINEEN KORVAAVUUSPERIAATTEET

Transkriptio

1 Versiohistoria Ensimmäinen versio / Ilkka Niemelä Koulutusohjelmatoimikunnan kokouksessa esitetyt muutokset tehty TIETOJENKÄSITTELYTEORIAN PÄÄAINEEN KORVAAVUUSPERIAATTEET Tietojenkäsittelyteorian laboratorio on uusinut kurssikoodit kaikkien kurssiensa osalta ja samalla määrittänyt kullekin vanhalle opintojaksolle korvaavan kurssin (kurssit). Näin ollen on mahdollista suorittaa vanhan tutkintosäännön mukainen tietojenkäsittelyteorian suunta ja pääaine samoin kuin uuden tutkintorakenteen pääaine (tietojenkäsittelyteorian jatko- ja syventävä moduuli) yhdistämällä joustavasti vanhoja opintojaksoja ja uusia kursseja korvaavuussääntöjen mukaisesti. Tämä siis tarkoittaa esimerkiksi sitä, että vanhan tutkintosäännön mukaan opiskeleva voi suorittaa suunnan ja pääaineen opintojaan jatkossakin korvavuussääntöjen ansiosta sujuvasti. Kurssien korvaavuustietojen yhteenveto löytyy tietojenkäsittelyteorian pääaineen kotisivulta (tehdään huhtikuun 2005 aikana). Näiden tietojen perusteella opiskelijat pystyvät suunnittelemaan opintojaan. Seuraavassa on annettu esimerkit korvaavuuksien hyödyntämisestä sekä vanhan tutkintosäännön mukaisten opintojen että uuden tutkintorakenteen moduulien suorittamisessa. Epäselvissä tapauksissa, joissa annetut opintojaksojen korvaavuussäännöt eivät suoraan ole sovellettavissa tai jättävät tulkinnanvaraa, kannattaa ottaa yhteyttä suoraan tietojenkäsittelyteorian pääaineen professoriin Suunnan ja pääaineen suorittaminen vanhan tutkintosäännön mukaisesti Tietojenkäsittelyteorian suunnan opintojen suorittaminen yhdistämällä vanhoja opintojaksoja ja uusia kursseja: Tietojenkäsittelyteorian suunta Opintojaksot T Tiedonhallintajärjestelmät T Ohjelmistotuotannon perusteet T Logiikka tietotekniikassa: perusteet T Cryptography and Data Security T Rinnakkaiset ja hajautetut dig. järj. T Tietämystekniikan peruskurssi Korvaavat kurssit T T T T T T T Algoritmien suunnittelu ja analyysi T T Käyttöjärjestelmät T Tietoliikennearkkitehtuurit T T Huom! Jos opiskelijalla ei ole vielä suoritusta opintojaksosta T Tietämystekniikan peruskurssi, se korvataan uudella kurssilla T Hakuongelmat ja -algoritmit. Siirtyminen uuteen tutkintorakenteeseen Tietojenkäsittelyteorian jatkomoduulin suorittaminen yhdistämällä vanhoja opintojaksoja ja uusia kursseja: 1 of 5 04/20/05 09:51

2 Tietojenkäsittelyteorian jatkomoduuli Kurssit: T Tietojenkäsittelyteorian seminaari T Hakuongelmat ja -algoritmit T Rinnakkaiset ja hajautetut järjestelmät T Tiedon salaus ja suojaus T Algoritmien suunnittelu ja analyysi Korvaavat opintojaksot T T T T T T-79-kurssien väliset korvaavuudet Alla on annettu opintojakso- ja kurssikohtaiset korvaavuustaulukot, jotka perustuvat LPM-listan tietoihin. Opintojaksojen korvaaminen kursseilla T Logiikka tietotekniikassa: perusteet Korvaava kurssi: T Logiikka tietotekniikassa: perusteet T Logiikka tietotekniikassa: erityiskysymyksiä I Korvaava kurssi: T Laskennallisen logiikan jatkokurssi T Tietojenkäsittelyteorian perusteet Korvaava kurssi: T Tietojenkäsittelyteorian perusteet T T Diskreetit rakenteet Korvaava kurssi: T Diskreetit rakenteet T Logiikka tietotekniikassa: erityiskysymyksiä II Korvaava kurssi: T Laskennallisen logiikan erikoiskurssi T Tietojenkäsittelyjärjestelmien formaali kuvaus ja verifiointi Korvaava kurssi: T Formaalit menetelmät T Cryptography and data security Korvaava kurssi: T Tiedon salaus ja suojaus T Kombinatoriset algoritmit Korvaava kurssi: T Kombinatoriset algoritmit T Graafiteoria Korvaava kurssi: T Graafiteoria T Rinnakkaiset ja hajautetut digitaaliset järjestelmät Korvaava kurssi: T Rinnakkaiset ja hajautetut järjestelmät T Verifiointi Korvaava kurssi: T Symbolinen mallintarkastus T Reaktiiviset järjestelmät Korvaava kurssi: T Reaktiiviset järjestelmät T Tietojenkäsittelyteorian erikoistyö Korvaava kurssi: T Tietojenkäsittelyteorian erikoistyö T Rinnakkaisohjelmistojen testaus Korvaava kurssi: T Formaali konformanssitestaus T Tietojenkäsittelyteorian erikoiskurssi 2 of 5 04/20/05 09:51

3 Korvaava kurssi: T Tietojenkäsittelyteorian seminaari T Rinnakkaisohjelmistojen määrittelymenetelmät Korvaava kurssi: T Reaktiiviset järjestelmät tai T Symbolinen mallintarkastus T Tietojenkäsittelyteorian seminaari Korvaava kurssi: T Tietojenkäsittelyteorian seminaari T Agenttipohjaisen tietojenkäsittelyn perusteet Korvaava kurssi: T Laskennallisen logiikan erikoiskurssi T Parallel and distributed digital systems Korvaava kurssi: T Rinnakkaiset ja hajautetut järjestelmät T Turvallisuuskriittiset järjestelmät Korvaava kurssi: T Turvallisuuskriittiset järjestelmät T Laskennallisen vaativuuden erikoiskurssi Korvaava kurssi: T Laskennan vaativuusteoria T Kombinatoriset mallit ja stokastiset algoritmit Korvaava kurssi: T Kombinatoriset mallit ja stokastiset algoritmit T Yksilöllinen opintojakso Korvaava kurssi: T Yksilölliset opinnot T Tietojenkäsittelyteorian lisensiaattikurssi Korvaava kurssi: T Tietojenkäsittelyteorian lisensiaattikurssi T Kryptologian perusteet Korvaava kurssi: T Kryptologia T Seminar on cryptography and security protocols T Special course on cryptology T Cryptology: special topics Kurssien korvaaminen opintojaksoilla T Tietojenkäsittelyteorian perusteet T Aiempi opintojakso: T Tietojenkäsittelyteorian perusteet T Tietojenkäsittelyteorian perusteet Y T Logiikka tietotekniikassa: perusteet Aiempi opintojakso: T Logiikka tietotekniikassa: perusteet T Tietojenkäsittelyteorian seminaari Aiempi opintojakso: T Tietojenkäsittelyteorian erikoiskurssi tai T Tietojenkäsittelyteorian seminaari T Hakuongelmat ja -algoritmit 3 of 5 04/20/05 09:51

4 T Rinnakkaiset ja hajautetut järjestelmät Aiempi opintojakso: T Rinnakkaiset ja hajautetut digitaaliset järjestelmät tai T Parallel and distributed digital systems T Tiedon salaus ja suojaus Aiempi opintojakso: T Cryptography and data security T Tietojenkäsittelyteorian erikoistyö Aiempi opintojakso: T Tietojenkäsittelyteorian erikoistyö T Laskennallisen logiikan jatkokurssi Aiempi opintojakso: T Logiikka tietotekniikassa: erityiskysymyksiä I T Laskennallisen logiikan erikoiskurssi Aiempi opintojakso: T Logiikka tietotekniikassa: erityiskysymyksiä II tai T Agenttipohjaisen tietojenkäsittelyn perusteet T Laskennan vaativuusteoria Aiempi opintojakso: T Laskennallisen vaativuuden erikoiskurssi T Diskreetit rakenteet Aiempi opintojakso: T Diskreetit rakenteet T Kombinatoriset algoritmit Aiempi opintojakso: T Kombinatoriset algoritmit T Graafiteoria Aiempi opintojakso: T Graafiteoria T Kombinatoriset mallit ja stokastiset algoritmit Aiempi opintojakso: T Kombinatoriset mallit ja stokastiset algoritmit T Reaktiiviset järjestelmät Aiempi opintojakso: T Reaktiiviset järjestelmät tai T Rinnakkaisohjelmistojen määrittelymenetelmät T Symbolinen mallintarkastus Aiempi opintojakso: T Verifiointi tai T Rinnakkaisohjelmistojen määrittelymenetelmät T Turvallisuuskriittiset järjestelmät Aiempi opintojakso: T Turvallisuuskriittiset järjestelmät T Formaali konformanssitestaus Aiempi opintojakso: T Rinnakkaisohjelmistojen testaus T Formaalit menetelmät Aiempi opintojakso: T Tietojenkäsittelyjärjestelmien formaali kuvaus ja verifiointi T Liikkuvuudenhallinnan erikoiskurssi T Kryptologia Aiempi opintojakso: T Kryptologian perusteet T Kryptologian jatkokurssi Aiempi opintojakso: T Seminar on cryptography and security protocols tai T Special course on cryptology tai T Cryptology: special topics 4 of 5 04/20/05 09:51

5 T Tietojenkäsittelyteorian lisensiaattikurssi Aiempi opintojakso: T Tietojenkäsittelyteorian lisensiaattikurssi T Yksilölliset opinnot Aiempi opintojakso: T Yksilöllinen opintojakso 5 of 5 04/20/05 09:51