Aikataulu: Luennot viikoilla 44-50 ti 14-16 ja to 10-12 salissa Ag Auditorio 1.

Sisältö: Prioriteettijono, hajautus, puurakenteita, joukot ja verkot. Järjestäminen. Algoritmien suunnittelumenetelmiä: rekursio, ahne menetelmä, taulukointi, peruutus, rajoitehaku, paikallinen etsintä ja heuristiikat.

Kirjallisuus: Luentomoniste.

Esitiedot: Ohjelmointi 1 ja Algoritmit 1.

Opetusmuodot: Luennot, harjoitukset ja harjoitustyö.

Suoritustavat: Loppukoe.

Aikataulu: Luennot viikoilla 37-43 ma 10-12 ja to 14-16 salissa Ag Auditorio 3.

Sisältö: Tietoliikenneprotokollat: mm. OSI-malli, siirtovirheiden havaitseminen ja korjaus, vuonvalvonta, TCP/IP, OSI-protokollat.

Kirjallisuus: G. J. Holzmann: Design and Validation of Computer Protocols, Prentice Hall, 1991. http://cm.bell-labs.com/cm/cs/what/spin/Doc/Book91.html Stevens, W.R.: TCP/IP Illustrated, Vol. 1.: The Protocols, Addison-Wesley, 1994. Stallings, W.: Data and Computer Communications, Prentice-Hall, 1999 http://WilliamStallings.com/DCC6e.html Stallings, W.: High-Speed Networks: TCP/IP and ATM Design Principles, Prentice-Hall, 1998 http://williamstallings.com/HsNet.html Kaario K.: TCP/IP-verkot, Docendo, 2002.

Opetusmuodot: Luennot, harjoitukset.

Aikataulu: Luennot viikoilla 37-43 ma 12-14 ja ti 10-12 salissa Ag C234.1.

Sisältö: Kurssilla perehdytään mobiilien ja sulautettujen järjestelmien toteutusteknologiaan sekä tärkeimpiin ohjelmistoalustoihin.

Aikataulu: Luennot viikoilla 37-51: ma 12-14 salissa Ag C231.1 (vko 37-43) ja salissa Ag Beeta (vko 44-51), to 10-12 salissa Ag C231.1 (vko 37-44) ja salissa Ag Auditorio 3 (vko 45-51).

Sisältö: Diskreetti ja jatkuva LTI-systeemi, erikoisfunktioita. Trigonometrinen ja kompleksinen Fourier-sarja. Jaksollisen signaalin spektri, modulaatio. Fourier-muunnos, signaalin tiheysspektri ja energia, Parsevalin yhtälö. Diskreetti Fourier-muunnos ja FFT-algoritmi, näytteenoton peruslause. Laplace-muunnos ja käänteismuunnos, siirtofunktio. Z-muunnos ja differenssiyhtälöt. (Wavelet-muunnos).

Kirjallisuus: Antti Niemi: Fourier-analyysi ja Laplace-muunnos.

Esitiedot: Suosituksena derivaatta- ja integraalikäsitteen ymmärtäminen.

Opetusmuodot: Luennot, harjoitukset.

Suoritustavat: Tentti

Aikataulu: Luennot viikoilla 37-43 ke 12-14 ja pe 8-10 salissa Ag Auditorio 3.

Sisältö: Tietoturvan toteutusperiaatteet seuraavissa yhteyksissä: laitteet, käyttöjärjestelmä, ohjelmistot, tietokannat, tietokoneverkot, sähköposti, www-selaus, etäkäyttö, sähköinen kaupankäynti ja asiointi. Em. osa-alueiden teoreettisluonteisia täydennyksiä sekä kryptografian perusteita (joitain laskuharjoituksia).

Aikataulu: Luennot viikoilla 37-50 ti 8-10 ja ke 14-16 salissa Ag C234.1.

Sisältö: Kurssilla käydään läpi tietotekniikan opettajan työnkuvaan liittyviä aiheita. Esitellään erilaisia työvälineitä sekä alan ajankohtaisia aiheita (mm. opetumateriaalit, opettajan tieto- ja viestintätekniset taidot). Kurssi on tarkoitettu pää- tai sivuaineenaan tietotekniikan aineenopettajiksi opiskeleville.

Kirjallisuus: Ilmoitetaan myöhemmin.

Opetusmuodot: Luennot ja demot.

Suoritustavat: Työkansio ja oppimistehtävät.

Aikataulu: Ilmoittautuminen 15.9.2004 mennessä. Aloitusluento keskiviikkona 15.9.2004 klo 16-18 salissa Ag C234.1. Tarkempi aikataulu seminaarin kotisivulla.

Sisältö: Tietotekniikan kandidaattiopintojen pakollinen opintojakso. Hankitaan perustaidot tieteellisen tekstin kirjoittamisesta, suullisesta esittämisestä ja tiedonhausta. Tarkoituksena on tukea kandidaatintutkielman tekemistä.

Esitiedot: Vähintään 20 ov tietotekniikan kandidaattiopintoja.

Aikataulu: Luennot viikoilla 38-49 ti 14-16 ja to 10-12 salissa Ag Beeta.

Sisältö: Numeerisen matematiikan peruskäsitteitä, epälineaaristen yhtälöiden ratkaiseminen, lineaaristen (ja epälineaaristen) yhtälöryhmien ratkaiseminen, interpolointi ja approksimointi, integrointi ja derivointi, tavallisten differentiaaliyhtälöiden ratkaiseminen.

Kirjallisuus: Mäkinen: Numeeriset menetelmät (luentomoniste).

Esitiedot: Matematiikan approbatur tai vastaavat tiedot, ohjelmointitaito Fortran 90/95- tai C/C++-kielellä.

Opetusmuodot: Luennot, harjoitukset, harjoitustyö.

Suoritustavat: Kaksi välikoetta tai loppukoe.

Aikataulu: Luennot viikoilla 37-49 ma 12-14 ja ti 10-12 salissa Ag Auditorio 3.

Sisältö: Graafisten käyttöliittymien ohjelmointi Windows/Linux-ympäristössä. Komponenttipohjainen ohjelmointi (Delphi/Kylix). Hajautetut palvelut (TCP/IP). Kurssi aloitetaan olio-ohjelmoinnin pikakertauksella. Esitiedot: Ohjelmointi.

Kirjallisuus: Lappalainen & Malmirae: Delphi peruskurssi, Lappalainen: Windows-ohjelmointi C-kielella, Olio-ohjelmointi ja C++.

Esitiedot: Ohjelmointi 2 tai vastaava (Ohjelmoinnin peruskurssi, Ohjelmointi++)

Opetusmuodot: Luennot, harjoitukset, pääteohjaukset, harjoitustyö.

Suoritustavat: Demopisteet, HT-pisteet, loppukoe.

Sisältö: Sovellusprojektien avulla tietotekniikan opiskelijat saavat käsityksen työelämän ohjelmistoprojekteista ja ryhmätyöstä sekä kokemusta työssä tarvittavasta kirjallisesta ja suullisesta viestinnästä. Projektien avulla opiskelijat saavat myös kokemusta kurssien harjoitustöitä laajempien sovellusten suunnittelusta ja kehittämisestä sekä tarvittavien dokumenttien laatimisesta.

Sovellusprojekti edellyttää 200-400 tunnin työmäärää noin 3-4 kuukauden aikana, joten sille on varattava aikaa vähintään 15-20 tuntia viikossa. Työ tehdään kiinteän aikataulun mukaisesti 3-4 hengen ryhmissä. Projektiryhmiä on kunkin lukukauden aikana toiminnassa enintään kahdeksan.

Sovellusprojekteihin syyslukukauden 2004 osalta tulee ilmoittautua maanantaihin 6.9.2004 mennessä. Mahdollisimman varhainen ilmoittautuminen on toivottavaa.

Ilmoittautuminen tapahtuu Korppi-sovelluksen (https://korppi.it.jyu.fi/) kautta täyttämällä ilmoittautumislomake.

Toteutettujen Sovellusprojektien lyhyt esittely on nähtävissä WWW-sivulla http://www.mit.jyu.fi/palvelut/sovellusprojektit/.

Lisätietoa Sovellusprojekteista voi tiedustella lehtori Jukka-Pekka Santaselta.

Esitiedot: Tietotekniikan aineopinnoista tai cum laude approbatur -opinnoista vähintään puolet ja kurssi TIE120 Ohjelmointi 2 tulee olla suoritettuna. Kurssit ITK140 Algoritmit 1 (TIE210 Tietorakenteet ja algoritmit 1) ja TIE240 Graafisten käyttöliittymien ohjelmointi antavat hyvän lähtökohdan projektin menestykselliselle suorittamiselle, joten niitä suositellaan suoritetuiksi.

Aikataulu: Luennot viikoilla 37-46 ma 10-12 ja to 14-16 salissa Ag Beeta.

Sisältö: Tasapainotetut puut, keot, binomimetsät, hyppylistat. Verkkoalgoritmeja. Laskennollista geometriaa. Merkkijonon haku, NP-täydellisten ongelmien likimääräinen ratkaiseminen.

Kirjallisuus: Orponen, Ernvall: Algoritmitekniikka (luentomoniste), Penttonen: Johdatus algoritmien suunnitteluun ja analysointiin, Cormen, Leiserson & Rivest: Introduction to Algorithms.

Esitiedot: Tietorakenteet ja algoritmit 1 ja 2 sekä Matematiikan approbatur 3.

Opetusmuodot: Luennot, demonstraatiot.

Aikataulu: Luennot viikoilla 37-43 ma 12-14 ja ti 10-12 salissa Ag Beeta.

Sisältö: Johdanto hahmontunnistukseen. Tilastollinen päättely. Bayesilainen päätösteoria. Tiheysfunktion parametrinen estimointi. Tiheysfunktion epäparametrinen estimointi. Lineaariset luokittimet. Pääkomponenttianalyysi (PCA). Rypästely ja sekatiheysmallit. Tulosten validointi.

Kirjallisuus: Koikkalainen: Tilastollinen hahmontunnistus (syksy, 2000). Duda, Hart, and Stork: Pattern Classification. Second Edition. 2001.

Esitiedot: Todennäköisyyslaskennan perusteet.

Opetusmuodot: Luennot, harjoitukset.

Suoritustavat: Loppukoe.

Aikataulu: Luennot viikoilla 44-50 ma 12-16 salissa Ag C231.1.

Sisältö: Tutustutaan ohjelmistojen suunnittelumenetelmiin ja -työkaluihin sekä paikallisten, että ulkopuolisten luennoitsijoiden avustuksella.

Esitiedot: Aineopinnot.

Sisältö: Kurssi koostuu kahdesta erikseen suoritettavissa olevasta osasta, jotka molemmat järjestetään matemaattisen mallintamisen virtuaaliyliopisto konsortion toimesta. Osien aiheet ovat: osittaisdifferentiaaliyhtälöt matemaattisessa mallinnuksessa sekä data-analyysin menetelmät mallinnuksessa

Esitiedot: Esitietoina edellytetään mielellään vähintään matematiikan cum laudea (analyysipainotteisena osittaisdifferentiaaliyhtälöihin, tilastopainotteisena data-analyysiin).

Opetusmuodot: Opetus koostuu videoiduista luennoista sekä harjoitustehtävistä.

Suoritustavat: Kurssi suoritetaan tekemällä harjoitustehtäviä sekä isompi harjoitustyö.

Aikataulu: Luennot viikoilla 37-43 ti 14-16 ja to 10-12 salissa Ag Alfa.

Sisältö: Ohjelmointikielten historia, luokittelua ja käytettävyyskysymykset. Lausekielten perusteoriat: suoraviivaohjelmat, while-kieli, vahtikomennot, väitteet ja invariantit, aliohjelma-abstraktio. Lausekekielten perusteoriat: lambda-laskento, tyyppiteorian perusteet, rakenteiset arvot. Moderni ohjelmointikieli lause- ja lausekekielten synteesinä. Yhtäaikaisuuden hallinta: vastavuoroinen rajaus, viestipohjainen kommunikointi. Laajuuden hallinta: abstraktit tietorakenteet, abstraktit tietotyypit, olioabstraktio, monimuotoisuus.

Kirjallisuus: Reynolds: Theories of Programming Languages. Pierce: Types and Programming Languages. Scott: Programming Language Pragmatics. Sethi: Programming languages - concepts and constructs. Sebesta: Concepts of Programming Languages. Louden: Programming languages - principles and practice. Luentomoniste.

Esitiedot: Automaatit ja kieliopit sekä joko Diskreetit rakenteet, (matematiikan) Approbatur 3 tai matematiikan cum laude -opintoja. Ohjelmointitaito on välttämätön. Kurssia Olio-ohjelmointi suositellaan suoritettavaksi tämän kurssin rinnalla.

Opetusmuodot: Luennot, harjoitukset, seminaari.

Suoritustavat: Seminaarityö sekä joko oppimispäiväkirja tai tentti

Aikataulu: Luennot viikoilla 38-50 ma 10-12 ja to 14-16 salissa Ag C234.1.

Sisältö: Verkkokurssin tuotantoprosessi on tietotekniikan aineenopettajiksi valmistuville suunnattu maisteritason kurssi, jonka laajuus on 5 ov. Kurssi muodostaa yhdessä Virtuaaliset oppimisympäristöt -kurssin kanssa verkko-opetuksen peruspaketin, jonka turvin aineenopettajilla on valmiudet suunnitella ja toteuttaa verkko-opetusta omassa työssään. Verkkokurssin tuotantoprosessi -kurssilla perehdytään verkkokurssin tuottamiseen liittyviin asioihin, mm. opettajan toimintaympäristön ja oppisisältöjen analysointiin, kurssisisällön suunnitteluun, pedagogiseen suunnitteluun, tekniseen toteutukseen, arviointiin sekä verkkokurssin jatkokehitykseen.

Kirjallisuus: Ilmoitetaan ensimmäisellä luentokerralla.

Esitiedot: Aineenopettajan pedagogiset perusopinnot, kasvatustieteen approbatur tai vastaavat tiedot. WWW-sivujen tekotaidot.

Opetusmuodot: Luennot, demot ja ohjaukset.

Suoritustavat: Harjoitustyö.

Aikataulu: Ilmoittautuminen 16.9.2004 mennessä. Aloitusluento torstaina 16.9.2004 klo 16-18 salissa Ag C234.1. Tarkempi aikataulu seminaarin kotisivulla.

Sisältö: Tietotekniikan maisteriopintojen pakollinen opintojakso. Syvennetään taitoja tieteellisen tekstin kirjoittamisesta ja suullisesta esittämisestä. Tarkoituksena on tukea pro gradu -tutkielman tekemistä.

Esitiedot: Kandidaattiseminaari ja kandidaatintutkielma sekä vähintään kaksi tietotekniikan maisteritason kurssia.

Aikataulu: Luennot viikoilla 44-50 ma 10-12 ja to 14-16 salissa Ag Auditorio 3.

Sisältö: SDL:n (Specification and Description Language) perusteet: kielen käyttömahdollisuudet ja rajoitukset, prosessien käyttäytymisen määrittely tilakoneiden avulla, tiedon esittäminen SDL:ssä, Tietoliikenneprotokollat ja protokollaohjelmointi: tila-automaattien käyttö protokollien suunnittelussa, TCP/IP (ajastimet, mekanismit, versiot). Socket-ohjelmoinnin perusteet. Kurssiin sisältyy SDL-kielellä toteutettava harjoitustyö.

Kirjallisuus: G. J. Holzmann: Design and Validation of Computer Protocols, Prentice Hall, 1991. http://cm.bell-labs.com/cm/cs/what/spin/Doc/Book91.html Stevens, W.R.: TCP/IP Illustrated, Vol. 1.: The Protocols, Addison-Wesley, 1994. Stallings, W.: Data and Computer Communications, Prentice-Hall, 1999 http://WilliamStallings.com/DCC6e.html Stallings, W.: High-Speed Networks: TCP/IP and ATM Design Principles, Prentice-Hall, 1998 http://williamstallings.com/HsNet.html Kaario K.: TCP/IP-verkot, Docendo, 2002.

Esitiedot: Hyvät ohjelmointitaidot, Tietoliikenneprotokollat 1. Kurssilaisilta odotetaan myös perusteiden osaamista Unix-järjestelmistä.

Opetusmuodot: Luennot, harjoitukset, ohjaukset (Unix-luokka), harjoitustyö.

Aikataulu: Luennot viikoilla 44-50 ti 12-14 ja to 8-10 salissa Ag C234.1.

Sisältö: Matkapuhelinjärjestelmät, langattomat lähiverkot, bluetooth, siirtotiehäviön ennustusmallit solukkoverkoissa, solukkoverkkojen suunnittelu.

Aikataulu: Luennot viikoilla 37-43 ma 14-16 ja ke 10-12 salissa Ag C234.1.

Sisältö: Aims and content: The course focuses on the use of Distributed Artificial Intelligence methods and more specifically of Intelligent Agents Technologies in Mobile Computing. Appropriate AI methods and technologies will be reviewed. Course provide knowledge about intelligent agents, mobility of agents, agent platforms, multiagent systems, agent communication, agent coordination, agent negotiation, agent standards, embedded agents, agent-based personalization, agent-based industrial applications and systems, applications of agent technology in mobile services, agents in mobile e-commerce.

Kirjallisuus: Examination: no exam, grade is based on quality of exercises.

Esitiedot: Lecturer: PhD Vagan Terziyan (vagan@it.jyu.fi) Language of instruction: English Autumn term

Opetusmuodot: Mode of study: Lectures 24 hours. Exercises: 12 hours of exercises (includes 1 short assignment on some topic and 1 PowerPoint Presentation)

Suoritustavat: To pass the course it is obligatory to pass the exercises within the agreed deadline

Aikataulu: Luennot viikoilla 37-43 ti 12-14 ja to 8-10 salissa Ag C234.1.

Sisältö: Signaalinkäsittelyn ajankohtaisia erityiskysymyksiä.

Kirjallisuus: S.K. Mitra, Digital Signal Processing: A Computer-Based Approach, McGraw-Hill 1998. Luentokalvot.

Esitiedot: ITKC20 Signaalinkäsittely, TLI314 Digitaalisen signaalinkäsittelyn jatkokurssi.

Opetusmuodot: Luennot, Matlab-harjoitukset, keskustelua ja palautetta.

Suoritustavat: Tentti.

Aikataulu: Luennot viikoilla 44-50 ma 12-14 ja ti 10-12 salissa Ag C234.1.

Sisältö: Kurssin tarkoituksena on esitellä opiskelijoille liikkuvan tietojenkäsittelyn välineitä ja sovelluksia. Kurssilla pohditaan mukana kulkevien päätelaitteiden tuomia mahdollisuuksia ja niiden asettamia haasteita sekä luodaan katsaus laitteilta vaadittaviin ominaisuuksiin erilaisissa tilanteissa. Luennoidaan englanniksi.

Esitiedot: ITKC11 Mobiilit Sovellusalustat

Opetusmuodot: Luennot, pienryhmäopetus.

Suoritustavat: Aktiivinen osallistuminen pienryhmäopetukseen ja lopputentti.

Aikataulu: Luennot viikoilla 44-50 pe 10-12 salissa Ag C234.1.

Sisältö: Kurssilla tutustutaan mobiiliympäristöihin tarkoitettujen käyttöjärjestelmiin suunnattuun sovellusohjelmointiin. Kurssilla tarkastellaan pienten laitteiden niukkojen resurssien sovelluskehittäjälle asettamia ongelmia. Kurssilla käytetyt käyttöjärjestelmät ovat Epoc, PalmOS. Lisäksi tutustutaan J2ME:hen. Luennoidaan englanniksi.

Esitiedot: TLI380, Ohjelmointitaito C-, C++ ja Java-kielillä.

Opetusmuodot: Luennot, laboratorio-ohjaukset ja harjoitukset.

Suoritustavat: Harjoitustyö.

Aikataulu: Luennot viikoilla 3-11 ti 12-14 ja to 8-10 salissa Ag Auditorio 3.

Sisältö: Kurssilla perehdytään lähiverkkojen rakenteeseen, komponentteihin ja toimintaan. Keskeisiä aiheita ovat: Lähiverkkotopologiat, Ethernet, token ring, muut lähiverkot, erilaiset kaapeloinnit ja muut liityntätekniikat, LLC, OSI-protokollat, TCP/IP, mikroverkot, verkon laitteet, verkkojen laajentaminen, verkonhallinta, verkon vianselvitys, verkon kuormitus ja verkon suunnittelu.

Kirjallisuus: Matti Puska: Lähiverkkojen tekniikka, opetusmonisteet.

Opetusmuodot: Luennot, harjoitustyö.

Aikataulu: Ilmoittautuminen 26.1.2005 mennessä. Aloitusluento keskiviikkona 26.1.2005 klo 16-18 salissa Ag C234.1. Tarkempi aikataulu seminaarin kotisivulla.

Sisältö: Tietotekniikan kandidaattiopintojen pakollinen opintojakso. Hankitaan perustaidot tieteellisen tekstin kirjoittamisesta, suullisesta esittämisestä ja tiedonhausta. Tarkoituksena on tukea kandidaatintutkielman tekemistä.

Esitiedot: Vähintään 20 ov tietotekniikan kandidaattiopintoja.

Aikataulu: Luennot viikoilla 3-18 ke 12-14 ja pe 8-10 salissa Ag Auditorio 3.

Sisältö: Sisältö: Java-kieli, ohjelmansuunnittelun ja olio-ohjelmoinnin periaatteita, ohjelman testaaminen. Rekursio.

Kirjallisuus: Java-kirjallisuus. Mm. Java-ohjelmointi

Esitiedot: Ohjelmointi 1. tai Johdatus ohjelmointiinkin riittää mainiosti

Opetusmuodot: Luennot, demot, pääteohjaukset, harjoitustyö. InSitu.

Suoritustavat: Välikoe, demot, harjoitustyö.

Sisältö: Kurssin keskeisen sisällön asiat C/C++ -kielillä.

Kirjallisuus: Olio-ohjelmointi ja C++

Esitiedot: Ohjelmointi 2

Opetusmuodot: Luennot, demot, pääteohjaukset.

Suoritustavat: Demot vähintään 60%.

Sisältö: Ohjelmointi 2 kurssin tietojen soveltaminen WWW-ohjelmointiin. Erityisesti JSP (Java Server Pages).

Kirjallisuus: Ohjelmaesimerkit

Esitiedot: Ohjelmointi 2

Opetusmuodot: Luennot, pääteohjaukset, harjoitustyö.

Suoritustavat: Pääteohjaukset, oman harjoitustyön jonkin kohdan toteuttaminen WWW-pohjaiseksi.

Aikataulu: Luennot viikoilla 4-17 ke 12-14 ja pe 8-10 salissa Ag C231.1.

Sisältö: Lineaarista, dynaamista, kombinatorista ja kokonaislukuoptimointia. Mallinnusta, sovelluksia ja optimointiohjelmistoja.

Kirjallisuus: Optimointimenetelmät (luentomoniste).

Esitiedot: Matematiikan approbatur tai vastaavat tiedot, ohjelmointitaito.

Opetusmuodot: Luennot, harjoitukset, harjoitustyö.

Suoritustavat: Kaksi välikoetta tai loppukoe.

Aikataulu: Luennot viikoilla 3-18 ti 14-16 ja to 10-12 salissa Ag Beeta.

Sisältö: Tietokonegrafiikan perusteet. Kaksi- ja kolmiulotteisen avaruuden geometrisiä muunnoksia. Geometristen mallien muodostaminen. Tasogeometrian perusmenetelmät. Pikseligrafiikan perusmenetelmät. Kolmiulotteisen avaruuden kierrot, kvaterniot. Projektiot, normalisointimuunnokset. Näkyvien pintojen määrääminen. Valaistuksen simulointi, mapping-tekniikat. Säteenseurannan alkeet.

Kirjallisuus: Foley, van Dam, Feiner, Hughes: Computer Graphics, Principles and Practice, Watt: 3D Computer Graphics, Watt, Watt: Advanced Animation and Rendering Techniques, Theory and Practice. Luentomoniste.

Esitiedot: Lineaarialgebran perusteet, ohjelmointi, perustietorakenteet.

Opetusmuodot: Luennot, harjoitukset.

Suoritustavat: Loppukoe. Harjoitustyön tekemällä kurssi korvaa laudatur-kurssin TIE332 Graafinen tietojenkäsittely

Sisältö: Kurssi koostuu kahdesta erikseen suoritettavissa olevasta osasta, jotka molemmat järjestetään matemaattisen mallintamisen virtuaaliyliopisto konsortion toimesta. Osien aiheet ovat: tilastolliset mallit ja satunnaisuus mallittamisessa

Esitiedot: Esitietoina edellytetään mielellään vähintään matematiikan cum laudea tilastollisella painotuksella.

Opetusmuodot: Opetus koostuu videoiduista luennoista sekä harjoitustehtävistä.

Suoritustavat: Kurssi suoritetaan tekemällä harjoitustehtäviä sekä isompi harjoitustyö.

Aikataulu: Luennot viikoilla 10-18 ti 14-16 ja to 10-12 salissa Ag Auditorio 3.

Sisältö: Äärelliset automaatit ja säännölliset kielet, selaajien automatisointi, kontekstittomat kieliopit ja kielet, jäsennysteorian ja attribuuttikielioppien perusteita, kontekstiset ja rajoittamattomat kieliopit, Turingin kone, jäsennystyökalut.

Kirjallisuus:

Esitiedot: Ohjelmointi 1 ja 2, Algoritmit 1-2.

Opetusmuodot: Luennot, harjoitukset.

Suoritustavat: [Ei suomenkielistä kuvausta.] Final exam.

Sisältö: Sovellusprojektien avulla tietotekniikan opiskelijat saavat käsityksen työelämän ohjelmistoprojekteista ja ryhmätyöstä sekä kokemusta työssä tarvittavasta kirjallisesta ja suullisesta viestinnästä. Projektien avulla opiskelijat saavat myös kokemusta kurssien harjoitustöitä laajempien sovellusten suunnittelusta ja kehittämisestä sekä tarvittavien dokumenttien laatimisesta.

Sovellusprojekti edellyttää 200-400 tunnin työmäärää noin 3-4 kuukauden aikana, joten sille on varattava aikaa vähintään 15-20 tuntia viikossa. Työ tehdään kiinteän aikataulun mukaisesti 3-4 hengen ryhmissä. Projektiryhmiä on kunkin lukukauden aikana toiminnassa enintään kahdeksan.

Sovellusprojekteihin kevätlukukauden 2005 osalta tulee ilmoittautua maanantaihin 6.9.2004 mennessä. Mahdollisimman varhainen ilmoittautuminen on toivottavaa.

Ilmoittautuminen tapahtuu Korppi-sovelluksen (https://korppi.it.jyu.fi/) kautta täyttämällä ilmoittautumislomake.

Toteutettujen Sovellusprojektien lyhyt esittely on nähtävissä WWW-sivulla http://www.mit.jyu.fi/palvelut/sovellusprojektit/.

Lisätietoa Sovellusprojekteista voi tiedustella lehtori Jukka-Pekka Santaselta.

Esitiedot: Tietotekniikan aineopinnoista tai cum laude approbatur -opinnoista vähintään puolet ja kurssi TIE120 Ohjelmointi 2 tulee olla suoritettuna. Kurssit ITK140 Algoritmit 1 (TIE210 Tietorakenteet ja algoritmit 1) ja TIE240 Graafisten käyttöliittymien ohjelmointi antavat hyvän lähtökohdan projektin menestykselliselle suorittamiselle, joten niitä suositellaan suoritetuiksi.

Aikataulu: Luennot viikoilla 3-18 ma 10-12 ja to 14-16 salissa Ag Beeta.

Sisältö: Formaalien määrittelymenetelmien perusteet, esimerkkejä formaalien kielten ja menetelmien käytöstä (esim. Z, VDM, Estelle, Lotos, B).

Kirjallisuus: Luentomoniste, muu lähdemateriaali ilmoitetaan luennoilla.

Esitiedot: Matemaattinen logiikka (2 ov) sekä Automaatit ja kieliopit.

Opetusmuodot: Luennot, demot, seminaarityö, töiden esittely- ja opponointitilaisuus.

Suoritustavat: Loppukoe, seminaarityö.

Aikataulu: Luennot viikoilla 3-18 ma 14-16 ja ke 10-12 salissa Ag Auditorio 3.

Sisältö: Ohjelmistotuotannon kurssilla käsitellään tekniikoita ja menetelmiä suurten ohjelmistojen tuottamiseksi. Kurssilla pyritään antamaan kokonaiskuva siitä mitä ohjelmistotuotanto kattaa ja pitää sisällään.

Kirjallisuus: Roger S. Pressman (2000), Software Engineering: A practioners Approach, 5th edition, European Adaptation, McGraw-Hill Publishing company Lisämateriaalia: http://www.rspa.com/spi/

Esitiedot: Osallistujien tulisi ymmärtää koodaamista, oliokeskeisyyttä ja ohjelmistonkehitysmenetelmiä.

Opetusmuodot: Luennot, harjoitustyö ja seminaari

Suoritustavat: Projektin laatusuunnitelma, Harjoitustyö, Seminaari (harjoitustöiden esittely) ja Lopputentti

Aikataulu: Luennot viikoilla 3-18 ti 8-10 ja ke 14-16 salissa Ag Beeta.

Sisältö: Johdatus tekoalyyn, hakumenetelmistä, looginen päättely, oppimisesta, neuroverkoista.

Kirjallisuus: Russel, Norvig: Artificial intelligence: a modern approach, Nilsson:Artificial Intelligence: a new synthesis.

Aikataulu: Luennot viikoilla 3-9 ti 8-10 ja ke 14-16 salissa Ag Alfa.

Sisältö: Kurssilla keskitytään reaaliaikajärjestelmiin, tarkemmin käydään läpi Rate Monotonic järjestelmä, rinnakkaisuuden aiheuttamia ongelma-alueita ja niiden perusratkaisut monisuoritinympäristössä, reaaliaikaskedulointi.

Kirjallisuus: Luentomoniste.

Esitiedot: TIE221 Käyttöjärjestelmien perusteet.

Opetusmuodot: Luennot.

Suoritustavat: Tentti.

Aikataulu: Luennot viikoilla 3-18 ti 12-14 ja to 8-10 salissa Ag Alfa.

Sisältö: Kurssilla tutustutaan virtuaalisiin oppimisympäristöihin liittyviin teorioihin (ihmiskäsitykset, oppiminen, verkkopedagogiikka, tietotekniikan opettaminen) ja teknologiaan (komponentit, ohjelmointikielet) sekä virtuaalisten oppimisympäristöjen toteutukseen (käytettävyys, toiminnot, ylläpito) ja oppimateriaalin esittämiseen. Osa kurssista suoritetaan virtuaalista oppimisalustaa käyttäen. Kurssi on tarkoitettu pää- tai sivuaineenaan tietotekniikan aineenopettajiksi opiskeleville.

Kirjallisuus: Ilmoitetaan myöhemmin.

Esitiedot: Aineenopettajan pedagogiset perusopinnot (15 ov). Ohjelmointi (sekä myös Tietotekniikan opettajan työvälineitä -kurssi).

Opetusmuodot: Monimuoto-opetus: lähitunnit sekä verkkotyöskentely virtuaalista oppimisalustaa käyttäen.

Suoritustavat: Oppimistehtävät, seminaarityö.

Aikataulu: Luennot viikoilla 3-18 ma 12-14 ja ti 10-12 salissa Ag Beeta.

Sisältö: Ohjelmistoarkkitehtuurit teoriassa ja käytännössä, ohjelmistojen uudelleenkäyttö, ja sovelluskehykset. Ohjelmiston laadun suunnittelu. Ajankohtaiset, esilletulevat asiat.

Kirjallisuus: Mary Shaw, David Garlan: Software Architecture: Perspectives on an Emerging Discipline, 1996 Jan Bosch: Design & use of software architectures: Adopting and evolving a product-line approach, 2000 Len Bass, Paul Clements, Rick Kazman: Software Architecture in Practice, 1998 tai 2003

Esitiedot: Sovellusprojekti tai vastaava ohjelmistonkehitysprojekti (pakollinen esitieto).

Opetusmuodot: Luennot, ja demot, joissa sovelletaan kurssilla ja aiemmin opittuja tietoja.

Suoritustavat: Ei päätetty vielä.

Aikataulu: Luennot viikoilla 3-9 ma 12-14 ja ti 10-12 salissa Ag C234.1.

Sisältö: Kurssi esittelee hajautettujen järjestelmien perusteet. Luentojen aiheina ovat mm. johdanto hajautettuihin järjestelmiin, arkkitehtuurimallit, perusteet tietoliikenteestä, prosessien välinen kommunikointi ja middleware, vertaisverkot, hajautetut hakualgoritmit ja potenssijakautuneet verkot hajautetuissa järjestelmissä.

Kirjallisuus: Coulouris, Dollimore, Kindberg - Distributed Systems: Concepts and Design, 3rd Edition, 2001.

Esitiedot: Perusteet tietoliikenteestä ja käyttöjärjestelmistä.

Opetusmuodot: Luennot suomeksi ja luentokalvot englanniksi.

Suoritustavat: Tentti, kirjallisuuskatsaus tai ohjelmointityö.

Aikataulu: Luennot viikoilla 3-10 pe 10-12 salissa Ag C234.1.

Sisältö: Kurssilla käsitellään koneenläheinen ohjelmointi Intel ja ARM arkkitehtuureissa (aliohjelmakutsut, liukulukulaskenta, ulkoisten liityntöjen ohjaus, optimointi), tutustutaan C/C++ ja symbolisen konekielen yhdistämiseen, ohjelmistotyökaluihin ja niiden konfigurointiin. Kurssi luennoidaan englanniksi.

Kirjallisuus: Moniste (muut lähteet ilmoitetaan aloitusluennon yhteydessä).

Esitiedot: Ohjelmointitaito C/C++ kielillä.

Opetusmuodot: Luennot, laboratorio-ohjaukset ja harjoitukset.

Suoritustavat: Suoritetut harjoitustyöt.

Aikataulu: Ilmoittautuminen 27.1.2005 mennessä. Aloitusluento torstaina 27.1.2005 klo 16-18 salissa Ag C234.1. Tarkempi aikataulu seminaarin kotisivulla.

Sisältö: Tietotekniikan maisteriopintojen pakollinen opintojakso. Syvennetään taitoja tieteellisen tekstin kirjoittamisesta ja suullisesta esittämisestä. Tarkoituksena on tukea pro gradu -tutkielman tekemistä.

Esitiedot: Kandidaattiseminaari ja kandidaatintutkielma sekä vähintään kaksi tietotekniikan maisteritason kurssia.

Aikataulu: Luennot viikoilla 3-9 ma 14-16 ja ke 10-12 salissa Ag C234.1.

Sisältö: Syventymistä signaalinkäsittelyteoriaan ja sovelluksia tietoliikenteessä. Digitaalisten suotimien rakenteet, ominaisuudet ja suunnittelumenetelmät.

Kirjallisuus: A.V. Oppenheim and A.S. Wilsky, Signals and Systems, Prentice-Hall 1983 ja S.K. Mitra, Digital Signal Processing: A Computer-Based Approach, McGraw-Hill 1998.

Esitiedot: ITKC20 Signaalinkäsittely.

Opetusmuodot: Luennot, harjoitukset, harjoitustyö.

Aikataulu: Luennot viikoilla 10-18 ti 14-16 ja to 10-12 salissa Ag C234.1.

Sisältö: WAN -verkkojen komponentit, reititys, hallinta ja uudet teknologiat ja palvelut. Kurssissa keskeisellä sijalla ovat tietoverkkojen palvelun laatu ja reititysprotokollat.

Kirjallisuus: W. Stallings: Data and Computer Communications, Fifth edition, Prentice Hal$ Chapters 12, 13, 14, 15, 16, 17. 6th edition chapters:12-17. Lisäluettavaa: C. Huitema: Routing in the Internet W. Stallings: High-speed networks, TCP/IP and design principles

Opetusmuodot: Luennot, harjoitukset.

Suoritustavat: Tentti, harjoitukset.

Aikataulu: Luennot viikoilla 10-18 ti 12-14 ja to 8-10 salissa Ag C234.1.

Sisältö: TCP/IP protokollaperheessä käytettävien sovellusprotokollien toiminta: Sähköpostiprotokollat (POP3 ja IMAP4), tiedostojen siirto- ja etäkäyttöprotokollat, terminaalien etäkäyttöprotokollat. Socket-ohjelmointi. (Harjoitustyöt)

Esitiedot: Tietoliikenneprotokollat 1, UNIX-käyttöjärjestelmien tuntemus ja hyvät ohjelmointitaidot.

Opetusmuodot: Luennot, lopputentti, harjoitukset ja harjoitustyö.

Sisältö: Todennäköisyyden käsite, diskreetti ja jatkuva satunnaismuuttuja. Joitain erikoisjakaumia. Kaksi- ja moniulotteinen jakauma. Korrelaatio ja kovarianssi. Jatkuva ja diskreetti stationaarinen, väljästi stationaarinen ja ergodinen prosessi. Satunnaissignaalin teho ja tehospektri, valkoinen ja värillinen kohina. Bernoullin-, summa-, Gaussin- ja Poisson-prosessi.

Kirjallisuus: Antti Niemi: Signaalien stokastiikkaa. Opetusmoniste.

Esitiedot: Suosituksena matematiikan approbatur tai vastaavat tiedot.

Opetusmuodot: Luennot, harjoitukset.

Suoritustavat: Tentti.

Aikataulu: Luennot viikoilla 11-17 ma 10-12 ja to 14-16 salissa Ag C234.1.

Sisältö: Kurssi käsittelee systeemitason ohjelmointia mobiilijärjestelmissä. Tarkasteltavana järjestelmänä on erityisesti Symbian OS. Kurssi sisältää seuraavat kokonaisuudet: kommunikointi ulkoisten järjestelmien kanssa (TCP/IP, IrDA, Bluetooth), laiteohjaimet sekä Symbian OS:n erityispiirteinä aktiiviset oliot ja järjestelmän sisäinen asiakas/palvelin-toiminta. Kurssi luennoidaan englanniksi.

Kirjallisuus: Moniste (muut lähteet ilmoitetaan aloitusluennon yhteydessä).

Esitiedot: TLI380, TLI381, ohjelmointitaito C++ kielellä.

Opetusmuodot: Luennot, laboratorio-ohjaukset ja harjoitukset.

Suoritustavat: Suoritetut harjoitustyöt.

Aikataulu: Luennot viikoilla 3-9 ti 14-16 ja to 10-12 salissa Ag C234.1.

Sisältö: Radioaaltojen eteneminen ja antennit; monitie-eteneminen ja häipyminen radiokanavassa; kanavakoodaus, ekvalisointi ja diversiteetti radiokanavan vaikutuksen lieventämiseksi.

Esitiedot: TLI345 Tietoliikenteen stokastiset menetelmät, TLI350 Tietoliikenneteoria.

Aikataulu: Luennot viikoilla 10-18 ke 12-14 ja pe 8-10 salissa Ag Beeta.

Sisältö: Analogiset siirtotekniikka. Näytteenotto ja pulssimodulaatio. Digitaalinen siirtoteknikka. Informaatioteorian perusteita. Harjoitustyönä tietokonesimulointeja kurssin aiheista.

Kirjallisuus: Carlson: Communication systems.

Esitiedot: ITKC20 Signaalinkäsittely, TLI345 Tietoliikenteen stokastiset menetelmät.

Opetusmuodot: Luennot, harjoitukset, harjoitustyö.

Aikataulu: Luennot viikoilla 3-9 to 14-16 salissa Ag C234.1.

Sisältö: Kurssilla tutustutaan läsnä-älyjärjestelmien periaatteisiin ja alan tutkimukseen.

Opetusmuodot: Luennot, harjoitustyöt ja pienryhmäopetus.

Suoritustavat: Tentti, aktiivinen osallistuminen pienryhmäopetukseen sekä hyväksytyt harjoitukset.

Aikataulu: Luennot viikoilla 10-18 ma 12-14 ja ti 10-12 salissa Ag C234.1.

Sisältö: Kurssilla opiskelija tutustuu verkkopalveluiden tuottamiseen mobiilipäätteitä silmälläpitäen käyttäen HTTP- ja WAP-protokollia sekä CGI-rajapintaa. Kurssilla perehdytään myös dynaamiseen sisällöntuottamiseen käyttäen java servlettejä sekä JSP:tä sekä tutustutaan sisältöpalvelimen ylläpitoon. Luennoidaan englanniksi.

Esitiedot: TLI380 Mobiilit tietojenkäsittelylaitteet. Tiedot rakenteisista dokumenteista. Tietoverkkojen ja ohjelmoinnin hallinta (Perl- ja Java-ohjelmointikielten tuntemus suositeltavaa).

Opetusmuodot: Luennot, ohjaukset.

Suoritustavat: Lopputentti, harjoitustyö.

[Kurssille ei ilmoittauduta Korppi-järjestelmän avulla.]

Sisältö: Filosofian maisterin tutkintoon pääaineena tietotekniikka kuuluu pakollinen harjoittelu. Tämä suoritetaan työskentelemällä noin kolme kuukautta tietotekniikkatehtävissä jossain yrityksessä tai tutkimuslaitoksessa, ja kirjoittamalla sen jälkeen harjoitteluraportti. Sopiva ajankohta harjoittelulle on, kun tietotekniikan kandidaattiopinnot ovat lähes valmiit. Tutkintoon voi halutessaan sisällyttää vielä toisen, ylimääräisen kolmen kuukauden harjoittelujakson. Työtehtävien on kuitenkin oltava erilaisia kuin ensimmäisessä harjoittelujaksossa, siis joko eri työnantaja, tai oleellisesti erilainen toimenkuva. Ylimääräistä harjoittelua ei voi myöskään sisällyttää tietotekniikan opintokokonaisuuksiin, vaan se sisällytetään vapaavalintaisiin opintoihin. Harjoittelusta on aina sovittava etukäteen siitä vastaavan henkilön kanssa.

[Kurssille ei ilmoittauduta Korppi-järjestelmän avulla.]

Sisältö: Tietotekniikan kandidaattiopintojen pakollinen opinnäytetyö. Kirjoitetaan itsenäisesti pienimuotoinen tieteellinen tutkielma.

Sisältö: Ohjelmointityön aiheen voi keksiä itse tai pyytää kurssin tentaattoria tarjoamaan aihetta. Ohjelmointityön voi suorittaa itse valitsemanaan ajankohtana.

[Kurssille ei ilmoittauduta Korppi-järjestelmän avulla.]

Sisältö: Tietotekniikan erikoistyö käsittää yleensä tarkkaan rajatun ohjelmiston suunnittelun ja toteuttamisen. Erikoistyö tehdään joko pro gradu -tutkielman aihepiiristä tai se voi olla erillinen ''laudaturin ohjelmointityö''. Erikoistyön aihe-ehdotuksen voi hankkia itse, mutta aihe-ehdotuksia on nähtävillä myös WWW-sivulla http://www.mit.jyu.fi/erikoistyot/aiheita.html. Erikoistöitä ohjaavat professorit, lehtorit ja yliassistentit, joista jonkun tulee hyväksyä aihe-ehdotus jo ennen työn aloittamista. Erikoistyöhön liittyvän dokumentoinnin vaatimukset ovat tapaus- ja ohjaajakohtaiset. Dokumenttien kirjoittamiseen löytyy kuitenkin yleisohje WWW-sivulta http://www.mit.jyu.fi/santanen/info/kirjoittamisesta.html.

Sisältö: Pro gradu -tutkielmien ohjausta koordinoivat lukuvuonna 2004-2005 tieteellisessä laskennassa yliassistentti Tuomo Rossi, ohjelmistotekniikassa ja opettajalinjalla professori Tommi Kärkkäinen, tietoliikenteessä professori Jyrki Joutsensalo, sulautetuissa järjestelmissä ja liikkuvassa tietojenkäsittelyssä professori Jarkko Vuori. Tutkielman tekemistä voi anoa tutkielmien ohjausta koordinoivilta professoreilta, kun noin puolet laudatur-kursseista on suoritettu. Tutkielmat tehdään opintolinjan aihepiiriin liittyvistä aiheista, usein myös yritysten tarjoamien aiheiden pohjalta. Aineenopettajaksi opiskelevat voivat tehdä tutkielman myös ainedidaktiikasta. Opiskelija voi tehdä itse esityksen tutkielman aiheesta, mutta tutkielman tekemisen voi aloittaa vasta, kun koordinoiva professori on hyväksynyt aiheen. Yliopiston ulkopuolisella henkilöllä ei ole oikeutta kiinnittää tutkielman aihetta tai antaa lupaa tutkielman tekemisen aloittamiseen. Tutkielma tehdään yliopiston opettajan ohjauksessa. Työllä voi olla myös toinen, koordinoivan professorin hyväksymä yliopiston ulkopuolinen tekninen ohjaaja. Työn tarkastaa kaksi laitoksen hyväksymää tarkastajaa, joista vähintään toinen on yliopiston opettaja. Tutkielma laaditaan pääsääntöisesti suomen kielellä. Perustelluista syistä ja vain ohjaajan suostumuksella voidaan käyttää muuta kieltä. Tutkielma voidaan perustelluissa tapauksissa laatia myös kahden opiskelijan yhteistyönä.

[Kurssille ei ilmoittauduta Korppi-järjestelmän avulla.]

Sisältö: Tietotekniikan sivuaineopiskelijoiden laudatur-opintoihin liittyvä tutkielma.

[Kurssille ei ilmoittauduta Korppi-järjestelmän avulla.]

Sisältö: Kypsyysnäyte eli maturiteetti kirjoitetaan joko kandidaatintutkielmasta tai pro gradu -tutkielman aihepiiristä suomen tai ruotsin kielellä. Kypsyysnäytteen tulee osoittaa tekijän perehtyneen tutkielman aihepiiriin ja hallitsevan hyvän äidinkielen taidon. Kirjoittamisesta sovitaan tutkielman ohjaajan kanssa.

Sisältö: This workshop contains three laboratory tasks to be completed at the Ag. C331.1: IP network configuration, security and monitoring (Nokia IP440, Cisco SAA) Mobile IP management Network traffic and queuing simulation (NS2 simulation tool will be VPN and QoS configurations used) Each task has theoretical part and questions. After the theoretical part there is practical tasks to be done at the lab. The tasks will be done in groups (3 students). This course can be completed in Finnish and English.

Esitiedot: TLI130 Televerkot and TLI115 Johdatus tietokoneverkkoihin

Opetusmuodot: Laboratory tasks

Suoritustavat: Accepted reports

Aikataulu: Kurssi luennoidaan mahdollisesti lukuvuonna 2004-2005. Mikäli kurssi luennoidaan, siitä ilmoitetaan erikseen.

Sisältö: Fortran 90/95-kieli, rinnakkaiskoneiden ja -laskennan perusteet, rinnakkaisalgoritmien (kvantitaviivinen) suunnittelu ja toteutus, MPI, OpenMP. Mahdollisuuksien mukaan: koodin optimointi, aliohjelmakirjastojen käyttö, profilointityökalut, hybridiohjelmointi. Rinnakkaislaskentaa käsitellään tieteellisen laskennan näkökulmasta. Kurssin Fortran-kieli (TIE230) suorittaneet saavat kurssista 3.0 opintoviikkoa. Asiasta erikseen ja etukäteen sopimalla kurssia voitaneen laajentaa opiskelijakohtaisesti siten, että sillä voisi korvata vanhan ladatur-kurssin: rinnakkainen ja hajautettu laskenta (TIE331).

Esitiedot: Suositellaan: Ohjelmointi (Ohjelmointi 2), Algoritmit 1 & 2.

Opetusmuodot: Luennot 48 h, pääteharjoitukset 24 h, kotitehtävät.

Suoritustavat: Kotitehtävät, pääteharjoitukset, loppukoe.

Aikataulu: Ei luennoida lukuvuonna 2004-2005.

Sisältö: Satunnaisluvuista, diskreettiaikaisten systeemien simuloinnin perusteita, simulointimallin muodostaminen, simulointi tilastollisena työkaluna, simulointikokeen suunnittelu, tulosten analyysi, esimerkkejä simulointiohjelmistoista. Luennoidaan englanniksi.

Esitiedot: Todennäköisyyslaskenta tai tilastomenetelmien peruskurssi, perusohjelmointitaito.

Opetusmuodot: Luennot, harjoitukset.

Aikataulu: Ei luennoida lukuvuonna 2004-2005.

Sisältö: Johdanto laskennallisesti älykkäisiin järjestelmiin, neuroverkkojen perusperiaatteet, monikerrosverkot (MLP), itseorganisoituva piirrekartta (SOM), sumean logiikan perusteet ja soveltaminen, Bayes-verkot, geneettiset algoritmit.

Kirjallisuus: Bishop: Neural Networks for Pattern Recognition. Raitamäki: Laskennallisesti älykkäät järjestelmät, luentomoniste.

Esitiedot: Perusteet lineaarialgebrasta, lineaarinen ja epälineaarinen optimointi. Harjoitustyössä tarvitaan jonkin ohjelmointikielen hallintaa.

Opetusmuodot: Luennot, harjoitukset.

Suoritustavat: Harjoitustyö, loppukoe.

[Kurssille ei ilmoittauduta Korppi-järjestelmän avulla.]

Aikataulu: Kurssia ei luennoida lukuvuonna 2004-2005.

Sisältö: Funktiopohjainen (funktionaalinen) ongelmanratkaisu, funktio-ohjelmoinnin käytäntö ja teoria.

Kirjallisuus: Thompson: Haskell - The Craft of Functional Programming (second ed.). Abelson, Sussman, Sussman: Structure and Interpretation of Computer Programs (second ed.). Hudak: The Haskell School of Expression - Learning Functional Programming through Multimedia. Bird: Introduction to Functional Programming using Haskell (second ed.). Okasaki: Purely Functional Data Structures. Rabhi, Lapalme: Algorithms - A Functional Programming Approach. Luentomoniste.

Esitiedot: Automaatit ja kieliopit sekä joko Diskreetit rakenteet, (matematiikan) Approbatur 3 tai matematiikan cum laude -opintoja.

Opetusmuodot: Kirjatenttisuoritus on mahdollinen.

Suoritustavat: Sekä tentti että harjoitustyö vaaditaan.

[Kurssille ei ilmoittauduta Korppi-järjestelmän avulla.]

Aikataulu: Kurssia ei luennoida lukuvuonna 2004-2005.

Sisältö: Normaalimuodot, unifiointi, resoluutio, puut (tableaux), päättely yhtäsuuruusteorioissa, automaattinen päättely korkean asteen logiikassa.

Kirjallisuus: Fitting: First-Order Logic and Automated Theorem Proving (Second Edition). Wos ym.: Automated reasoning - introduction and applications. Robinson & Voronkov (toim.): Handbook of automated reasoning. Loveland: Automated theorem proving: a logical basis.

Esitiedot: Automaatit ja kieliopit sekä joko MAT223 Logiikka (2 ov) tai FILA31 Logiikka 1. Suositellaan lisäksi kurssia Funktio-ohjelmointi.

Opetusmuodot: Kirjatentti on mahdollinen.

Suoritustavat: Tentti

Aikataulu: Ei luennoida lukuvuonna 2004-2005.

Sisältö: Tietokonegrafiikan perusteet. Kaksi- ja kolmiulotteisen avaruuden geometrisiä muunnoksia. Geometristen mallien muodostaminen. Tasogeometrian perusmenetelmät. Pikseligrafiikan perusmenetelmät. Kolmiulotteisen avaruuden kierrot, kvaterniot. Projektiot, normalisointimuunnokset. Näkyvien pintojen määrääminen. Valaistuksen simulointi, mapping-tekniikat. Säteenseurannan alkeet.

Kirjallisuus: Foley, van Dam, Feiner, Hughes: Computer Graphics, Principles and Practice, Watt: 3D Computer Graphics, Watt, Watt: Advanced Animation and Rendering Techniques, Theory and Practice.

Esitiedot: Lineaarialgebran perusteet, ohjelmointi, perustietorakenteet.

Opetusmuodot: Luennot, harjoitukset.

Suoritustavat: Loppukoe, harjoitustyö.

[Kurssille ei ilmoittauduta Korppi-järjestelmän avulla.]

Aikataulu: Ei luennoida lukuvuonna 2004-2005.

Sisältö: Epälineaarisen, epäsileän, monitavoitteisen ja globaalin optimoinnin menetelmiä.

Kirjallisuus: Miettinen: Epälineaarinen optimointi (luentomoniste).

Esitiedot: Optimointimenetelmät, Numeeriset menetelmät, ohjelmointitaito (Fortran 90/95 tai C/C++).

Opetusmuodot: Luennot, harjoitukset, harjoitustyö.

Suoritustavat: Loppukoe.