T-79.1001 T-79.1001 Tietojenkäsittelyteorian perusteet T (4 op) 24+12 (2+1) I-II,III-IV Opettaja: prof. Pekka Orponen Sisältö: Äärelliset automaatit ja säännölliset kielet. Yhteydettömät kieliopit ja pinoautomaatit. Yhteysherkät ja rajoittamattomat kieliopit. Turingin koneet, laskettavuus ja laskennan vaativuus. Suorittaminen: Tentti ja neljä pakollista kotitehtävää. Kirjallisuus: Luentomoniste; M. Sipser: Introduction to the Theory of Computation. Esitiedot: Ensimmäisen syksyn matematiikan opinnot. Perustiedot ohjelmoinnista hyödylliset. Lisätietoja: Korvaa opintojakson T-79.148 Tietojenkäsittelyteorian perusteet. T-79.1001 Grunderna i databehandlingsteori T (4 sp) 24+12 (2+1) I-II,III-IV Lärare: prof. Pekka Orponen Innehåll: Ändliga automater och reguljära språk. Kontextfri grammatik och stackautomater. Kontextsensitiv och obegränsad grammatik. Turingmaskiner, beräkningsbarhet och beräkningskomplexitet. Examination: Tentamen och fyra obligatoriska hemupgifter. Litteratur: Föreläsningsmaterial; M. Sipser: Introduction to the Theory of Computation. Förkunskaper: Första höstterminens matematikstudier. Grundkunskaper i programmering nyttiga. Tilläggsinformation: Ersätter studieperiod T-79.148 Grunderna i databehandlingsteori. T-79.1001 Introduction to theoretical computer science T (4 cr) autumn, spring Teacher: Professor Pekka Orponen Contents: Finite automata and regular languages. Context-free grammars and pushdown automata. Context-sensitive and unrestricted grammars. Turing machines, computability and computational complexity. Requirements: Exam and four compulsory home assignments. Literature: Lecture notes; M. Sipser: Introduction to the Theory of Computation. Prerequisites: First semester s mathematics courses. Basic familiarity with computer programming an asset. Additional information: Replaces former course T-79.148 Introduction to theoretical computer science. T-79.1002 T-79.1002 Tietojenkäsittelyteorian perusteet Y (2 op) 12+6 (2+1) I,III Opettaja: prof. Pekka Orponen Sisältö: Äärelliset automaatit ja säännölliset kielet. Yhteydettömät kieliopit ja pinoautomaatit. Suorittaminen: Tentti ja neljä pakollista kotitehtävää. Kirjallisuus: Luentomoniste; M. Sipser: Introduction to the Theory of Computation. Esitiedot: Ensimmäisen syksyn matematiikan opinnot. Perustiedot ohjelmoinnista hyödylliset. T-79.1002 Grunderna i databehandlingsteori Y (2 sp) 12+6 (2+1) I,III Lärare: prof. Pekka Orponen Innehåll: Ändliga automater och reguljära språk. Kontextfri grammatik och stackautomater. Examination: Tentamen och fyra obligatoriska hemupgifter. Litteratur: Föreläsningsmaterial; M. Sipser: Introduction to the Theory of Computation. Förkunskaper: Första höstterminens matematikstudier. Grundkunskaper i programmering nyttiga. 1 of 16 04/20/05 09:48
T-79.1002 Introduction to theoretical computer science Y (2 cr) autumn (1st period), spring (3rd period) Teacher: Professor Pekka Orponen Contents: Finite automata and regular languages. Context-free grammars and pushdown automata. Requirements: Exam and four compulsory home assignments. Literature: Lecture notes; M. Sipser: Introduction to the Theory of Computation. Prerequisites: First semester s mathematics courses. Basic familiarity with computer programming an asset. T-79.3001 T-79.3001 Logiikka tietotekniikassa: perusteet (4 op) Opettaja: dos. Tomi Janhunen Sisältö: Lause- ja predikaattikalkyyli, niiden syntaksi, semantiikka ja todistusteoria. Logiikan sovelluksia tietotekniikassa. Suorittaminen: Tentti ja pakolliset kotitehtävät. Kirjallisuus: Luentomoniste. Esitiedot: T-79.1001/T-79.148. Lisätietoja: Korvaa opintojakson T-79.144 Logiikka tietotekniikassa: perusteet. T-79.3001 Logik inom informationstekniken: grunderna (4 sp) Lärare: doc. Tomi Janhunen Innehåll: Sats- och predikatkalkyl, deras syntax, semantik och bevisteori. Logikens tillämpningar inom informationstekniken. Examination: Tentamen och obligatoriska hemupgifter. Litteratur: Föreläsningsmaterial. Förkunskaper: T-79.1001/T-79.148. Tilläggsinformation: Ersätter studieperiod T-79.144 Logik inom informationstekniken: grunderna. T-79.3001 Logic in computer science: foundations (4 cr) spring Teacher: Tomi Janhunen, Docent Contents: Propositional and predicate logic, their syntax, semantics and proof theory. Applications of logic in computer science. Requirements: Exam and compulsory home assignments. Literature: Lecture notes. Prerequisites: T-79.1001/T-79.148. Additional information: Replaces former course T-79.144 Logic in computer science: foundations. T-79.4001 T-79.4001 Tietojenkäsittelyteorian seminaari (3 op) 24+0 (4+0) III-IV Opettaja: prof. Hannu H. Kari Sisältö: Tutustuminen tietojenkäsittelyteorian ajankohtaisiin tutkimuskysymyksiin. Vuonna 2006 keskitytään ad hoc -verkkojen suorituskykyanalyysiin. Suorittaminen: Seminaari. Lisätietoja: Korvaa opintojaksot T-79.192 Tietojenkäsittelyteorian erikoiskurssi ja T-79.194 Tietojenkäsittelyteorian seminaari. 2 of 16 04/20/05 09:48
T-79.4001 Seminarium i databehandlingsteori (3 sp) 24+0 (4+0) III-IV Lärare: prof. Hannu H. Kari Innehåll: Presentation av aktuell forskningsproblematik inom databehandlingsteorin. I år 2006 fokus är performans analysering i ad hoc nät. Examination: Seminarium. Tilläggsinformation: Ersätter studieperioder T-79.192 Specialkurs i databehandlingsteori och T-79.194 Seminarium i databehandlingsteori. T-79.4001 Seminar on theoretical computer science (3 cr) spring Teacher: Professor Hannu H. Kari Contents: Current research topics in theoretical computer science. In year 2006, focus will be on ad hoc network performance analysis. Requirements: Seminar. Additional information: Replaces former courses T-79.192 Special course in theoretical computer science and T-79.194 Seminar on theoretical computer science. T-79.4201 T-79.4201 Hakuongelmat ja -algoritmit (4 op) Opettaja: prof. Ilkka Niemelä, prof. Pekka Orponen Sisältö: Hakuavaruudet ja hakumenetelmät. Peruuttuva, paikallinen ja heuristinen haku. Hakuongelman esittäminen ja ratkaiseminen lauselogiikan toteutuvuusongelmana, rajoiteohjelmana sekä kokonaislukuohjelmana. Suorittaminen: Tentti ja harjoitustyöt. Kirjallisuus: Luentomoniste. Esitiedot: T-79.1001/T-79.148, T-79.3001/T-79.144, T-106.1220/T-106.250; lisäksi suositellaan T-106.3100/T-106.237. T-79.4201 Sökproblem och -algoritmer (4 sp) Lärare: prof. Ilkka Niemelä, prof. Pekka Orponen Innehåll: Sökrymder och sökmetoder. Bakåtspårande, lokal och heuristisk sökning. Formulering och lösning av sökproblem som propositionella satisfieringsproblem, villkorsprogram och heltalsprogram. Examination: Tentamen och övningsarbeten. Litteratur: Föreläsningsmaterial. Förkunskaper: T-79.1001/T-79.148, T-79.3001/T-79.144, T-106.1220/T-106.250; även T-106.3100/T-106.237 rekommenderas. T-79.4201 Search problems and algorithms (4 cr) spring Teacher: Professor Ilkka Niemelä, Professor Pekka Orponen Contents: Search spaces and search methods. Backtracking, local and heuristic search. Representing and solving search problems using propositional satisfiability, constraint programming and integer programming techniques. Requirements: Exam and programming assignments. Literature: Lecture notes. Prerequisites: T-79.1001/T-79.148, T-79.3001/T-79.144, T-106.1220/T-106.250; also T-106.3100/T-106.237 recommended. 3 of 16 04/20/05 09:48
T-79.4301 T-79.4301 Rinnakkaiset ja hajautetut järjestelmät (4 op) Opettaja: dos. Kimmo Varpaaniemi Sisältö: Järjestelmien mallintaminen. Ominaisuuksien tietokoneavusteinen verifiointi. Suorittaminen: Tentti ja harjoitustyöt. Esitiedot: T-79.1001/T-79.1002/T-79.148, T-79.3001/T-79.144 ja koulutusohjelman pakolliset matematiikan opinnot. Lisätietoja: Korvaa opintojaksot T-79.179 Rinnakkaiset ja hajautetut digitaaliset järjestelmät ja T-79.231 Parallel and distributed digital systems. T-79.4301 Parallella och distribuerade system (4 sp) Lärare: doc. Kimmo Varpaaniemi Innehåll: Modeller av system. Datorstödd verifiering av egenskaper. Examination: Tentamen och övningsarbeten. Förkunskaper: T-79.1001/T-79.1002/T-79.148, T-79.3001/T-79.144 och utbildningsprogrammets obligatoriska studier i matematik. Tilläggsinformation: Ersätter studieperioder T-79.179 Parallella och distribuerade digitala system och T-79.231 Parallel and distributed digital systems. T-79.4301 Parallel and distributed systems (4 cr) spring Teacher: Kimmo Varpaaniemi, Docent Contents: Modelling of systems. Computer-aided verification of properties. Requirements: Exam and project assignments. Prerequisites: T-79.1001/T-79.1002/T-79.148, T-79.3001/T-79.144, and the compulsory mathematics studies of the study programme. Additional information: Replaces former courses T-79.179 Parallel and distributed digital systems and T-79.231 Parallel and distributed digital systems. T-79.4501 T-79.4501 Tiedon salaus ja suojaus (4 op) 24+12 (4+2) III Opettaja: prof. Kaisa Nyberg Sisältö: Tieto- ja kommunikaatioverkkojen turvallisuus. Salaustekniikan perusteet. Salaisen avaimen salausalgoritmit. Jonosalaus. Lohkosalaus: DES, IDEA, AES. Käyttötavat. Hash-funktiot ja autentikointikoodit. Julkisen avaimen menetelmät. Autentikointi ja avaintenvaihto. Salasanaan perustuva autentikointi. Kerberos, IKE, UMTS AKA. Muita kryptograafisia protokollia. Suorittaminen: Tentti. Kirjallisuus: (1) C. Kaufman, R. Perlman, M. Speciner: Network Security, Private Communication in a Public World, second edition, Prentice Hall, 2002; tai (2) W. Stallings: Cryptography and Network Security, Principles and Practices, third edition, Pearson Education, 2003. Esitiedot: Diskreetin matematiikan ja jonkun tietoverkko- tai tietoliikennejärjestemän perustiedot. Lisätietoja: Korvaa opintojakson T-79.159 Cryptography and data security. T-79.4501 Kryptografi och data säkerhet (4 sp) 24+12 (4+2) III Lärare: prof. Kaisa Nyberg 4 of 16 04/20/05 09:48
Innehåll: Säkerhet av datornät och kommunikationssystem. Grunderna i kryptografi. Symmetriska kryptoalgoritmer. Block kryptering: DES, IDEA, AES. Ström kryptering. Typer av användning. Hash-funktioner och autentiseringskoder. Osymmetriska kryptosystem. Digitala signaturer. Autentisering och nyckelväxel. Passord baserad autentisering. Kerberos, IKE, UMTS AKA. Andra kryptografiska protokoll. Examination: Tentamen. Litteratur: (1) C. Kaufman, R. Perlman, M. Speciner: Network Security, Private Communication in a Public World, second edition, Prentice Hall, 2002; eller (2) W. Stallings: Cryptography and Network Security, Principles and Practices, third edition, Pearson Education, 2003. Förkunskaper: Grundkunskaper i diskret matematik samt i något datanät- eller kommunikationssystem. Tilläggsinformation: Ersätter studieperiod T-79.159 Cryptography and data security. T-79.4501 Cryptography and data security (4 cr) spring (3rd period) Teacher: Professor Kaisa Nyberg Contents: Data and communications security. Principles of cryptographic security. Symmetric cryptosystems. Stream ciphers. Block ciphers: DES, IDEA, AES. Modes of operation. Asymmetric cryptosystems. Digital signatures. Authentication and key agreement. Password based authentication. Kerberos, IKE, UMTS AKA. Other examples of cryptographic protocols. Requirements: Exam. Literature: (1) C. Kaufman, R. Perlman, M. Speciner: Network Security, Private Communication in a Public World, second edition, Prentice Hall, 2002; or (2) W. Stallings: Cryptography and Network Security, Principles and Practices, third edition, Pearson Education, 2003. Prerequisites: Basic knowledge in discrete mathematics and some computer or communication network. Additional information: Replaces former course T-79.159 Cryptography and data security. T-79.5001 T-79.5001 Tietojenkäsittelyteorian erikoistyö (5 op) 0+0 (0+0) I,II,III,IV Opettaja: T-79 professorit ja opettavat tutkijat Sisältö: Tietojenkäsittelyteoriaan liittyviä itsenäisiä tarkasteluja sekä suunnittelutöitä. Suorittaminen: Työ tehdään 1-3 hengen ryhmissä. Esitiedot: Tietojenkäsittelyteorian jatkomoduuli. Lisätietoja: Korvaa opintojakson T-79.189 Tietojenkäsittelyteorian erikoistyö. T-79.5001 Specialarbete i databehandlingsteori (5 sp) 0+0 (0+0) I,II,III,IV Lärare: T-79 professorer och undervisande forskare Innehåll: Självständigt utrednings- eller planeringsarbete som ansluter sig till i databehandlingsteorin. Examination: Arbetet görs i grupper på 1-3 personer. Förkunskaper: Fortsättningsmodul i databehandlingsteori. Tilläggsinformation: Ersätter studieperiod T-79.189 Specialarbete i databehandlingsteori. T-79.5001 Student project in theoretical computer science (5 cr) autumn (1st period), autumn (2nd period), spring (3rd period), spring (4th period) Teacher: T-79 professors and teaching research scientists Contents: Independent student project on a subject from the field of theoretical computer science. Requirements: The project is done in groups of up to three people. Prerequisites: Level 2 module in theoretical computer science. Additional information: Replaces former course T-79.189 Student project in theoretical computer science. 5 of 16 04/20/05 09:48
T-79.5101 T-79.5101 Laskennallisen logiikan jatkokurssi (4 op) Opettaja: prof. Ilkka Niemelä Sisältö: Modaalilogiikan perusteet. Ajankohtaisia sovelluksia tietotekniikassa. Suorittaminen: Tentti ja kotitehtävät. Kirjallisuus: Luentomoniste ja artikkeleita. Esitiedot: T-79.3001/T-79.144. Lisätietoja: Korvaa opintojakson T-79.146 Logiikka tietotekniikassa: erityiskysymyksiä I. T-79.5101 Fortsättningskurs i beräkningslogik (4 sp) Lärare: prof. Ilkka Niemelä Innehåll: Grunderna i modallogik. Aktuella tillämpningar inom data- och informationstekniken. Examination: Tentamen och hemuppgifter. Litteratur: Föreläsningsmaterial och artiklar. Förkunskaper: T-79.3001/T-79.144. Tilläggsinformation: Ersätter studieperiod T-79.146 Logik inom informationstekniken: specialfrågor I. T-79.5101 Advanced course in computational logic (4 cr) spring Teacher: Professor Ilkka Niemelä Contents: Basics of modal logic. Current applications in computer science. Requirements: Exam and home assignments. Literature: Lecture notes and articles. Prerequisites: T-79.3001/T-79.144. Additional information: Replaces former course T-79.146 Logic in computer science: special topics I. T-79.5102 T-79.5102 Laskennallisen logiikan erikoiskurssi (4 op) 24+12 (2+1) I-II Opettaja: dos. Tomi Janhunen Sisältö: Tietämyksen esittäminen sekä sen nojalla tapahtuva päättely ja päätöksenteko. Automaattinen päättely. Suorittaminen: Tentti, harjoitustyö ja/tai seminaariesitelmä. Esitiedot: T-79.3001/T-79.144. Lisätietoja: Korvaa opintojaksot T-79.154 Logiikka tietotekniikassa: erityiskysymyksiä II ja T-79.230 Agenttipohjaisen tietojenkäsittelyn perusteet. T-79.5102 Specialkurs i beräkningslogik (4 sp) 24+12 (2+1) I-II Lärare: doc. Tomi Janhunen Innehåll: Representation av vetskap samt slutledning och beslutfattande på grund av den. Automatisk slutledning. Examination: Tentamen, övningsarbete och/eller seminarföredrag. Förkunskaper: T-79.3001/T-79.144. Tilläggsinformation: Ersätter studieperioder T-79.154 Logik inom informationstekniken: specialfrågor II och T-79.230 Grunderna i agentbaserad databehandling. 6 of 16 04/20/05 09:48
T-79.5102 Special course in computational logic (4 cr) autumn Teacher: Tomi Janhunen, Docent Contents: Knowledge representation, reasoning and decision-making. Automated reasoning. Requirements: Exam, project work and/or seminar talk. Prerequisites: T-79.3001/T-79.144. Additional information: Replaces former courses T-79.154 Logic in computer science: special topics II and T-79.230 Foundations of agent-based computing. Language: Finnish. T-79.5103 T-79.5103 Laskennan vaativuusteoria (5 op) 36+24 (3+2) I-II Opettaja: prof. Ilkka Niemelä Sisältö: NP-täydellisyys. Probabilistiset algoritmit. Kryptografia. Approksimaatioalgoritmit. Rinnakkaiset algoritmit. Polynominen hierarkia. PSPACE-täydellisyys. Suorittaminen: Kotitehtävät ja seminaariesitelmä. Kirjallisuus: C. Papadimitriou: Computational Complexity, Addison-Wesley, 1994. Esitiedot: T-79.1001/T-79.148. Lisätietoja: Korvaa opintojakson T-79.240 Laskennallisen vaativuuden erikoiskurssi. T-79.5103 Komplexitetsteori (5 sp) 36+24 (3+2) I-II Lärare: prof. Ilkka Niemelä Innehåll: NP-fullständighet. Probabilistiska algoritmer. Kryptografi. Approximationsalgoritmer. Parallella algoritmer. Polynomiska hierarkin. PSPACE-fullständighet. Examination: Hemuppgifter och seminarföredrag. Litteratur: C. Papadimitriou: Computational Complexity, Addison-Wesley, 1994. Förkunskaper: T-79.1001/T-79.148. Tilläggsinformation: Ersätter studieperiod T-79.240 Specialkurs i komplexitetsteori. T-79.5103 Computational complexity theory (5 cr) autumn Teacher: Professor Ilkka Niemelä Contents: NP-completeness. Randomized algorithms. Cryptography. Approximation algorithms. Parallel algorithms. Polynomial hierarchy. PSPACE-completeness. Requirements: Home assignments and seminar talk. Literature: C. Papadimitriou: Computational Complexity, Addison-Wesley, 1994. Prerequisites: T-79.1001/T-79.148. Additional information: Replaces former course T-79.240 Special course in computational complexity. Language: English. T-79.5201 T-79.5201 Diskreetit rakenteet (4 op) 24+12 (2+1) I-II Opettaja: prof. Pekka Orponen Sisältö: Vaihtuva-alainen kurssi tietojenkäsittelyteorian perusrakenteista ja -menetelmistä. Kurssin aiheena syksyllä 2005 on kombinaatiopiirien kompleksisuusteoria. Suorittaminen: Laskuharjoitukset ja tentti. Kirjallisuus: Luentomoniste; I. Wegener: The Complexity of Boolean Functions. Esitiedot: T-79.1001/T-79.148 sekä matematiikan peruskurssit, erityisesti diskreetin matematiikan perusteet (Mat-1.128). Algoritmianalyysin (T-106.4100/T-106.410) tuntemus eduksi. 7 of 16 04/20/05 09:48
Lisätietoja: Korvaa opintojakson T-79.149 Diskreetit rakenteet. T-79.5201 Diskreta strukturer (4 sp) 24+12 (2+1) I-II Lärare: prof. Pekka Orponen Innehåll: Årligen varierande föreläsningar om grundläggande strukturer och metoder inom databehandlingsteorin. Kursen behandlar inom höstterminen 2005 boolesk kretskomplexitet. Examination: Övningar och tentamen. Litteratur: Föreläsningsmaterial; I. Wegener: The Complexity of Boolean Functions. Förkunskaper: T-79.1001/T-79.148 samt de två första årens matematikstudier, inklusive grundläggande kunskaper i diskret matematik (Mat-1.128). Förtrogenhet med planering av algoritmer (T-106.4100/T-106.410) är till fördel. Tilläggsinformation: Ersätter studieperiod T-79.149 Diskreta strukturer. T-79.5201 Discrete structures (4 cr) autumn Teacher: Professor Pekka Orponen Contents: Annually varying topics concerned with the basic structures and methods of computer science theory. The course in Autumn 2005 will be concerned with Boolean circuit complexity. Requirements: Tutorials and exam. Literature: Lecture notes; I. Wegener: The Complexity of Boolean Functions. Prerequisites: T-79.1001/T-79.148 and first two years mathematics courses including introductory discrete mathematics (Mat-1.128). Familiarity with algorithm design (T-106.4100/T-106.410) an asset. Additional information: Replaces former course T-79.149 Discrete Structures. T-79.5202 T-79.5202 Kombinatoriset algoritmit (4 op) Opettaja: erik. op. Harri Haanpää Sisältö: Kombinatoristen ongelmien perusalgoritmit ja laskennalliset menetelmät. Kombinatoristen rakenteiden generointi (esim. permutaatiot). Hakumenetelmät. Graafialgoritmit ja kombinatorinen optimointi. Rakenteiden symmetriat. Suorittaminen: Tentti ja pakolliset kotitehtävät. Kirjallisuus: D. L. Kreher, D. R. Stinson: Combinatorial Algorithms; Generation, Enumeration and Search, CRC Press, 1998. Esitiedot: Diskreetin matematiikan ja ohjelmoinnin perustiedot. Lisätietoja: Korvaa opintojakson T-79.161 Kombinatoriset algoritmit. T-79.5202 Kombinatoriska algoritmer (4 sp) Lärare: spec. lär. Harri Haanpää Innehåll: Grundläggande algoritmer och metoder för lösande av kombinatoriska problem. Generering av kombinatoriska strukturer (t.ex. permutationer). Sökmetoder. Grafalgoritmer och kombinatorisk optimering. Strukturernas symmetrier. Examination: Tentamen och obligatoriska hemuppgifter. Litteratur: D. L. Kreher, D. R. Stinson: Combinatorial Algorithms; Generation, Enumeration and Search, CRC Press, 1998. Förkunskaper: Grundkunskaper i diskret matematik och programmering. Tilläggsinformation: Ersätter studieperiod T-79.161 Kombinatoriska algoritmer. T-79.5202 Combinatorial algorithms (4 cr) spring 8 of 16 04/20/05 09:48
Teacher: Harri Haanpää, Specialist Teacher Contents: Basic algorithms and computational methods for combinatorial problems. Combinatorial structure generation (e.g. permutations). Search methods. Graph algorithms and combinatorial optimization. Symmetries of combinatorial structures. Requirements: Exam and obligatory home assignments. Literature: D. L. Kreher, D. R. Stinson: Combinatorial Algorithms; Generation, Enumeration and Search, CRC Press, 1998. Prerequisites: Basic knowledge in discrete mathematics and programming. Additional information: Replaces former course T-79.161 Combinatorial algorithms. T-79.5203 T-79.5203 Graafiteoria (5 op) 36+20 (6+4) IV Opettaja: erik. op. Petteri Kaski, prof. Patric Östergård Sisältö: Graafiteorian (verkkoteorian) perusteet. Puut, tasograafit ja suunnatut graafit. Graafien väritys. Satunnaiset graafit. Tärkeimpien graafiongelmien algoritmit. Sovelluksia. Suorittaminen: Tentti ja harjoitustyö/kotitehtävät. Kirjallisuus: D. B. West: Introduction to Graph Theory, 2nd ed., Prentice Hall, Upper Saddle River NJ, 2001; D. Jungnickel: Graphs, Networks and Algorithms, Springer, Berlin, 1999. Esitiedot: Koulutusohjelman pakolliset matematiikan opinnot ja ohjelmoinnin perustiedot. Lisätietoja: Korvaa opintojakson T-79.165 Graafiteoria. Kurssi esiintyy myös koodilla S-72.2420. T-79.5203 Grafteori (5 sp) 36+20 (6+4) IV Lärare: spec. lär. Petteri Kaski, prof. Patric Östergård Innehåll: Grafteorins grunder. Träd, planara grafer och riktade grafer. Färgläggning av grafer. Slumpmässiga grafer. Algoritmer för de viktigaste grafproblemen. Tillämpningar. Examination: Tentamen och övningsarbete/hemuppgifter. Litteratur: D. B. West: Introduction to Graph Theory, 2nd ed., Prentice Hall, Upper Saddle River NJ, 2001; D. Jungnickel: Graphs, Networks and Algorithms, Springer, Berlin, 1999. Förkunskaper: Utbildningsprogrammets obligatoriska studier i matematik och grundkunskaper i programmering. Tilläggsinformation: Ersätter studieperiod T-79.165 Grafteori. Kursen förekommer även med koden S-72.2420. T-79.5203 Graph theory (5 cr) spring (4th period) Teacher: Petteri Kaski, Specialist Teacher, Professor Patric Östergård Contents: Introduction to graph theory. Trees, planar graphs and digraphs. Graph coloring. Random graphs. Algorithms for central graph problems. Applications. Requirements: Exam and special project/home assignments. Literature: D. B. West: Introduction to Graph Theory, 2nd ed., Prentice Hall, Upper Saddle River NJ, 2001; D. Jungnickel: Graphs, Networks and Algorithms, Springer, Berlin, 1999. Prerequisites: Compulsory mathematics studies of the study programme and basic knowledge in programming. Additional information: Replaces former course T-79.165 Graph theory. The course also occurs with the code S-72.2420. T-79.5204 T-79.5204 Kombinatoriset mallit ja stokastiset algoritmit (6 op) 9 of 16 04/20/05 09:48
48+24 (4+2) III-IV (Luennoidaan joka toinen vuosi, ei luennoida lukuvuonna 2005-2006) Opettaja: prof. Pekka Orponen Sisältö: Kombinatorisia malleja: satunnaisverkot, spinlasit, NK-systeemit. Optimointiongelmien kelpoisuusmaastot. Markovin ketjut ja MCMC-otanta. Stokastisia algoritmeja: MCMC-pohjaiset approksimointialgoritmit, simuloitu jäähdytys, evoluutioalgoritmit. Erityiskysymyksiä: kelpoisuusmaastojen rakenteesta, kombinatoriset faasitransitiot. Suorittaminen: Laskuharjoitukset, harjoitustyö ja tentti. Kirjallisuus: Luentomoniste. Esitiedot: Matematiikan peruskurssit, perustiedot todennäköisyyslaskennasta (esim. Mat-2.090) sekä ohjelmointitaito (esim. T-106.1200/T-106.230). Myös stokastisten prosessien (Mat-2.111), diskreetin matematiikan (Mat-1.128), algoritmisuunnittelun (T-106.4100/T-106.410) sekä laskennan vaativuusteorian (T-79.5103/T-79.240) tuntemus on eduksi. Lisätietoja: Korvaa opintojakson T-79.250 Kombinatoriset mallit ja stokastiset algoritmit. T-79.5204 Kombinatoriska modeller och stokastiska algoritmer (6 sp) 48+24 (4+2) III-IV (Föreläses vartannat år, föreläses inte läsåret 2005-2006) Lärare: prof. Pekka Orponen Innehåll: Kombinatoriska systemmodeller: slumpgrafer, spinglas, NK-system. Fitnesslandskap hos optimeringsproblem. Markov-kedjor och MCMC-urval. Stokastiska algoritmer:slumpvandring i grafer, simulerad kylning, evolutionsalgoritmer. Specialfrågor: fitnesslandskapens struktur, kombinatoriska fastransitioner. Examination: Övningar, övningsarbete och tentamen. Litteratur: Föreläsningsmaterial. Förkunskaper: De två första årens matematikstudier inklusive grundläggande kunskaper i sannolikhetslära (t.ex. Mat-2.090), samt programmeringsförmåga (t.ex. T-106.1200/T-106.230). Förtrogenhet med stokastiska processer (Mat-2.111), diskret matematik (Mat-1.128), planering av algoritmer (T-106.4100/T-106.410) och algoritmisk komplexitetsteori (T-79.5103/T-79.240) är till fördel. Tilläggsinformation: Ersätter studieperiod T-79.250 Kombinatoriska modeller och stokastiska algoritmer. T-79.5204 Combinatorial models and stochastic algorithms (6 cr) Every other year, spring, not lectured 2005-2006 Teacher: Professor Pekka Orponen Contents: Combinatorial system models: random graphs, spin glasses, NK-systems. Fitness landscapes of combinatorial optimisation problems. Markov chains and MCMC sampling. Stochastic algorithms: MCMC-based approximation algorithms, simulated annealing, evolutionary algorithms. Special topics: structure of fitness landscapes, combinatorial phase transitions. Requirements: Tutorials, programming assignment and exam. Literature: Lecture notes. Prerequisites: First two years mathematics courses including introductory probability theory (e.g. Mat-2.090), and programming skills (e.g. T-106.1200/T-106.230). Familiarity with stochastic processes (Mat-2.111), discrete mathematics (Mat-1.128), algorithm design (T-106.4100/T-106.410) and computational complexity theory (T-79.5103/T-79.240) an asset. Additional information: Replaces former course T-79.250 Combinatorial models and stochastic algorithms. Language: English. T-79.5301 T-79.5301 Reaktiiviset järjestelmät (4 op) Opettaja: opett. tutk. Keijo Heljanko Sisältö: Reaktiivisten järjestelmien ominaisuuksien spesifiointi ja verifiointi temporaalilogiikkaa käyttäen. Tietokoneavusteisten verifiointimenetelmien perusteet ja algoritmit. Suorittaminen: Seminaariesitelmät, kotilaskut ja harjoitustyö. Esitiedot: T-79.3001/T-79.144, T-79.4301/T-79.179/T-79.231 ja koulutusohjelman pakolliset matematiikan opinnot. 10 of 16 04/20/05 09:48
Lisätietoja: Korvaa opintojaksot T-79.186 Reaktiiviset järjestelmät ja T-79.193 Rinnakkaisohjelmistojen määrittelymenetelmät. T-79.5301 Reaktiva system (4 sp) Lärare: underv. forsk. Keijo Heljanko Innehåll: Specificering och verifiering av reaktiva system med hjälp av temporallogik. Grunderna i datorstödda verifieringsmetoder och algoritmer. Examination: Seminarieföredrag, hemuppgifter samt ett övningsarbete. Förkunskaper: T-79.3001/T-79.144, T-79.4301/T-79.179/T-79.231 och utbildningsprogrammets obligatoriska studier i matematik. Tilläggsinformation: Ersätter studieperioder T-79.186 Reaktiva system och T-79.193 Specificeringsmetoder för parallella programvarusystem. T-79.5301 Reactive systems (4 cr) spring Teacher: Keijo Heljanko, Teaching Research Scientist Contents: Specification and verification of reactive systems with temporal logic. Basics of computer-aided verification methods and their algorithms. Requirements: Seminar talks, home exercises, and a project. Prerequisites: T-79.3001/T-79.144, T-79.4301/T-79.179/T-79.231, and the compulsory mathematics studies of the study programme. Additional information: Replaces former courses T-79.186 Reactive systems and T-79.193 Formal description techniques for concurrent systems. T-79.5302 T-79.5302 Symbolinen mallintarkastus (4 op) 36+0 (3+0) I-II Opettaja: erik. op. Tommi Junttila, dos. Kimmo Varpaaniemi Sisältö: Rinnakkaisten ja hajautettujen järjestelmien tehokas kvalitatiivinen analyysi symbolisilla menetelmillä. Binääriset päätösdiagrammit. Rajoitettu mallintarkastus. Suorittaminen: Seminaariesitelmät ja harjoitustyöt. Esitiedot: T-79.1001/T-79.1002/T-79.148, T-79.3001/T-79.144, T-79.4301/T-79.179/T-79.231 ja koulutusohjelman pakolliset matematiikan opinnot. Lisätietoja: Korvaa opintojaksot T-79.185 Verifiointi ja T-79.193 Rinnakkaisohjelmistojen määrittelymenetelmät. T-79.5302 Symbolisk modellkontrollering (4 sp) 36+0 (3+0) I-II Lärare: spec. lär. Tommi Junttila, doc. Kimmo Varpaaniemi Innehåll: Symboliska metoder för effektiv kvalitativ analys av parallela och distribuerade system. Binära beslutsdiagram. Begränsad modellkontrollering. Examination: Seminarieföredrag och övningsarbeten. Förkunskaper: T-79.1001/T-79.1002/T-79.148, T-79.3001/T-79.144, T-79.4301/T-79.179/T-79.231 och utbildningsprogrammets obligatoriska studier i matematik. Tilläggsinformation: Ersätter studieperioder T-79.185 Verifiering och T-79.193 Specificeringsmetoder för parallella programvarusystem. T-79.5302 Symbolic model checking (4 cr) autumn Teacher: Tommi Junttila, Specialist Teacher, Kimmo Varpaaniemi, Docent Contents: Symbolic methods for efficient qualitative analysis of parallel and distributed systems. Binary 11 of 16 04/20/05 09:48
decision diagrams. Bounded model checking. Requirements: Seminar presentations and project assignments. Prerequisites: T-79.1001/T-79.1002/T-79.148, T-79.3001/T-79.144, T-79.4301/T-79.179/T-79.231, and the compulsory mathematics studies of the study programme. Additional information: Replaces former courses T-79.185 Verification and T-79.193 Formal description techniques for concurrent systems. T-79.5303 T-79.5303 Turvallisuuskriittiset järjestelmät (4 op) Opettaja: erik. op. Ilkka Herttua, erik. op. Teemu Tynjälä Sisältö: Turvallisuuskriittiset järjestelmät. Formaalien määrittely-, mallitus- ja verifiointimenetelmien käyttö. Suorittaminen: Pakollisia kotitehtäviä. Kirjallisuus: N. Leveson: Safeware: System Safety and Computers; N. Storey: Safety-Critical Computer Systems. Esitiedot: T-79.1001/T-79.148. Lisätietoja: Korvaa opintojakson T-79.232 Turvallisuuskriittiset järjestelmät. T-79.5303 Säkerhetskritiska system (4 sp) Lärare: spec. lär. Ilkka Herttua, spec. lär. Teemu Tynjälä Innehåll: Säkerhetskritiska system. Användning av formella specifierings-, modellerings- och verifieringsmetoder. Examination: Obligatoriska hemupgifter. Litteratur: N. Leveson: Safeware: System Safety and Computers; N. Storey: Safety-Critical Computer Systems. Förkunskaper: T-79.1001/T-79.148. Tilläggsinformation: Ersätter studieperiod T-79.232 Säkerhetskritiska system. T-79.5303 Safety critical systems (4 cr) spring Teacher: Ilkka Herttua, Specialist Teacher, Teemu Tynjälä, Specialist Teacher Contents: Safety-critical systems. The use of formal methods in the specification, modelling and verification of systems. Requirements: Compulsory home assignments. Literature: N. Leveson: Safeware: System Safety and Computers; N. Storey: Safety-Critical Computer Systems. Prerequisites: T-79.1001/T-79.148. Additional information: Replaces former course T-79.232 Safety-critical systems. Language: English. T-79.5304 T-79.5304 Formaali konformanssitestaus (4 op) 24+12 (2+1) I-II Opettaja: erik. op. Antti Huima Sisältö: Konformanssitestauksen perusteet. Formaali konformanssitestaus ja sen automatisointi. Ajastettujen ja ääretöntilaisten järjestelmien testauksesta. Testauskattavuuden arviointi. Suorittaminen: Tentti. Kirjallisuus: Luentomoniste. Esitiedot: T-79.5301/T-79.186. 12 of 16 04/20/05 09:48
Lisätietoja: Korvaa opintojakson T-79.190 Rinnakkaisohjelmistojen testaus. T-79.5304 Formell konformanstestning (4 sp) 24+12 (2+1) I-II Lärare: spec. lär. Antti Huima Innehåll: Grunderna i konformanstestning. Formell konformanstestning och dess automatisering. Testning av tidsberoende system och system med oändligt många tillstånd. Uppskattning av testtäckning. Examination: Tentamen. Litteratur: Föreläsningsmaterial. Förkunskaper: T-79.5301/T-79.186. Tilläggsinformation: Ersätter studieperiod T-79.190 Testning av parallella programvarusystem. T-79.5304 Formal conformance testing (4 cr) autumn Teacher: Antti Huima, Specialist Teacher Contents: Introduction to conformance testing. Formal conformance testing and its automatization. On testing timed and infinite-state systems. Estimation of testing coverage. Requirements: Exam. Literature: Lecture notes. Prerequisites: T-79.5301/T-79.186. Additional information: Replaces former course T-79.190 Testing of concurrent systems. T-79.5305 T-79.5305 Formaalit menetelmät (4 op) 24+12 (2+1) I-II (Ei luennoida lukuvuonna 2005-2006) Opettaja: opett. tutk. Keijo Heljanko Sisältö: Vaihtuva-alainen kurssi formaaleista menetelmistä. Suorittaminen: Seminaari. Esitiedot: T-79.3001/T-79.144, T-79.4301/T-79.179/T-79.231 ja koulutusohjelman pakolliset matematiikan opinnot. Lisätietoja: Korvaa opintojakson T-79.157 Tietojenkäsittelyjärjestelmien formaali kuvaus ja verifiointi. T-79.5305 Formella methoder (4 sp) 24+12 (2+1) I-II (Föreläses inte läsåret 2005-2006) Lärare: underv. forsk. Keijo Heljanko Innehåll: Årligen varierande förläsningar om formella methoder. Examination: Seminarium. Förkunskaper: T-79.3001/T-79.144, T-79.4301/T-79.179/T-79.231 och utbildningsprogrammets obligatoriska studier i matematik. Tilläggsinformation: Ersätter studieperiod T-79.157 Formell beskrivning och verifiering av databehandlingssystem. T-79.5305 Formal Methods (4 cr) autumn, not lectured 2005-2006 Teacher: Keijo Heljanko, Teaching Research Scientist Contents: Annually varying topics on formal methods. Requirements: Seminar. Prerequisites: T-79.3001/T-79.144, T-79.4301/T-79.179/T-79.231 and the compulsory mathematics studies of the study programme. Additional information: Replaces former course T-79.157 Formal description and verification of computing systems. 13 of 16 04/20/05 09:48
T-79.5401 T-79.5401 Liikkuvuudenhallinnan erikoiskurssi (2-10 op) 24+0 (4+0) I-II,III-IV Opettaja: prof. Hannu H. Kari Sisältö: Liikkuvuudenhallinnan erityiskysymykset langattomissa verkoissa. Suorittaminen: Seminaari. Esitiedot: T-79.1001/T-79.148. T-79.5401 Specialkurs i mobilitethantering (2-10 sp) 24+0 (4+0) I-II,III-IV Lärare: prof. Hannu H. Kari Innehåll: Speciella problemer av mobilitethantering i trådlösa nät. Examination: Seminarium. Förkunskaper: T-79.1001/T-79.148. T-79.5401 Special course in mobility management (2-10 cr) autumn, spring Teacher: Professor Hannu H. Kari Contents: Special problems of mobility management in wireless networks. Requirements: Seminar. Prerequisites: T-79.1001/T-79.148. Language: English. T-79.5501 T-79.5501 Kryptologia (5 op) 24+24 (2+2) I-II Opettaja: prof. Kaisa Nyberg Sisältö: Modernien salaustekniikoiden matemaattiset ominaisuudet. Salauksen informaatioteoreettiset perusteet. Jonosalaajien ja lohkosalaajien perusrakenteita ja kryptoanalyysia. Hash-funktiot. Autentikoinnin informaatioteoreettiset perusteet. Viestin autentikointimenetelmät. Julkisen avaimen menetelmät. Suorittaminen: Tentti. Kirjallisuus: D. R. Stinson: Cryptography, Theory and Practice, Second Edition, Chapman&Hall/CRC, 2002; sekä luennoilla jaettava lisämateriaali (joka on saatavana kurssin kotisivulta). Esitiedot: Suositellaan kursseja Mat-1.128 Diskreetin matematiikan perusteet ja Mat-1.146 Algebran perusteet. Lisätietoja: Korvaa opintojakson T-79.503 Kryptologian perusteet. T-79.5501 Kryptologi (5 sp) 24+24 (2+2) I-II Lärare: prof. Kaisa Nyberg Innehåll: Matematiska egenskaper av moderna kryptografiska metoder. Informationsteoretiska grunder av kryptering. Ström- och blockkrypteringsalgoritmer och kryptanalys. Hash-funktioner. Informationsteoretiska grunder av autentisering. Autentisering av meddelande. Allmänna nyckels metoder. Examination: Tentamen. Litteratur: D. R. Stinson: Cryptography, Theory and Practice, Second Edition, Chapman&Hall/CRC, 2002; samt tilläggsmaterial (som finns på kursens hemsida). Förkunskaper: Följande kurser rekommenderas: Mat-1.128 Den diskreta matematikens grunder och Mat-1.146 Algebrans grunder. Tilläggsinformation: Ersätter studieperiod T-79.503 Grunderna i kryptologi. 14 of 16 04/20/05 09:48
T-79.5501 Cryptology (5 cr) autumn Teacher: Professor Kaisa Nyberg Contents: Mathematical properties of modern cryptographic methods. Information theory of encryption. Basic building blocks for stream ciphers and block ciphers and their analysis. Hash-functions. Information theory of authentication. Message authentication. Public key cryptosystems. Requirements: Exam. Literature: D. R. Stinson: Cryptography, Theory and Practice, Second Edition, Chapman&Hall/CRC, 2002; and additional material (in English, available on the course homepage). Prerequisites: Recommended courses Mat-1.128 Discrete mathematics and Mat-1.146 Basic algebra. Additional information: Replaces former course T-79.503 Foundations of cryptology. T-79.5502 T-79.5502 Kryptologian jatkokurssi (5 op) 24+12 (4+2) IV Opettaja: prof. Kaisa Nyberg Sisältö: Kryptograafiset turvallisuusmallit ja todistettava turvallisuus. Suorittaminen: Tentti ja seminaari. Kirjallisuus: W. Mao: Modern Cryptography: Theory and Practice, 1st edition, Prentice-Hall, 2003. Esitiedot: T-79.5501/T-79.503. Lisätietoja: Korvaa opintojaksot T-79.513 Seminar on cryptography and security protocols, T-79.514 Special course on cryptology ja T-79.515 Cryptology: special topics. T-79.5502 Fortsättningskurs i kryptologi (5 sp) 24+12 (4+2) IV Lärare: prof. Kaisa Nyberg Innehåll: Kryptografiska säkerhetsmodeller och provbar säkerhet. Examination: Tentamen och seminarium. Litteratur: W. Mao: Modern Cryptography: Theory and Practice, 1st edition, Prentice-Hall, 2003. Förkunskaper: T-79.5501/T-79.503. Tilläggsinformation: Ersätter studieperioder T-79.513 Seminar on cryptography and security protocols, T-79.514 Special course on cryptology och T-79.515 Cryptology: special topics. T-79.5502 Advanced course in cryptology (5 cr) spring (4th period) Teacher: Professor Kaisa Nyberg Contents: Cryptographic security models and provable security. Requirements: Exam and seminar. Literature: W. Mao: Modern Cryptography: Theory and Practice, 1st edition, Prentice-Hall, 2003. Prerequisites: T-79.5501/T-79.503. Additional information: Replaces former courses T-79.513 Seminar on cryptography and security protocols, T-79.514 Special course on cryptology, and T-79.515 Cryptology: special topics. Language: English. T-79.7001 T-79.7001 Tietojenkäsittelyteorian lisensiaattikurssi (2-10 op) 36+12 (3+1) I-II,III-IV Opettaja: prof. Ilkka Niemelä, prof. Pekka Orponen Sisältö: Perehtyminen ajankohtaisiin tietojenkäsittelyteorian tutkimusongelmiin. Lukukausittain vaihtuva aihe. 15 of 16 04/20/05 09:48
Suorittaminen: Seminaari ja kotitehtäviä. Esitiedot: Tietojenkäsittelyteorian syventävä moduuli. Lisätietoja: Korvaa opintojakson T-79.300 Tietojenkäsittelyteorian lisensiaattikurssi. Prof. Niemelä vastaa kurssista syyslukukaudella 2005 ja prof. Orponen kevätlukukaudella 2006. T-79.7001 Licenciatkurs i databehandlingsteori (2-10 sp) 36+12 (3+1) I-II,III-IV Lärare: prof. Ilkka Niemelä, prof. Pekka Orponen Innehåll: Aktuella forskningsproblem inom databehandlingteorin. Temat varierar från termin till termin. Examination: Seminarium och hemupgifter. Förkunskaper: Fördjupande modul i databehandlingsteori. Tilläggsinformation: Ersätter studieperiod T-79.300 Licenciatkurs i databehandlingsteori. Prof. Niemelä ansvarar för kursen inom hösterminen 2005 och prof. Orponen inom vårterminen 2006. T-79.7001 Postgraduate course in theoretical computer science (2-10 cr) autumn, spring Teacher: Professor Ilkka Niemelä, Professor Pekka Orponen Contents: Current research problems in theoretical computer science. The contents of the course vary from term to term. Requirements: Seminar and home assignments. Prerequisites: Level 3 module in theoretical computer science. Additional information: Replaces former course T-79.300 Postgraduate course in theoretical computer science. Prof. Niemelä is responsible for the course in Autumn 2005 and prof. Orponen is in charge in Spring 2005. T-79.7002 T-79.7002 Yksilölliset opinnot (1-10 op) 0+0 (0+0) I,II,III,IV Opettaja: T-79 professorit Sisältö: Opintojakson laajuudesta ja sisällöstä sovittava opettajan kanssa erikseen. Lisätietoja: Korvaa opintojakson T-79.295 Yksilöllinen opintojakso. T-79.7002 Individuella studier (1-10 sp) 0+0 (0+0) I,II,III,IV Lärare: T-79 professorer Innehåll: Innehållet och omfattningen av de individuella studierna överenskomms på förhand med läraren. Tilläggsinformation: Ersätter studieperiod T-79.295 Individuell studieperiod. T-79.7002 Individual studies (1-10 cr) autumn (1st period), autumn (2nd period), spring (3rd period), spring (4th period) Teacher: T-79 professors Contents: The contents and extent of the course are to be agreed with a professor before commencing the course. Additional information: Replaces former course T-79.295 Individual studies. 16 of 16 04/20/05 09:48