Versiohistoria Ensimmäinen versio 14.3.2005 / Ilkka Niemelä Koulutusohjelmatoimikunnan kokouksessa 4.4.2005 esitetyt muutokset tehty 8.4.2005. 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 http://www.tcs.hut.fi/studies/ (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 http://www.tcs.hut.fi/. 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-76.143 Tiedonhallintajärjestelmät T-76.601 Ohjelmistotuotannon perusteet T-79.144 Logiikka tietotekniikassa: perusteet T-79.159 Cryptography and Data Security T-79.179 Rinnakkaiset ja hajautetut dig. järj. T-93.440 Tietämystekniikan peruskurssi Korvaavat kurssit T-76.2143 T-76.3601 T-79.3001 T-79.4501 T-79.4301 T-79.4201 T-106.410 Algoritmien suunnittelu ja analyysi T-106.4100 T-106.430 Käyttöjärjestelmät T-110.300 Tietoliikennearkkitehtuurit T-106.4150 T-110.2100 Huom! Jos opiskelijalla ei ole vielä suoritusta opintojaksosta T-93.440 Tietämystekniikan peruskurssi, se korvataan uudella kurssilla T-79.4201 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
Tietojenkäsittelyteorian jatkomoduuli Kurssit: T-79.4001 Tietojenkäsittelyteorian seminaari T-79.4201 Hakuongelmat ja -algoritmit T-79.4301 Rinnakkaiset ja hajautetut järjestelmät T-79.4501 Tiedon salaus ja suojaus T-106.4100 Algoritmien suunnittelu ja analyysi Korvaavat opintojaksot T-79.194 T-93.440 T-79.179 T-79.159 T-106.410 T-79-kurssien väliset korvaavuudet Alla on annettu opintojakso- ja kurssikohtaiset korvaavuustaulukot, jotka perustuvat LPM-listan tietoihin. Opintojaksojen korvaaminen kursseilla T-79.144 Logiikka tietotekniikassa: perusteet Korvaava kurssi: T-79.3001 Logiikka tietotekniikassa: perusteet T-79.146 Logiikka tietotekniikassa: erityiskysymyksiä I Korvaava kurssi: T-79.5101 Laskennallisen logiikan jatkokurssi T-79.148 Tietojenkäsittelyteorian perusteet Korvaava kurssi: T-79.1001 Tietojenkäsittelyteorian perusteet T T-79.149 Diskreetit rakenteet Korvaava kurssi: T-79.5201 Diskreetit rakenteet T-79.154 Logiikka tietotekniikassa: erityiskysymyksiä II Korvaava kurssi: T-79.5102 Laskennallisen logiikan erikoiskurssi T-79.157 Tietojenkäsittelyjärjestelmien formaali kuvaus ja verifiointi Korvaava kurssi: T-79.5305 Formaalit menetelmät T-79.159 Cryptography and data security Korvaava kurssi: T-79.4501 Tiedon salaus ja suojaus T-79.161 Kombinatoriset algoritmit Korvaava kurssi: T-79.5202 Kombinatoriset algoritmit T-79.165 Graafiteoria Korvaava kurssi: T-79.5203 Graafiteoria T-79.179 Rinnakkaiset ja hajautetut digitaaliset järjestelmät Korvaava kurssi: T-79.4301 Rinnakkaiset ja hajautetut järjestelmät T-79.185 Verifiointi Korvaava kurssi: T-79.5302 Symbolinen mallintarkastus T-79.186 Reaktiiviset järjestelmät Korvaava kurssi: T-79.5301 Reaktiiviset järjestelmät T-79.189 Tietojenkäsittelyteorian erikoistyö Korvaava kurssi: T-79.5001 Tietojenkäsittelyteorian erikoistyö T-79.190 Rinnakkaisohjelmistojen testaus Korvaava kurssi: T-79.5304 Formaali konformanssitestaus T-79.192 Tietojenkäsittelyteorian erikoiskurssi 2 of 5 04/20/05 09:51
Korvaava kurssi: T-79.4001 Tietojenkäsittelyteorian seminaari T-79.193 Rinnakkaisohjelmistojen määrittelymenetelmät Korvaava kurssi: T-79.5301 Reaktiiviset järjestelmät tai T-79.5302 Symbolinen mallintarkastus T-79.194 Tietojenkäsittelyteorian seminaari Korvaava kurssi: T-79.4001 Tietojenkäsittelyteorian seminaari T-79.230 Agenttipohjaisen tietojenkäsittelyn perusteet Korvaava kurssi: T-79.5102 Laskennallisen logiikan erikoiskurssi T-79.231 Parallel and distributed digital systems Korvaava kurssi: T-79.4301 Rinnakkaiset ja hajautetut järjestelmät T-79.232 Turvallisuuskriittiset järjestelmät Korvaava kurssi: T-79.5303 Turvallisuuskriittiset järjestelmät T-79.240 Laskennallisen vaativuuden erikoiskurssi Korvaava kurssi: T-79.5103 Laskennan vaativuusteoria T-79.250 Kombinatoriset mallit ja stokastiset algoritmit Korvaava kurssi: T-79.5204 Kombinatoriset mallit ja stokastiset algoritmit T-79.295 Yksilöllinen opintojakso Korvaava kurssi: T-79.7002 Yksilölliset opinnot T-79.300 Tietojenkäsittelyteorian lisensiaattikurssi Korvaava kurssi: T-79.7001 Tietojenkäsittelyteorian lisensiaattikurssi T-79.503 Kryptologian perusteet Korvaava kurssi: T-79.5501 Kryptologia T-79.513 Seminar on cryptography and security protocols T-79.514 Special course on cryptology T-79.515 Cryptology: special topics Kurssien korvaaminen opintojaksoilla T-79.1001 Tietojenkäsittelyteorian perusteet T Aiempi opintojakso: T-79.148 Tietojenkäsittelyteorian perusteet T-79.1002 Tietojenkäsittelyteorian perusteet Y T-79.3001 Logiikka tietotekniikassa: perusteet Aiempi opintojakso: T-79.144 Logiikka tietotekniikassa: perusteet T-79.4001 Tietojenkäsittelyteorian seminaari Aiempi opintojakso: T-79.192 Tietojenkäsittelyteorian erikoiskurssi tai T-79.194 Tietojenkäsittelyteorian seminaari T-79.4201 Hakuongelmat ja -algoritmit 3 of 5 04/20/05 09:51
T-79.4301 Rinnakkaiset ja hajautetut järjestelmät Aiempi opintojakso: T-79.179 Rinnakkaiset ja hajautetut digitaaliset järjestelmät tai T-79.231 Parallel and distributed digital systems T-79.4501 Tiedon salaus ja suojaus Aiempi opintojakso: T-79.159 Cryptography and data security T-79.5001 Tietojenkäsittelyteorian erikoistyö Aiempi opintojakso: T-79.189 Tietojenkäsittelyteorian erikoistyö T-79.5101 Laskennallisen logiikan jatkokurssi Aiempi opintojakso: T-79.146 Logiikka tietotekniikassa: erityiskysymyksiä I T-79.5102 Laskennallisen logiikan erikoiskurssi Aiempi opintojakso: T-79.154 Logiikka tietotekniikassa: erityiskysymyksiä II tai T-79.230 Agenttipohjaisen tietojenkäsittelyn perusteet T-79.5103 Laskennan vaativuusteoria Aiempi opintojakso: T-79.240 Laskennallisen vaativuuden erikoiskurssi T-79.5201 Diskreetit rakenteet Aiempi opintojakso: T-79.149 Diskreetit rakenteet T-79.5202 Kombinatoriset algoritmit Aiempi opintojakso: T-79.161 Kombinatoriset algoritmit T-79.5203 Graafiteoria Aiempi opintojakso: T-79.165 Graafiteoria T-79.5204 Kombinatoriset mallit ja stokastiset algoritmit Aiempi opintojakso: T-79.250 Kombinatoriset mallit ja stokastiset algoritmit T-79.5301 Reaktiiviset järjestelmät Aiempi opintojakso: T-79.186 Reaktiiviset järjestelmät tai T-79.193 Rinnakkaisohjelmistojen määrittelymenetelmät T-79.5302 Symbolinen mallintarkastus Aiempi opintojakso: T-79.185 Verifiointi tai T-79.193 Rinnakkaisohjelmistojen määrittelymenetelmät T-79.5303 Turvallisuuskriittiset järjestelmät Aiempi opintojakso: T-79.232 Turvallisuuskriittiset järjestelmät T-79.5304 Formaali konformanssitestaus Aiempi opintojakso: T-79.190 Rinnakkaisohjelmistojen testaus T-79.5305 Formaalit menetelmät Aiempi opintojakso: T-79.157 Tietojenkäsittelyjärjestelmien formaali kuvaus ja verifiointi T-79.5401 Liikkuvuudenhallinnan erikoiskurssi T-79.5501 Kryptologia Aiempi opintojakso: T-79.503 Kryptologian perusteet T-79.5502 Kryptologian jatkokurssi Aiempi opintojakso: T-79.513 Seminar on cryptography and security protocols tai T-79.514 Special course on cryptology tai T-79.515 Cryptology: special topics 4 of 5 04/20/05 09:51
T-79.7001 Tietojenkäsittelyteorian lisensiaattikurssi Aiempi opintojakso: T-79.300 Tietojenkäsittelyteorian lisensiaattikurssi T-79.7002 Yksilölliset opinnot Aiempi opintojakso: T-79.295 Yksilöllinen opintojakso 5 of 5 04/20/05 09:51