Annettava opetus

Ilmoittautuminen

Eräitä opintojen alkuvaiheen kursseja järjestetään lukuvuoden kumpanakin lukukautena. Toinen kursseista on tarkoitettu erityisesti pääaine- ja toinen erityisesti sivuaineopiskelijoille.

Luentokursseille, harjoitustöihin ja erilliskokeisiin ilmoittaudutaan tietoverkossa toimivalla ilmoittautumisjärjestelmällä. Sitova ilmoittautuminen harjoitusryhmiin alkaa noin viikko ennen lukukauden alkua: ks. kohta Tärkeitä päivämääriä.

Tieteellisen kirjoittamisen kurssille, Ohjelmistotuotantoprojektiin ja seminaareihin ilmoittaudutaan jo edellisen lukukauden loppupuolella, ks. kohta Tärkeitä päivämääriä.

Tarjolla oleva opetus ja kurssien ilmoittautumismenettely on syytä tarkistaa www-sivuilla ja 4. kerroksen ilmoitustaululla olevasta erillisestä opetusohjelmasta. Muutokset opinto-oppaan painamisen jälkeen ovat mahdollisia! Opetusohjelmasta löytyvät harjoitus- ja ohjausryhmien sekä väli- ja erilliskokeiden ajat ja salit, erilliskokeissa kulloinkin tentittävät kurssit ja kurssien kuulustelijat. Kurssien sisältö kirjallisuusviitteineen ja kuulusteluja koskevat määräykset ilmenevät kurssikuvauksista, katso myös kappaletta Luentokurssit ja erilliskokeet.

Luentokursseille on ilmoittauduttava viimeistään ensimmäisen luentoviikon aikana ja erilliskokeisiin viimeistään edellisen viikon maanantaina. Kurssikokeet liittyvät luentokursseihin, eikä niihin tarvitse ilmoittautua erikseen.

Myös laboratorioiden ohjausryhmiin ilmoittaudutaan ilmoittautumisjärjestelmää käyttäen. Harjoitustyönsä aikaisemmin keskeyttänyt opiskelija saa ilmoittautua ainoastaan ko. kurssin keskeyttäneiden listalle. Ohjausryhmiin voi ilmoittautua aina ryhmän alkamispäivään saakka, jolloin ilmoittautumisaika päättyy. Ilmoittautuneiden on oltava ehdottomasti läsnä ohjausryhmän ensimmäisellä kokoontumiskerralla, muuten he menettävät paikkansa ryhmässä.

Opetussalit

Opetus järjestetään tietojenkäsittelytieteen laitoksella (Teollisuuskatu 23).

Salilyhenteet:
Auditorio sijaitsee 1. kerroksessa,
A414 on 4. kerroksen luentosali,
A318, A319, A320, B450, B453 ja C454 ovat 3. ja 4. kerroksessa olevia saleja.
A217 on 2. kerroksessa.

SYYSLUKUKAUSI 2003

Pääaineopiskelijoiden muut opintojaksot

581256 Opettajatuutorointi (1 ov)
Järjestäytymistilaisuus: N.N. 15.9. ma 18-20 Auditorio
Osallistuminen on pakollista syksyllä 2002 aloittaneille pääaineopiskelijoille. Ryhmät kokoontuvat maanantaisin klo 14-16.

581355 Tietojenkäsittelytieteen esittely (1 ov)
Luennot: Laboratorioins. Tiina Niklander 15.9.-24.10. ma 12-14, pe 10-12 Auditorio
Opintojakso tarjoaa katsauksen tietojenkäsittelytieteen osa-alueisiin joita esittelevät useat eri alueiden asiantuntijaluennoijat. Esittelyt painottuvat niille alueille, joissa laitoksella on tutkimustoimintaa. Kurssiin liittyy kirjallinen harjoitus.

Cum laude approbatur

581324 Tietokone työvälineenä (pääaineopiskelijoille) (tiiviskurssi) (2 ov)
Luennot: Leht. Anni Rytkönen 1.9.-2.9. ma, ti 10-12 sekä 8.9.-9.9. ma, ti 12-14 Auditorio, lisäksi harjoituksia ja harjoitustyön ohjausta erikseen ilmoitettavina aikoina sekä verkkomateriaalin opiskelu.
Kurssilla harjoitellaan työvälineohjelmien käyttöä tulevia kursseja ja harjoitustöitä varten seuraavilta osa-alueilta: Tietojenkäsittelytieteen laitoksen atk-järjestelmät ja käyttöjärjestelmät (Unix, Linux ja Windows), Internet (WWW, sähköposti, uutisryhmät), kotisivut ja HTML sekä toimisto-ohjelmat (tekstinkäsittely, esitysgrafiikka ja taulukkolaskenta). Kurssin suoritukseen kuuluu harjoitustyö. Voidaksesi osallistua kurssin harjoituksiin tarvitset tietojenkäsittelytieteen laitoksen atk-tunnuksen. Katso ohjeet tunnuksen hakemisesta laitoksen www-sivuilta.

581390 Tietokone työvälineenä (sivuaineopiskelijoille) (2 ov)
Luennot: Aman. Juhani Haavisto 12.9.-10.10. pe 8-11 A217, lisäksi harjoituksia ja harjoitustyön ohjausta eriksen ilmoitettavina aikoina.
Luennoilla käsitellään opetettavien ohjelmistojen toimintaperiaatteita ja esitetään runsaasti demoja. Verkkomateriaalin itseopiskelulla voi korvata osan luentoja ja harjoituksia. Kurssi kannattaa suorittaa heti tkt-opintojen alussa.

581325 Ohjelmoinnin perusteet (3 ov)
(erityisesti pääaineopiskelijoille)
Luennot: Leht. Arto Wikla 11.9.-30.10. ma, to 14-16 Auditorio
Kurssilla perehdytään algoritmien laatimiseen ja ohjelmointiin. Ohjelmointikielenä on Java. Opiskelijalta ei edellytetä ennakkotietoja ohjelmoinnista.
Kurssikirja: Wikla A.: Ohjelmoinnin perusteet Java-kielellä (4. painos), OtaDATA, 2003.

581326 Java-ohjelmointi (2 ov)
(erityisesti pääaineopiskelijoille)
Luennot: Leht. Arto Wikla 3.11.-8.12. ma, to 14-16 Auditorio
Kurssilla perehdytään Java-ohjelmointikieleen. Painopiste on kielen perusvälineiden käytössä. Ohjelmoinnin perusteet -kurssin sisällön hallinta on osallistumisen edellytys. Huom: Kurssin harjoitukset alkavat jo ensimmäisellä luentoviikolla.
Kurssikirja: Wikla A.: Ohjelmoinnin perusteet Java-kielellä (4. painos), OtaDATA, 2003.

581328 Tietokantojen perusteet (2 ov)
Luennot: FM Teija Kujala 16.9.-21.10. ti 14-16 Auditorio
Kurssilla opitaan perustiedot relaatiotietokannoista: mitä ne ovat ja miten niitä käytetään suoraan ja toisaalta ohjelmointikielen kautta. Kurssiin sisältyy johdatus relaatiotietokannan suunnitteluun. Kurssilla edellytetään ohjelmointitaitoa kurssin Ohjelmoinnin perusteet laajuudessa. Kurssi on osittain verkkokurssi eikä luentoja ole säännöllisesti joka viikko.
Kurssikirja: Laine H.: Tietokantojen perusteet (opetusmoniste), HY/TKTL, 2001.

581327 Johdatus sovellussuunnitteluun (2 ov)
(erityisesti pääaineopiskelijoille)
Luennot: Ass. Antti Viljamaa 27.10.-5.12. ma 12-14, pe 10-12 Auditorio
Kurssilla käsitellään oliokeskeistä ohjelmiston kehittämistä ja siinä tarvittavia kuvaustekniikoita ja menetelmiä. Kurssin toisena aiheena on johdatus käyttöliittymiin ja niiden suunnitteluun. Kurssilla edellytetään oliokäsitteistön tuntemista ohjelmoinnin kannalta kurssin Ohjelmoinnin perusteet laajuudessa. Kurssin harjoitukset suoritetaan ryhmätöinä opintopiireissä.
Kurssikirja: Laine H.: Johdatus sovellussuunnitteluun (opetusmoniste), HY/TKTL, 2002.

581305 Tietokoneen toiminta (2 ov)
Luennot: Leht. Teemu Kerola 28.10.-4.12. ti 14-16, to 8-10 A217
Kurssilla perehdytään tietokoneohjelman suoritukseen, tietokonelaitteiston komponentteihin sekä laitteiston ja käyttöjärjestelmän luomaan ohjelman suoritusympäristöön.
Kurssikirja: Häkkinen A.: Tietokoneen toiminta (opetusmoniste D390), HY/TKTL, 1998.
Erilliskokeessa kurssikirjana: Stallings W.: Computer Organization and Architecture (6th ed.), Prentice Hall, 2003.

581330 Ohjelmoinnin ja laskennan perusmallit (2 ov)
Luennot: Tohtoriass. Matti Luukkainen 17.9.-23.10. ke 10-12, to 12-14 Auditorio
Kurssilla tutustutaan ohjelmoinnin ja laskennan formaaleihin perusmalleihin. Käsiteltäviä asioita ovat äärelliset automaatit ja formaalit kielet sekä kielioppien jäsentäminen.

581331 Käyttöjärjestelmät I (2 ov)
Luennot: Leht. Auvo Häkkinen 15.9.-22.10. ma 10-12, ke 12-14 Auditorio
Kurssin tavoitteena on tuntea sovelluksen käytössä olevat käyttöjärjestelmäpalvelut ja ymmärtää käyttöjärjestelmän toiminnan keskeisimmät periaatteet. Kurssilla tarkastellaan asioita sovelluksen näkökulmasta.
Kurssikirja: Stallings W.: Operating Systems (4th ed.), Prentice Hall, 2000.

581332 Rinnakkaisohjelmistot (2 ov)
Luennot: Leht. Auvo Häkkinen 27.10.-3.12. ma 10-12, ke 12-14 Auditorio
Kurssilla perehdytään rinnakkaisten ja hajautettujen järjestelmien ohjelmoinnin peruskäsitteisiin. Erityinen paino on rinnakkaisten algoritmien suunnittelussa ja toteutuksessa.
Kurssikirja: Andrews G. R.: Foundations of Multithreaded, Parallel, and Distributed Programming, Addison-Wesley, 2000.

58131 Tietorakenteet (4 ov)
Luennot: Prof. Matti Nykänen 16.9.-4.12. ti 10-12, to 10-12 Auditorio
Kurssilla käsitellään perustietorakenteita, kuten pinoja, jonoja, puita ja verkkoja sekä niiden käsittelyalgoritmeja. Kurssilla sovelletaan opiskelijalähtöisiä oppimismenetelmiä, kuten todellisten tietorakenne- ja algoritmiongelmien ratkomista ohjatuissa opiskelijaryhmissä.
Kurssikirja: Cormen T.H., Leiserson C.E., Rivest R.L., Stein C.: Introduction to Algorithms, Second Edition, The MIT Press, 2001. (Myös edellistä painosta voi yhä käyttää: Cormen, Leiserson, Rivest: Introduction to Algorithms, The MIT Press, 1990.)

581334 Tietokannan hallinta (2 ov)
Luennot: FT Jan Lindström 16.9.-22.10. ti 12-14, ke 14-16 Auditorio
Tietokannanhallintajärjestelmän toiminnot: tietojen tallennus- ja hakumenetelmät, saannin valvonta, kyselyjen optimointi ja transaktioiden hallinnan perusteet. Kurssien Tietokantojen perusteet ja Tietorakenteet sisältö edellytetään tunnetuksi.
Kurssikirja: Ramakrishnan R, and Gehrke J.: Database Management System, 3dr ed (McGraw-Hill), 2002.

58110 Tieteellisen kirjoittamisen kurssi (4 ov)
Luennot: Prof. Lea Kutvonen 15.9.-27.10. ma 12-14 A217
Työryhmät: 15.9.-10.12. (Ilmoittautuminen keväällä 2003)
Kurssilla opitaan tieteellisen esityksen (tutkielman, raportin, julkaisun) laatimiseen tarvittavia taitoja: lähdemateriaalin hakua ja käyttöä, esityksen jäsentämistä sekä kirjallista ja suullista esitystaitoa.

581259 Ohjelmistotuotanto (3 ov)
Luennot: Yliopistonleht. Juha Taina 11.9.-4.11. ti 8-10, to 10-12 A217
Ohjelmistotuotanto-kurssilla tarkastellaan alan yleistä käsitteellistä, teoreettista ja käytännöllistä aineistoa.
Kurssikirja: Roger S. Pressman: Software Engineering - A Practitioner's Approach.

581260 Ohjelmistotuotantoprojekti (6 ov)
Vastuuhenkilöt: Yliopistonleht. Juha Taina ja tuntiop. Turjo Tuohiniemi
Kokoontumiset viikoilla 35-49. Ilmoittautuminen keväällä 2003.

58160 Ohjelmoinnin harjoitustyö (2 ov)
Vastuuhenkilö: Leht. Arto Wikla
Harjoitustyön voi suorittaa joko lukukauden alku- tai loppuperiodilla
Luennot: 15.-16.9 ma 14-16, ti 16-18 A414
Harjoitustyöryhmät: 15.9-24.10
tai
Luennot: 27.-28.10 ma 14-16 A414, ti 14-16 A414
Harjoitustyöryhmät: 27.10-5.12

581329 Tietokantasovellusten harjoitustyö (2 ov)
Vastuuhenkilö: Yliopistonleht. Pirjo Moen
Harjoitustyön voi suorittaa joko lukukauden alku- tai loppuperiodilla
Luennot: 11.9. to 14-16 A414 aloitusluento, 22.9. ma 14-16 A414 tekniikkaluento
Harjoitustyöryhmät: 15.9.-24.10.
tai
Luennot: 30.10. to 14-16 A414 aloitusluento, 10.11. ma 14-16 A414 tekniikkaluento
Harjoitustyöryhmät: 3.11.-12.12.

58161 Tietorakenteiden harjoitustyö (2 ov)
Vastuuhenkilö: Prof. Otto Nurmi
Harjoitustyöryhmät: 11.9.-12.12.

Cum laude approbatur / valinnaiset opintojaksot

582313 Bioinformatiikan perusteet (3 ov)
Luennot: Yliopistonleht. Tomi Pasanen 14.10.-4.12. ti, to 14-16 B450
Kurssilla tarkastellaan molekyylibiologiaan liittyviä laskennallisia ongelmia tutustuen samalla bioinformatiikan maailmanlaajuiseen infrastruktuuriin.

58066 Tekoäly (4 ov)
Luennot: Yliopistonleht. Raul Hakli
Kurssi antaa perustiedot tekoälyn (Artificial Intelligence, AI) keskeisistä ongelmista ja ratkaisumenetelmistä erityisesti perinteisen tekoälyn ("Good Old-Fashioned AI" eli GOFAI) näkökulmasta, jossa korostetaan symbolista tiedon esitystä ja käsittelyä erotuksena neuraaliverkkoihin ja muuhun numeeriseen laskentaan perustuvista alisymbolisista tekniikoista. Käsiteltäviä aihepiirejä ovat esimerkiksi etsintäalgoritmit peleissä ja muussa ongelmanratkaisussa, loogispohjainen tiedon esittäminen ja päättely sekä suunnitelmien laatiminen. Esitietoina edellytetään kurssi Tietorakenteet. Hyötyä on myös kurssin Symbolinen ohjelmointi tai sen edeltäjän Tekoälykielet sekä logiikan tiedoista.
Kurssikirja: Stuart J. Russell ja Peter Norvig: Artificial Intelligence: A Modern Approach (2nd Edition). Prentice Hall, 2002.

58127 Programming in C (C-ohjelmointi) (2 cu)
Lectures: N. N.
Programming work:
We learn how to program in ANSI C. Prerequisites: Introduction to Programming, Programming in Java, Programming Project or corresponding programming skills. Students are also recommended to have completed (or to take at the same time) the course Data Structures. The course can be completed without these prerequisites but will in that case require a lot of additional work.
Course literature: Müldner T.: C for Java Programmers, Addison Wesley, 2000.

581251 Ohjelmointitekniikka (C++) (3 ov)
Luennot: Leht. Juha Vihavainen 12.9.-29.10. ke 16-18, pe 12-14 Auditorio
Harjoitustöiden avulla perehdytään abstraktien tietotyyppien toteutukseen, olio-ohjelmointiin sekä C++-ohjelmointitekniikkaan. Esitietoina suositellaan Tietorakenteet ja C-ohjelmointi. Kurssi edellyttää hyvää ohjelmointitaitoa sekä valmiutta itsenäiseen työskentelyyn perehdyttäessä kurssiin liittyvään aineistoon.
Kurssikirja: T. Müldner: C++ Programming, Addison-Wesley, 2002.

582304 XML-metakieli (2 ov)
Luennot: FM Mika Raento 15.9.-3.11. ma 16-18 Auditorio
XML:n perusteet. DTD ja dokumentin rakenteen mallintaminen. Nimiavaruudet. XML:n prosessointi DOMin ja SAXin avulla. HTML:n generointi XSLT:llä. XSL FO ja dokumenttien muotoilu XSLT:n avulla. Lähistandardit. Kaikkien osa-alueiden perusteet opiskellaan omatoimisesti pääteohjausten avulla. Luennoilla syvennetään opittuja tietoja ja analysoidaan opittua. Ohjauksien tuloksista muodostuu arvioitava harjoitustyö ja ohjaukset ovat pakolliset. Esitiedot: Digitaalisen median tekniikat (tai HTML+CSS), Ohjelmoinnin harjoitustyö (tai hyvä ohjelmointitaito), Tietorakententeet.
Kurssikirja: Neil Bradley: The XML Companion, 3rd ed. Addison-Wesley, 2002.

582310 Aineenopettajan tietotekniikka (3 ov)
Luennot: Leht. Anni Rytkönen, Yliopistonleht. Jaakko Kurhila 6.10.-24.11. ma 14-18 A217
Kurssi on tarkoitettu tuleville tietotekniikan aineenopettajille. Suositeltavaa on, että opetusharjoittelu on tehty tai meneillään ja tietojenkäsittelyn aineopinnot cumun loppuvaiheessa. Kurssilla käsitellään tietotekniikan opettajan työhön liittyviä asioita, kuten yläasteella ja lukiossa pidettävien kurssien sisältöjä sekä koneiden ja verkon ylläpitoa. Kurssi suoritetaan lähitapaamisiin osallistumalla ja projektityöllä. Kurssia ei voi suorittaa erilliskokeella. Osallistujamäärää saatetaan joutua rajoittamaan.

Laudatur

581336 Laskennan teoria (3 ov)
Luennot: Prof. Jyrki Kivinen 14.10.-3.12. ti 12-14, ke 10-12 A217
Kurssi laajentaa ja syventää Ohjelmoinnin ja laskennan perusmallit -kurssin antamaa tietojenkäsittelytieteen teoreettisten perusteiden tuntemusta. Erityisesti tarkastellaan Turingin koneita, laskennallisten ongelmien ratkeavuutta sekä laskennan vaativuusteoriaa.
Kurssikirja: Hopcroft J. E., Motwani R., Ullman J. D., Introduction to Automata Theory, Languages, and Computation (2nd ed.), Addison-Wesley, 2001.

58074 Tietokonegrafiikka (4 ov)
Luennot: Prof. Otto Nurmi 17.9.-28.11. ke 14-16, pe 12-14 A217
Yleiskuva kuvien tuottamisesta tietokoneella: 2- ja 3-ulotteiset esitysmuodot ja muunnokset, rasterointi, ikkunointi ja rajaus, piilopinnat, värimallit, valaistus, pintakuviointi, varjot, mallinnusmenetelmät, animointi, tosiaikaisuus.
Kurssikirja: Slater M, Steed A, Chrysanthou Y: Computer graphics and virtual environments: from realism to real-time. Addison-Wesley, 2002.

58093 Merkkijonomenetelmät (4 ov)
Luennot: Tohtoriass. Veli Mäkinen 16.9.-27.11. ti, to 10-12 A414
Merkkijonohahmon tarkkojen ja likimääräisten esiintymien etsiminen. Tekstin indeksointi. Tiedon tiivistys.

582439 Graphical Models (3 cu)
Lectures: Professor Petri Myllymäki, Wray Buntine 31.10.-5.12. Fri 10-13 A320
During the last decade probabilistic graphical models have become an important modeling formalism in statistics, adaptive and learning systems in computer science and in informatin theory. This course provides an introduction to probabilistic modeling with graphical models with an emphasis on applications in machine learning, uncertain reasoning and information retrieval.

582443 Game Theoretic Concepts in Computer Science (3 cu)
Lectures: Ph. D. Floris Geerts 16.9.-6.11. Tue 12-14, Thu 12-14 A414
This course covers techniques in the interface between algorithms and game theory. Topics will include Nash equilibrium, refinements of equilibrium concepts, mechanism design, worst-case equilibria and "the price of anarchy", combinatorial auctions, evolutionary game theory and repeated games and economic aspects of the structure of the Internet graph, privacy and clustering. Project work will be part of the course.

581359 Ohjelmistoprosessit ja ohjelmistojen laatu (3 ov)
Luennot: Prof. Inkeri Verkamo 30.9.-20.11. ti 8-10, to 8-10 A414
Kurssilla käsitellään keskeisiä ohjelmistoprosessimalleja sekä ohjelmistoprosessin laadun komponentteja ja mittaamista.
Kurssikirjat: Fenton N. E., Pfleeger S. L.: Software Metrics: A Rigorous and Practical Approach (2nd ed.), International Thomson Computer Press, 1997 ja Verkamo I.: Ohjelmistotuotannon prosessimalleja (opetusmoniste), HY/TKTL, 2000.

582417 Hajautetut järjestelmät (3 ov)
Luennot: Prof. Timo Alanko 7.10.-4.12. ti, to 16-18 A217
Hajautuksen problematiikka ja käsitteenmuodostus, keskeiset ratkaisuperiaatteet hajautetun päätöksenteon toteutuksissa, esimerkit käyttöjärjestelmätoiminnoista.
Kurssikirja: Tanenbaum A.S., van Steen M.: Distributed Systems, Principles and Paradigms, Prentice-Hall 2003.

581365 Tietokoneen rakenne (2 ov)
Luennot: Leht. Teemu Kerola 16.9.-23.10. ti 14-16, to 8-10 A217
Kurssilla perehdytään tietokonelaitteiston alemman tason peruspiirteisiin, kuten esim. konekielen rakenteeseen, liukuhihnan toimintaan sekä prosessorin ja muistihierarkian toteutukseen. Osallistujilta edellytetään kurssin Tietokoneen toiminta suoritus tai vastaavat tiedot.
Kurssikirja: Stallings W.: Computer Organization and Architecture (6th ed.), Prentice Hall, 2003.

581363 Tietoliikenne II (2 ov)
Luennot: Leht. Liisa Marttinen 16.9.-23.10. ti 10-12, to 14-16 A217 (ti 7.10. ja ti 14.10. B450)
Kurssin tavoitteena on tutustua joihinkin tietoliikennejärjestelmiin, ymmärtää linkki-, verkko- ja kuljetustason protokollien toimintatavat ja niiden käyttämät ongelmien ratkaisuperiaatteet. Esimerkkeinä käsitellään erityisesti IPv4-, IPv6- ja TCP-protokollia.
Kurssikirja: Kurose J. F., Ross K. W.: Computer Networking A Top-Down Approach Featuring the Internet, Addison-Wesley, 2001.

581366 An Introduction to Specification and Verification (2 cu)
Lectures: Tohtoriass. Matti Luukkainen 24.9.-26.11. Wed 14-16 C454
Introduction to formal methods for specifying and verifying concurrent systems. The course takes the form of a seminar and students are expected to participate actively.
Course reading: Doron Peled: Software reliability methods, Springer, 2001.

582438 Middleware Standards for Mobile Computing (2 cu)
Lectures: Professor Kimmo Raatikainen 19.9.-28.11. Fri 9-11 B450

582445 Distributed Transaction Management (Hajautettujen transaktioiden hallinta) (3 cu)
Lectures: Professor (University of Tampere) Jyrki Nummenmaa, Ph.D. Jan Lindström 7.10.-25.11. (not 21.10.) Tue 10-12 A217
The course deals with problems in distributed transaction management. The topics include basic transaction management, commit protocols, lock management, Internet transaction management and methods for managing long transactions such as design transactions.
The course is arranged in a national video-based virtual university project (OSCu).

581353 Tietokannan mallinnus (2 ov)
Luennot: Yliass. Satu Eloranta 11.9.-13.11. to 12-14 C454
Tietokannan suunnittelun teoriaa: funktionaaliset ja sisältyvyysriippuvuudet, tietokantakaavion normaalistaminen. Tietokannan käsittelyn mallinnusta: relaatiokalkyyli, oliokalkyyli.

582444 Special Course on Data Mining (Tiedon louhinnan erikoiskurssi) (3 ov)
Lectures: Ph. D. Bart Goethals 29.10.-4.12. Wed 12-14, Thu 12-14 A217
The course focuses on the discovery of frequent patterns. Association rules. Apriori algorithm. Episodes. Levelwise search. Complexity of finding frequent patterns. Closed sets and generators. The course will include a project work.

581274 Paikkatietojärjestelmät (2 ov)
Luennot: Prof. Seppo Sippu 16.9.-23.10. ti, to 14-16 A414
Paikkatiedon (spatial data) mallinnus. Sijaintisuhteet. Tasoverkkoihin perustuvat paikkatietomallit. Sijaintikyselyt. Paikkatietokannan hakemistorakenteet. Liikkuvien kohteiden tietokannat.

582440 Sanojen merkitykset (2 ov)
Luennot: Yliopistonleht. Jussi Piitulainen 3.11.-10.12. ma, ke 10-12 A414
Sanojen merkitysten ja merkityssuhteiden esittäminen toisaalta Wordnetin ja sanakirjojen tapaisissa tietovarastoissa, toisaalta aineistopohjaisesti. Sopivien merkitysten valinta tekstiyhteydessä.

582446 Context-Aware Computing (3 cu)
Lectures: Research Coordinator Patrik Floréen, Research Coordinator Greger Lindén, Professor Henry Tirri, Professor Hannu Toivonen 15.9.-24.9. Mon 16-18 A414, Wed 16-18 A414, 27.10. Mon 16-18 A414, 20.11.-21.11. Thu 9-16 A320, Fri 9-16 A414. Maximum number of students is 30.
The course gives a concise introduction to context-aware computing. A context-aware application may automatically adapt to discovered context by changing its behaviour. Such adaptation may be triggered by the computing environment, the user's location and profile, lightning and temperature, time of the day, etc. Useful applications are found in mobile computing and information retrieval, for example. The course consists of introductory lectures, group work and student presentations. The teaching language is English.

581339 Kolme käsitettä: päätöksenteko (3 ov) ja
581286 Kolme käsitettä: informaatio (4 ov)

Kurssien suorittamisesta kiinnostuneet voivat ottaa yhteyttä Älykkäiden järjestelmien erikoistumislinjan vastuuhenkilöön prof. Petri Myllymäkeen.

Seminaarit

Ilmoittautuminen syksyn seminaareihin keväällä 2003. Mikäli seminaareihin jää vapaita paikkoja, voi ilmoittautua myöhemmin ottamalla suoraan yhteyttä seminaarin pitäjään.

58303301 Algorithms for Ad Hoc Networking (2 cu)
Research Coordinator Patrik Floréen 15.9.-8.12. Mon 10-12

58303302 Automatisoitu musiikin analyysi ja haku: mallinnus ja algoritmeja (2 ov)
Tohtoriass. Kjell Lemström, tiivis

58303303 Kognitiivinen tekoäly (2 ov)
Pauli Salo

58303304 Ohjelmistotuotanto ja tietokonepelit (2 ov)
Leht. Juha Vihavainen 18.9.-10.12. to 14-16

58303305 Käyttöliittymän suunnitteluprosessi: tavoitteista käyttöliittymäratkaisuun (2 ov)
Yliopistonleht. Sari A. Laakso ja DI Antti Latva-Koivisto 12.9. ja 6.10.-7.11. ti, pe 10-12 A216

58303306 Ohjelmistojen vaatimusmäärittely (2 ov)
Prof. Jukka Paakki 16.9.-9.12. ti 14-16

58303307 Transport of Multimedia Streams in the Wireless Internet (2 cu)
Yliopistonleht. Jukka Manner 17.9.-10.12. Wed 16-18

58303308 Selected Topics in Information Security (2 cu)
Pradip Lamsal Fri 12.9. 10-12, Fri 31.10. 10-12, Fri 12.12. 8-16

58303309 Reflektiiviset väliohjelmistot (2 ov)
Prof. Lea Kutvonen 15.9.-8.12. ma 14-16

58303310 Tiedonhakumenetelmien klassikoita (2 ov)
Prof. Helena Ahonen-Myka 16.9.-2.12. ti 10-12

58303311 Tiedon louhinta biomolekyyliaineistoista (2 ov)
Prof. Hannu Toivonen ma 15.9. 10-12 (sali A320 tai vast.), ma 22.10. 9-12 (sali A320 tai vast.) ma 1.12. 9-17 (paikka ilmoitetaan myöhemmin) ja ti 2.12. 9-17 (paikka ilmoitetaan myöhemmin)

58303312 Sähköinen hallinto (2 ov)
Dos. Juha Puustjärvi

58303313 Verkko-oppimisyhteisöt (2 ov)
Yliopistonleht. Jaakko Kurhila 15.9.-8.12. ma 16-18

KEVÄTLUKUKAUSI 2004

Kurssien puuttuvat sisältökuvaukset: ks. syyslukukausi.

Cum laude approbatur

581324 Tietokone työvälineenä (2 ov)
Luennot: N. N. 23.1.-20.2. pe 8-11 A217

581384 Introduction to the Use of Computers (2 cu)
Lectures: Teacher Krishnan Narayanan 20.1.-23.3. Tue 12-14 A215
This basic course gives a practical introdution to the use of computers. It covers such areas as the basics of Unix and Windows, WWW and HTML, e-mail, news groups, text and image processing and spreadsheet computation. The course gives essential background for further computer science courses.

581325 Ohjelmoinnin perusteet (3 ov)
Luennot: Yliopistonleht. Tomi Pasanen 20.1.-11.3. ti, to 14-16 Auditorio

581326 Java-ohjelmointi (2 ov)
Luennot: Yliopistonleht. Tomi Pasanen 16.3.-29.4. ti, to 14-16 Auditorio

581328 Tietokantojen perusteet (2 ov)
(erityisesti pääaineopiskelijoille)
Luennot: Leht. Harri Laine 19.1.-23.2. ma 12-14 Auditorio
Kurssi on osittain verkkokurssi eikä luentoja ole säännöllisesti joka viikko.

581328 Introduction to Databases (2 cu)
Teacher: Lecturer Harri Laine 21.1.-25.2. Wed 10-12 Auditorium
The course will explain the basic concepts of databases, what databases are, and how they are used. It concentrates on relational databases. Main emphasis is on the SQL database language. A short introduction to the design of relational databases is included. The course is mainly based on e-learning material. There are only a couple of lectures, the times of which will be determined later on.

581327 Johdatus sovellussuunnitteluun (2 ov)
Luennot: Ass. Jukka Viljamaa 15.3.-29.4. ma 16-18, to 16-18 Auditorio

581305 Tietokoneen toiminta (2 ov)
Luennot: Laboratorioins. Tiina Niklander 15.3.-28.4. ma 12-14, ke 10-12 Auditorio

581332 Rinnakkaisohjelmistot (2 ov)
Luennot: Leht. Liisa Marttinen 16.3.-29.4. ti, to 12-14 Auditorio

581330 Ohjelmoinnin ja laskennan perusmallit (2 ov)
Luennot: Ass. Tuomo Malinen 21.1.-26.2. ke 12-14, to 12-14 Auditorio

58131 Tietorakenteet (4 ov)
Luennot: Tohtoriass. Matti Luukkainen 19.1.-7.4. ma, ke 14-16 Auditorio

581333 Tietoliikenne I (2 ov)
Luennot: Leht. Liisa Marttinen 19.1.-26.2. ma 10-12, to 10-12 Auditorio
Kurssi perehdyttää tietoliikenneverkkojen peruskäsitteistöön ja peruspalveluihin. Tutustutaan tietoliikenteen perusongelmiin ja niiden ratkaisuperiaatteisiin.
Kurssikirja: Kurose J. F., Ross K. W.: Computer Networking, A Top-Down Approach Featuring the Internet, Addison-Wesley, 2001.

581334 Tietokannan hallinta (2 ov)
Luennot: FT Jan Lindström 15.3.-29.4. ma 10-12, to 10-12 Auditorio

58110 Tieteellisen kirjoittamisen kurssi (4 ov)
Luennot: Prof. Lea Kutvonen 19.1.-1.3. ma 12-14 A217
Työryhmät: 19.1.-7.5. (Ilmoittautuminen 1.-30.11.2003)

58172 Ohjelmistotuotanto (3 ov)
Luennot: Prof. Inkeri Verkamo 19.1.-10.3. ma 16-18, ke 16-18 A217

581260 Ohjelmistotuotantoprojekti (6 ov)
Vastuuhenkilöt: N.N. ja tuntiop. Turjo Tuohiniemi
Kokoontumiset viikoilla 3-19. Ilmoittautuminen 3.-28.11.2003.

58160 Ohjelmoinnin harjoitustyö (2 ov)
Vastuuhenkilö: Leht. Arto Wikla
Harjoitustyön voi suorittaa joko lukukauden alku- tai loppuperiodilla
Luennot: 19.-20.1. ma, ti 16-18 A414
Harjoitustyöryhmät: 19.1-27.2
tai
Luennot: 15.-16.3. ma, ti 16-18 A414
Harjoitustyöryhmät: 15.3.-30.4.

581329 Tietokantasovellusten harjoitustyö (2 ov)
Vastuuhenkilö: Yliopistonleht. Pirjo Moen
Harjoitustyön voi suorittaa joko lukukauden alku- tai loppuperiodilla
Luennot: 19.1. ma 14-16 A217 aloitusluento, 28.1. ke 14-16 A217 tekniikkaluento
Harjoitustyöryhmät: 19.1.-27.2.
tai
Luennot: 15.3. ma 14-16 A217 aloitusluento, 24.3. ke 14-16 A217 tekniikkaluento
Harjoitustyöryhmät: 15.3.-30.4.

58161 Tietorakenteiden harjoitustyö (2 ov)
Vastuuhenkilö: Prof. Otto Nurmi
Harjoitustyöryhmät: 19.1.-7.5.

Cum laude approbatur / valinnaiset opintojaksot

581387 Tietotekniikka: nyt! (2 ov)
Vastuuhenkilö: Prof. Jukka Paakki 21.1.-5.5. ke 16-18 Auditorio
Kyseessä on Studia Generalia -tyyppinen luentosarja, jossa tietotekniikka-alan yritysten ja muiden yhteiskunnallisten organisaatioiden asiantuntijat ruotivat alan nykytilaa ja kehitysnäkymiä. Luentosarjan hyväksyttyyn suorittamiseen vaaditaan aktiivisen läsnäolon lisäksi esitelmiin perustuvien esseiden kirjoittaminen.

581391 Käyttöliittymät (4 ov)
Luennot: Yliopistonleht. Sari A. Laakso 23.1.-27.2. ti, pe 10-12 Auditorio
Konkreettinen peruskurssi graafisten käyttöliittymien ja web-käyttöliittymien suunnittelusta käyttäjien tavoitteiden pohjalta (goal-derived design). Käyttöliittymäsuunnittelun lisäksi kurssilla harjoitellaan prototyyppien laatimista, demotekniikkaa ja käytettävyystestausta sekä tutustutaan joihinkin kognitiivisen psykologian peruskäsitteisiin käyttöliittymäsuunnittelun näkökulmasta.

582302 Digitaalisen median tekniikat (2 ov)
Luennot: Leht. Harri Laine 17.3.-30.4. ke 12-14, pe 10-12 Auditorio
Kurssilla käsitellään websivustojen toteuttamisen perustekniikoita, erityisesti dynaamisuuden ja interaktiivisuuden hallintaa sekä ulkoasun määrittelemistä tyylipohjien avulla. Kurssilla toteutetaan harjoitustyönä näytekansio webtekniikoilla. Tutkintoon ei voi sisällyttää sekä kurssia Digitaalisen median tekniikat että kurssia Uusmediasovellusten tekniikat.

582309 Ohjelmointitekniikka (Java) (3 ov)
Luennot: Leht. Arto Wikla 20.1.-12.3. ti 12-14, pe 12-14 Auditorio
Kurssilla opitaan Java-kielen edistyneitä piirteitä: säikeitä, kokoelmia, käyttöliittymiä ja ohjelmistokomponentteja, Javan luokkakirjastojen ominaisuuksia ja  käyttöä. Esitiedot: Java-ohjelmointi, Tietorakenteet, Rinnakkaisohjelmistot. Kurssilla kokeillaan nykyaikaisia oppimismenetelmiä. Ryhmätyöskentelyn osuus on suuri. Kurssiin liittyy pienempiä ja suurempia pakollisia harjoitustöitä. Luentoja ei ole niin paljon kuin yllä luetellaan, mutta noina aikoina luennot pidetään. Ryhmäopetusta on 20.1.-12.3. enemmän kuin tavalliset kaksi tuntia viikossa. Osallistujamäärää voidaan joutua rajoittamaan.
Kurssikirja: C.S.Horstmann, G.Cornell, Core Java 2, Volume II - Advanced Features. Prentice-Hall, 2003.

581264 Tutkimustiedonhallinnan peruskurssi (3 ov)
Luennot: Prof. Hannu Toivonen 16.3.-29.4. ti, to 10-12 A217
Tutkimusaineistojen vaatimukset tiedonhallinnalle. Metadata.   Eksploratiivinen data-analyysi. Hypoteesin testaus satunnaistamalla.   Estimointi bootstrap-menetelmällä. Satunnaislukujen generointi. Otosten ottaminen.  Esitiedot: Perustiedot ja -taidot ohjelmoinnissa (esim. ohjelmoinnin perusteet ja java-ohjelmointi) sekä tiedonhallinnassa (johdatus sovellussuunnitteluun, tietokantojen perusteet).  Kurssiin kuuluu pakollinen harjoitustyö, joka on suotavaa tehdä omasta aineistosta.

582303 Verkkosovellusten toteuttaminen (4 ov)
Luennot: Leht. Markku Kojo 20.1.-25.3. ti 12-14, to 12-14 A414
Harjoitustyö: 23.2.-7.5.
Kurssilla annetaan käytännöllisiä valmiuksia tietoliikenneyhteyksiä käyttävien sovellusten suunnitteluun ja toteuttamiseen sekä sovelluskehitystyöhön Unix-ympäristössä. Osallistujilta edellytetään kurssin C-ohjelmointi, Rinnakkaisohjelmistot, Käyttöjärjestelmät I, Tietoliikenne I ja Tietoliikenne II sekä Tietorakenteiden harjoitustyön suoritus tai vastaavat tiedot. Kurssiin kuuluu harjoitustyö. Kurssin osallistujamäärä on rajoitettu. Huom! Ennakkoilmoittautuminen jo marraskuussa 2003.
Kurssikirja: Stevens W. R.: UNIX Network Programming, Volume 1 (2nd ed.), Prentice-Hall, 1998.

Laudatur

58053 Algoritmien suunnittelu ja analyysi (5 ov)
Luennot: Prof. Jyrki Kivinen 21.1.-7.5. ke 14-16, pe 10-12 A414
Algoritmien yleisiä suunnittelu- ja analyysiperiaatteita. Kokoelma keskeisiä ongelmia ja edustavia ratkaisualgoritmeja.

582441 Kombinatorinen optimointi (5 ov)
Luennot: Prof. Otto Nurmi 20.1.-30.4. ti 14-16, pe 12-14 B450
Tehokkaita algoritmeja optimiratkaisun etsimiseen äärellisestä joukosta: Lineaarinen ohjelmointi ja kokonaislukuohjelmointi, polku-, virtaus-, paritus-, peitto-, kuljetus- ja työnjako-ongelmat, matroidit ja ahne menetelmä, likimääräisalgoritmit. Perustiedot lineaarialgebrasta ja algoritmianalyysistä ovat kurssilla hyödyllisiä.

582447 Topics in Computational Biology (2 cu)
Lectures: Professor Esko Ukkonen 21.1.-26.2. Wed 10-12, Thu 10-12 A217
The course covers algorithmic methods for some data analysis problems of current  interest in computational biology.

582418 Proof Theory and Proof Search (3 cu)
Lectures: Ph. D. Sara Negri 20.1.-20.4. (not 2.3.) Tue 10-12 Päärakennus sali XI
The course gives a concise introduction to the central methods and results of structural proof theory. Special emphasis is given to the design of logical calculi supporting proof-search. The course includes exercise and demo sessions with the use of an interactive proof-editor for sequent calculus. Expected background is an introductory course in logic.
Course literature: "Structural Proof Theory", Sara Negri and Jan von Plato, Cambridge U.P. 2001.

581287 Kolme käsitettä: todennäköisyys (3 ov)
Luennot: Prof. Petri Myllymäki

58037 Tietokoneavusteiset oppimisympäristöt (4 ov)
Luennot: Yliopistonleht. Jaakko Kurhila 22.1.-8.4. to 10-12 A414
Kurssi toteutetaan verkkokurssina. Ensimmäinen tapaaminen on 23.1. klo 10-14, jatkossa joka toinen viikko on ohjaustapaaminen (to klo 10-12). Osallistujamäärää saatetaan joutua rajoittamaan.
Verkko-opiskelun suunnittelu, toteutus ja evaluointi. Verkkopedagogiikka, ryhmätyöohjelmistot ja verkko-opiskelualustat. Etäläsnäolo ja adaptiivisuuden toteutuminen verkko-oppimisympäristöissä. Esimerkkejä käytössä ja kehitteillä olevista verkko-oppimisympäristöistä.

581358 Ohjelmistoarkkitehtuurit (3 ov)
Luennot: Yliopistonleht. Juha Taina 12.3.-12.5. ke 16-18, pe 8-10 A217
Ohjelmistoarkkitehtuurilla tarkoitetaan moduulijakoa korkeamman tason abstraktiota ohjelmiston osista ja näiden välisestä kommunikaatiosta. Kurssin aihepiiriin kuuluvat arkkitehtuurimallit, arkkitehtuurin kuvaaminen, analysointi ja suunnittelu. Osanottajien edellytetään suorittaneen Ohjelmistotuotannon kurssin.

581362 Ohjelmointikielten periaatteet (4 ov)
Luennot: Leht. Juha Vihavainen 20.1.-11.3. ti, to 14-16 A217
Ohjelmointikielten käsitteet ja rakenteet, kielten kehitys ja toteutus, ohjelmointiparadigmat.
Kurssikirja: M. Scott: Programming Language Pragmatics, Morgan Kaufmann, 2000.

582429 Laudatur-projektityö (4 ov)
Aloituspalaveri: Prof. Inkeri Verkamo 20.1. ti 16-18 A319
Laudaturin projektityössä harjoitellaan käytännössä systemaattista mitattua ja seurattua prosessia käyttävää projektityöskentelyä määrittelemällä, suunnittelemalla ja toteuttamalla ohjelmisto ryhmäohjelmistoprosessin periaatteita noudattaen. Esitietovaatimus: Ohjelmistoprosessit ja ohjelmistojen laatu

582405 Käyttöjärjestelmät II (2 ov)
Luennot: Leht. Teemu Kerola 15.3.-28.4. ma 10-12, ke 12-14 A217
Kurssin tavoitteena on ymmärtää käyttöjärjestelmän perusrakenne ja sen toteutusperiaatteet. Kurssilla tarkastellaan asioita käyttöjärjestelmän toteuttajan näkökulmasta. Osallistujilta edellytetään kurssien Käyttöjärjestelmät I ja Rinnakkaisohjelmistot suoritus.
Kurssikirja: Stallings W.: Operating Systems, 4th ed. Prentice Hall, 2001.

581366 Spesifioinnin ja verifioinnin perusteet (2 ov)
Luennot: Yliopistonleht. Timo Karvi 19.1.-25.2. ma 14-16, ke 12-14 A414
Tavoitteena on oppia mallintamaan prosesseja siirtymäsysteemeihin perustuvilla formalismeilla yksinkertaisissa tapauksissa, ymmärtää ilman logiikkaa tapahtuvan automaattisen verifioinnin periaatteet ja osata itse verifioida yksinkertaisia protokollia joidenkin ohjelmistojen avulla.

581288 Tietoturva (3 ov)
Luennot: Yliopistonleht. Timo Karvi 10.3.-7.5. ke 10-12, pe 12-14 A217
Kurssilla tutustutaan kryptografian perusteisiin, tietoturvaprotokolliin ja -standardeihin sekä perehdytään alan keskeisiin käsitteisiin, malleihin ja teoreettisiin tuloksiin.
Kurssikirja: Bishop, Computer Security, Addison Wesley 2003.

582420 Väliohjelmistot (3 ov)
Luennot: Prof. Lea Kutvonen 16.3.-30.4. ti, pe 10-12 B450
Väliohjelmistot sijoittuvat käyttöjärjestelmä- ja tietoliikennepalveluiden päälle, avustamaan sovelluksia palveluiden paikantamisessa, aktivoinnissa ja kommunikoinnissa. Modernit väliohjelmistot suuntautuvat komponenttiperustaisten ohjelmistojen tukemiseen. Kurssilla tutustutaan joihinkin väliohjelmiston tavoitteisiin, ongelmiin ja ratkaisuihin esim. CORBA- ja/tai Java-teknologiaan pohjautuvissa väliohjelmistoissa. Kurssi muodostuu luennoista ja harjoituksista, joista osa on ryhmälle esitettäviä esseitä.

582425 Tosiaikajärjestelmät (3 ov)
Luennot: Laboratorioins. Tiina Niklander 20.1.-12.3. ti, pe 12-14 B453
Kurssilla käsitellään tosiaikajärjestelmien toiminnan kannalta keskeisiä perusominaisuuksia, kuten tapahtumien ajoitus ja kommunikointi. Lisäksi tutustutaan tosiaikaisiin käyttöjärjestelmiin ja tietokantoihin.
Kurssikirja: Jane W. S. Liu: Real-time systems. Prentice Hall, 2000.

581372 Suorituskykyanalyysi (2 ov)
Luennot: Prof. Timo Alanko 22.1.-8.4. to 12-14 A217
Kurssilla perehdytään tietokone- ja tietokonejärjestelmien suorituskykyanalyysin perusmenetelmiin. Käsiteltävät asiat liittyvät järjestelmien työkuormien mitaamiseen, kapasiteetin suunnitteluun sekä järjestelmän suorituskyvyn arvioimiseen. Kurssilla esitetään myös analysoinnin perusmenetelmät: mallitus, operaatioanalyysi, jonoverkkomallien muodostus ja niiden ratkaisutavat.
Kurssi on osa valtakunnallista videopohjaista virtuaaliyliopistohanketta (OSCu).

582442 Web Services Architecture (4 cu)
Lectures: Project Manager Suresh Chande 19.1.-18.3. Mon 16-18, Thu 16-18 B450
This course introduces the different Web Architectures and gives  an in-depth understanding  of the various current and upcoming Web Service technologies in the Web Services arena. Strengths and pitfalls of the technologies will be covered too.

582407 Software Agent Technology (3 cu)
Lectures: Professor (University of Tampere) Roope Raisamo, FL Heimo Laamanen, 1st & 2nd periods
The course is arranged in a national video-based virtual university project (OSCu).

582416 Ohjelmistoliiketoimintaprojekti (2 ov)
Luennot ja harjoitukset: Prof. Eero Hyvönen 22.1.-6.5. to 16-20 A217
Kurssilla perehdytään ohjelmistojen tuotteistamiseen, kaupallistamiseen ja liiketoimintaan. Opetus alkaa luennoilla ja teollisuuden edustajien kutsuesitelmillä, joilla käsitellään ohjelmistoteknologian siirtoprosessia, rahoitusta, markkinointia, myyntiä, jakelua sekä liiketoiminta- ja ansaintamalleja. Opiskelijat laativat sitten ryhmätöinä tietotekniikka-alan liiketoimintasuunnitelmia ja esittelevät niitä toisille ryhmille, jotka analysoivat suunnitelmien toteuttamiskelpoisuutta rahoittajan tai hankkeen vastuuhenkilön roolissa. Kurssi vastaa sisällöltään aiempaa kurssia Ohjelmistojen tuotteistaminen ja liiketoiminta (3 ov), johon sisältynyt tietotekniikkaoikeuden osuus on eriytetty omaksi kurssiksi Johdatus tietotekniikkaoikeuteen (1 ov). Ohjelmistoliiketoiminnan sivuainetta suorittavan opiskelijan kannattaa ajoittaa kurssin suorittaminen opintojen loppuvaiheeseen. Muille suositellaan kurssin Johdatus tietotekniikkaoikeuteen suorittamista esitietona.
Kurssikirja: McKinsey & Company, Ideasta kasvuyritykseksi, WSOY, 2000.

581354 Tietokantarakenteet ja -algoritmit (4 ov)
Luennot: Prof. Seppo Sippu 20.1.-15.4. ti, to 14-16 A414
Tietokanta ja transaktiot. Häiriöistä elvytys. Samanaikaisuuden hallinta. Fyysisten tietokantarakenteiden elvytys ja samanaikaisuuden hallinta. Kyselyiden käsittely. Hajautetun tietokannan hallinta. Sivupalvelinjärjestelmän hallinta.

582424 Tekstiaineistojen tilastosuureita (2 ov)
Luennot: Yliopistonleht. Jussi Piitulainen 19.1.-25.2. ma, ke 10-12 A414
Sanojen yleisyys tekstiaineistossa sekä yhdessä että erikseen, harvinaiset sanat, sanojen informatiivisuus toistensa suhteen, yhteisesiintymien mielenkiintoisuus.

581257 Tiedonhakumenetelmät (3 ov)
Luennot: Prof. Helena Ahonen-Myka 16.3.-29.4. ti 12-14, to 10-12 B450
Tiedonhaun peruskäsitteet. Tiedon tallennus- ja hakuprosessi. Tiedonhakumallit. Täsmäytysmenetelmät. Luonnollisen kielen käsittely hakua varten. Kyselystrategiat ja käyttöliittymät. Kurssiin liittyy harjoitustyö.

582448 Tiedon louhinnan menetelmät (3 ov)
Luennot: Yliopistonleht. Pirjo Moen, aloitusluento 20.1. ti 12-14 A217, muut luentoajat ilmoitetaan kevään opetusohjelmassa tai aloitusluennolla
Kurssilla tutustutaan tiedon louhinnan keskeisiin käsitteisiin ja menetelmiin sekä tiedon louhintaprosessiin. Kurssi sisältää sekä teoreettista että käytännöllistä materiaalia. Kurssilla sovelletaan ns. tutkivaa oppimista, jossa pääosa työskentelystä tapahtuu ryhmissä omatoimisesti ongelmaa ratkomalla.

Seminaarit

Ilmoittautuminen kevään seminaareihin 1.-30.11.2003. Mikäli seminaareihin jää vapaita paikkoja, voi ilmoittautua myöhemmin ottamalla suoraan yhteyttä seminaarin pitäjään.

58304101 Muistihierarkia-algoritmit (2 ov)
Tohtoriass. Juha Kärkkäinen

58304102 Älykkäiden järjestelmien seminaari (2 ov)
Yliopistonleht. Raul Hakli

58304103 Skriptikielet (2 ov)
Leht. Juha Vihavainen 4.2.-28.4. ke 14-16

58304104 Käyttöliittymät ja suorituskyky (2 ov)
Prof. Inkeri Verkamo 20.1.-4.5. ti 8-10

58304105 Linux-käyttöjärjestelmä-seminaari (2 cu)
Prof. Kimmo Raatikainen 19.1.-26.4. ma 16-18

58304106 Research Seminar on Hot Topics in Internet Protocols (2 cu)
Prof. Kimmo Raatikainen, first meeting Tue 20.1. 16-18

58304107 Hajautettujen käyttöjärjestelmien menetelmiä (2 ov)
Prof. Timo Alanko 16.1.-30.4. pe 8-10

58301104 Tietojenkäsittelytieteen historia (2 ov)
Leht. Teemu Kerola 22.1.-7.5. to 12-14

58304108 Tietovirtajärjestelmät (2 ov)
Prof. Seppo Sippu 21.1.-6.5. ke 14-16 A414

58304109 Kieliteknologia ja semantiikka (2 ov)
Yliopistonleht. Jussi Piitulainen 17.3.-28.4. ke 12-14 A320 ?

58304110 Opetusteknologian tietokantasovellukset (2 ov)
Leht. Harri Laine 21.1.-6.5. ke 16-20 (seminaari ei kokoonnu säännöllisesti joka viikko)

58304111 Research Seminar on Transaction Processing (2 cu)
FT Jan Lindström 19.1.-5.4. ma 16-18
Course reading: Weikum, G., and Bossen G.: Transactional Information Systems. Theory, Algorithms and the Practice of Concurrency Control and Recovery. Morgan Kaufmann Publishers, 2001.

58304112 Research Themes in Context-Aware Computing (2 cu)
Research coordinator Greger Lindén

KESÄOPETUS 2004

Kesällä voi suorittaa Ohjelmoinnin harjoitustyön, Tietokantasovellusten harjoitustyön ja Tietorakenteiden harjoitustyön 12.5.-20.6. tai 28.7.-5.9. Lisäksi kesällä järjestetään Ohjelmistotuotantoprojektiryhmiä. Ohjelmistotuotantoprojektit kokoontuvat viikoilla 21-35. Ilmoittautuminen 7.-25.4.2003.

Yhteistyössä Avoimen yliopiston (Helsingin toimisto) kanssa järjestetään approbaturin opintojaksoja. Tarkemmat tiedot järjestettävästä opetuksesta saa Avoimen yliopiston opetusohjelmasta, joka ilmestyy keväällä 2004.

Computer Science Courses in English

Most courses are offered in Finnish. Some courses are offered in English both at the basic level (Cum Laude Approbatur, years 1 to 3) and at the advanced or post-graduate level (Laudatur). Some courses will be taught by foreign visitors at the department, some by native Finns.

Most examinations, at all levels, can be taken in English if so requested. The examination material will be available in English in such cases. Please contact the responsible teacher two weeks in advance.

All the information here is preliminary. For detailed, up-to-date information please refer to the departmental bulletin boards at the beginning of each semester, the WWW page http://www.cs.helsinki.fi/instr.engl/fsa/ or contact the Departmental Student Counselling Office, room B439 (4th floor), Department of Computer Science, Teollisuuskatu 23, tel. 191 44222.

At least the following courses are offered in English (lectures, exercise groups etc.) this academic year:

AUTUMN 2003

58127 Programming in C (2 cu)
Lectures: N. N.
Programming work:
We learn how to program in ANSI C. Prerequisites: Introduction to Programming, Programming in Java, Programming Project or corresponding programming skills. Students are also recommended to have completed (or to take at the same time) the course Data Structures. The course can be completed without these prerequisites but will in that case require a lot of additional work.
Course literature: Müldner T.: C for Java Programmers, Addison Wesley, 2000.

581366 An Introduction to Specification and Verification (2 cu)
Lectures: Tohtoriass. Matti Luukkainen 24.9.-26.11. Wed 14-16 C454
Introduction to formal methods for specifying and verifying concurrent systems. The course takes the form of a seminar and students are expected to participate actively.
Course reading: Doron Peled: Software reliability methods, Springer, 2001.

582439 Graphical Models (3 cu)
Lectures: Professor Petri Myllymäki, Wray Buntine 31.10.-5.12. Fri 10-13 A320
During the last decade probabilistic graphical models have become an important modeling formalism in statistics, adaptive and learning systems in computer science and in informatin theory. This course provides an introduction to probabilistic modeling with graphical models with an emphasis on applications in machine learning, uncertain reasoning and information retrieval.

582443 Game Theoretic Concepts in Computer Science (3 cu)
Lectures: Ph. D. Floris Geerts 16.9.-6.11. Tue 12-14, Wed 12-14 A414
This course covers techniques in the interface between algorithms and game theory. Topics will include Nash equilibrium, refinements of equilibrium concepts, mechanism design, worst-case equilibria and "the price of anarchy", combinatorial auctions, evolutionary game theory and repeated games and economic aspects of the structure of the Internet graph, privacy and clustering. Project work will be part of the course.

582438 Middleware Standards for Mobile Computing (2 cu)
Lectures: Professor Kimmo Raatikainen 19.9.-28.11. Fri 9-11 B450

582445 Distributed Transaction Management (Hajautettujen transaktioiden hallinta) (3 cu)
Lectures: Professor (University of Tampere) Jyrki Nummenmaa, Ph.D. Jan Lindström 7.10.-25.11. (not 21.10.) Tue 10-12 A217

582444 Special Course on Data Mining (Tiedon louhinnan erikoiskurssi) (3 ov)
Lectures: Ph. D. Bart Goethals 29.10.-4.12. Wed 12-14, Thu 12-14 A217
The course focuses on the discovery of frequent patterns. Association rules. Apriori algorithm. Episodes. Levelwise search. Complexity of finding frequent patterns. Closed sets and generators. The course will include a project work.

582446 Context-Aware Computing (3 cu)
Lectures: Research Coordinator Patrik Floréen, Research Coordinator Greger Lindén, Professor Henry Tirri, Professor Hannu Toivonen 15.9.-24.9. Mon 16-18 A414, Wed 16-18 A414, 27.10. Mon 16-18 A414, 20.11.-21.11. Thu 9-16 A320, Fri 9-16 A414. Maximum number of students is 30.
The course gives a concise introduction to context-aware computing. A context-aware application may automatically adapt to discovered context by changing its behaviour. Such adaptation may be triggered by the computing environment, the user's location and profile, lightning and temperature, time of the day, etc. Useful applications are found in mobile computing and information retrieval, for example. The course consists of introductory lectures, group work and student presentations. The teaching language is English.

SPRING 2004

581384 Introduction to the Use of Computers (2 cu)
Lectures: Teacher Krishnan Narayanan 20.1.-23.3. Tue 12-14 A215
This basic course gives a practical introdution to the use of computers. It covers such areas as the basics of Unix and Windows, WWW and HTML, e-mail, news groups, text and image processing and spreadsheet computation. The course gives essential background for further computer science courses.

581328 Introduction to Databases (2 cu)
Teacher: Lecturer Harri Laine 21.1.-25.2. Wed 10-12 Auditorium
The course will explain the basic concepts of databases, what databases are, and how they are used. It concentrates on relational databases. Main emphasis is on the SQL database language. A short introduction to the design of relational databases is included. The course is implemented mainly as an e-learning course, and it belongs to the international TUeLIP virtual university course collection. In addition to the e-learning material there are only a couple of lectures, the times of which will be determined later on.

582418 Proof Theory and Proof Search (3 cu)
Lectures: Ph. D. Sara Negri 20.1.-20.4. (ei 2.3.) ti 10-12 Päärakennus sali XI
The course gives a concise introduction to the central methods and results of structural proof theory. Special emphasis is given to the design of logical calculi supporting proof-search. The course includes exercise and demo sessions with the use of an interactive proof-editor for sequent calculus. Expected background is an introductory course in logic.
Course literature: "Structural Proof Theory", Sara Negri and Jan von Plato, Cambridge U.P. 2001.

582407 Software Agent Technology (3 cu)
Lectures: Professor (University of Tampere) Roope Raisamo, FL Heimo Laamanen, 1st & 2nd periods

582442 Web Services Architecture (4 cu)
Lectures: Project Manager Suresh Chande 19.1.-18.3. Mon 16-18, Thu 16-18 B450
This course introduces the different Web Architectures and gives  an in-depth understanding  of the various current and upcoming Web Service technologies in the Web Services arena. Strengths and pitfalls of the technologies will be covered too.

The following courses will be lectured in Finnish but we have prepared to offer an exercise group in English:

AUTUMN 2003

SPRING 2004

For other courses, an exercise group in English or some other advice might be available according to demand.

The following seminars are offered in English:

AUTUMN 2003

58303301 Algorithms for Ad Hoc Networking (2 cu)
Research Coordinator Patrik Floréen 15.9.-8.12. Mon 10-12

58303307 Transport of Multimedia Streams in the Wireless Internet (2 cu)
Yliopistonleht. Jukka Manner 17.9.-10.12. Wed 16-18

58303308 Selected Topics in Information Security (2 cu)
Pradip Lamsal Fri 12.9. 10-12, Fri 31.10. 10-12, Fri 12.12. 8-16

SPRING 2004

58304106 Research Seminar on Hot Topics in Internet Protocols (2 cu)
Prof. Kimmo Raatikainen, first meeting Tue 20.1. 16-18

58304111 Research Seminar on Transaction Processing (2 cu)
FT Jan Lindström 19.1.-5.4. ma 16-18
Course reading: Weikum, G., and Bossen G.: Transactional Information Systems. Theory, Algorithms and the Practice of Concurrency Control and Recovery. Morgan Kaufmann Publishers, 2001.

58304112 Research Themes in Context-Aware Computing (2 cu)
Research coordinator Greger Lindén

Foreign Student Advisor:
Dept of Computer Science
P.O. Box 26 (Teollisuuskatu 23)
FIN-00014 University of Helsinki
Finland
fax. +358 9 191 44441
E-mail: fsa@cs.Helsinki.fi
http://www.cs.Helsinki.fi/instr.engl/

Den svenskspråkiga undervisningen i datavetenskap

I datavetenskap ordnas en svenskspråkig mikroövningsgrupp i anslutning till kursen Introduktion till datorn som arbetsredskap (Tietokone työvälineenä) som föreläses på finska. På hösten och våren ordnas vid behov även svenskspråkig handledning i kursen Att skriva vetenskaplig text (Tieteellinen kirjoittaminen). Se även http://www.cs.helsinki.fi/svenska/.

Observera att på finskspråkiga kurser kan tentamensuppgifterna erhållas även på svenska, om studeranden ber om detta av föreläsaren i tillräckligt god tid före tentamensdagen. Alla tentamina får besvaras på svenska.

Undervisning

HÖSTTERMINEN

581357 Introduktion till datorn som arbetsredskap (2 sv).
lekt. Anni Rytkönen 1.9.-2.9. mån, tis 10-12 och 8.9.-9.9. mån, tis 12-14 Auditoriet
Kursen föreläses på finska men en svenskspråkig övningsgrupp arrangeras vid behov. Kursen ger viktiga grundkunskaper för övriga kurser i datavetenskap, bl.a. på följande områden: Grunderna i Unix, Linux och Windows, WWW, elektronisk post, nyhetsgrupper, text- och bildbehandling samt kalkylberäkning. Föreläsningarna behandlar principerna för dessa program och består till stor del av demonstrationer.

58110 Att skriva vetenskaplig text (4 sv).
Föreläsningar: Prof. Lea Kutvonen 15.9.-27.10. mån 12-14 A217
Arbetsgrupper 15.9.-10.12. (Anmälning våren 2003.)
På kursen lär vi oss skriva vetenskapliga texter (avhandlingar, rapporter, övriga publikationer), söka efter källmaterial, strukturering av det vi skriver samt muntlig framställning. Kursen är avsedd endast för huvudämnesstuderande. Kursen föreläses på finska, men svenskspråkig handledning arrangeras vid behov. Har du avlagt studentexamen på svenska ska även Att skriva vetenskapligt text avläggas på svenska.

VÅRTERMINEN

58110 Att skriva vetenskaplig text (4 sv).
Föreläsningar: Prof. Lea Kutvonen 19.1.-1.3. mån 12-14 A217
Arbetsgrupper: 19.1.-7.5. (Anmälning 1.-30.11.2003.)

Opettajat

Yhteydenotot laitoksen opettajiin on hoidettava vastaanottoaikoina. Vastaanotot ovat tietojenkäsittelytieteen laitoksella (Teollisuuskatu 23). Vastaanottoajat ilmoitetaan lukukausien alussa www-sivulla http://www.cs.helsinki.fi/ihmiset/vastaanottoajat.html sekä kunkin opettajan ovella olevassa ilmoituksessa.


Ahonen-Myka, Helena, FT, prof. (mvs)
Alanko, Timo, FT, prof. (mvs)
Elomaa, Tapio, FT, dos., Tampereen teknillisen yliopiston prof.
Eloranta, Satu, FM, yliass.
Erkiö, Hannu, FT, dos., leht.
Eskola, Jukka, FM, ass.
Floréen, Patrik, FT, yliopistonleht., virasta vapaa, ohjelmakoordinaattori
Gurtov, Andrei, FL, ass.
Haavisto, Juhani, aman.
Hakli, Raul, FM, yliopistonleht.
Heinonen, Oskari, FM, ass.
Huovinen, Marja, aman.
Hyvönen, Eero, TkT, dos., prof. (mvs)
Häkkinen, Auvo, FM, leht.
Jaakkola, Jani, tietotekniikka-asiantuntija
Karimäki-Suvanto, Päivi, toimistopäällikkö
Karvi, Timo, FT, yliopistonleht.
Kerola, Teemu, PhD., leht.
Kivinen, Jyrki, FT, prof.
Kojo, Markku, FM, leht.
Koskimies, Kai, FT, dos., Tampereen teknillisen yliopiston prof.
Kujala, Teija, FK, aman., virasta vapaa, tutkija
Kurhila, Jaakko, FL, yliopistonleht.
Kurtén, Marina, FM, kääntäjä
Kutvonen, Lea, FT, prof. (mvs)
Kutvonen, Petri, tietotekniikkapäällikkö
Kuuppelomäki, Päivi, FM, ass.
Kärkkäinen, Juha, FT, tohtoriass., virasta vapaa syyslukukaudella
Laakso, Sari A., FM, yliopistonleht.
Lahti, Olli, LuK, ass.
Laine, Harri, FL, leht.
Lemström, Kjell, FT, tohtoriass.
Lindén, Greger, FT, yliopistonleht., virasta vapaa, ohjelmakoordinaattori
Lindström, Jan, FT, ass., virasta vapaa
Lokki, Heikki, FL, leht.
Luukkainen, Matti, FL, tohtoriass.
Malinen, Tuomo, FM, ass.
Manner, Jukka, FM, yliopistonleht.
Mannila, Heikki, FT, dos., Teknillisen korkeakoulun prof., tutkimusjohtaja
Marttinen, Liisa, FM, leht.
Moen, Pirjo, FT, yliopistonleht.,
Mononen, Tommi, FM, ass.
Myllymäki, Petri, FT, dos., prof. (mvs)
Mäkelä, Matti, TkT, prof. emer.
Mäkinen, Veli, FM, tohtoriass.
Niklander, Pekka, tietotekniikka-asiantuntija
Niklander, Tiina, FL, aman., virasta vapaa, laboratorioins.
Nurmi, Otto, Dr.rer.pol., prof. (mvs)
Nykänen, Matti, FT, prof. (vt.)
Orponen, Pekka, FT, dos., Teknillisen korkeakoulun prof.
Paakki, Jukka, FT, prof., laitoksen johtaja
Pasanen, Tomi, FT, yliopistonleht.
Piitulainen, Jussi, FM, yliopistonleht.
Puustjärvi, Juha, FT, dos., Teknillisen korkeakoulun tutkijaleht.
Raatikainen, Kimmo, FT, prof.
Raatikka, Vilho, ass.
Rinta-Mänty, Janne, ass.
Rousu, Juho, FT, dos., tohtoriass., virasta vapaa
Rytkönen, Anni, FM, leht.
Räihä, Kari-Jouko, FT, dos., Tampereen yliopiston prof.
Saarinen, Janne, tiedottaja
Silander, Tomi, FM, ass., virasta vapaa
Sippu, Seppo, FT, prof.
Sirén, Jouni, FM, ass.
Sivèn, Reijo, FK, suunnittelija
Soisalon-Soininen, Eljas, FT, dos., Teknillisen korkeakoulun prof.
Taina, Juha, FL, yliopistonleht.
Takala, Tapio, TkT, dos., Teknillisen korkeakoulun prof.
Tarhio, Jorma, FT, dos., Teknillisen korkeakoulun prof.
Tienari, Martti, FT, prof. emer.
Tirri, Henry, FT, prof., virasta vapaa
Toivonen, Hannu, FT, prof.
Tuovinen, Antti-Pekka, FT, prof. (mvs)
Ukkonen, Esko, FT, prof., virasta vapaa. Akatemiaprof.
Valmari, Antti, TkT, dos., Tampereen teknillisen yliopiston prof.
Veijalainen, Jari, Dr.-Ing., dos., Jyväskylän yliopiston prof.
Verkamo, Inkeri, FT, prof.
Vihavainen, Juha, FL, leht.
Wikla, Arto, FM, leht.
Viljamaa, Antti, FL, ass.
Viljamaa, Jukka, FL, ass.