Tik-79.148 Tietojenkäsittelyteorian perusteet (2 ov.)
Uutta
Yleistä
Opintojakson tarkoituksena on perehdyttää opiskelijat
tietojenkäsittelyteorian perusteisiin. Opintojaksolla käsitellään
formaaleja kieliä Chomskyn kielihierarkian pohjalta, äärellisiä
automaatteja, pinoautomaatteja, Turingin koneita sekä laskettavuuden
teoriaa.
- Luennoitsija: TkL Rauno Heinonen (Rauno.Heinonen@vtt.fi)
- Luennot: tiistaisin 16-18 T2, alkuun ti 17-19 T1
- Harjoitukset: kaksi ryhmää: ke 16-17 T2 tai pe 9-10 T2
- Assistentti: Tommi Syrjänen (tssyrjan@cc.hut.fi)
- Kurssimateriaali: Lewis, Papadimitriou: Elements of the Theory
of Computation sekä opetusmonisteet.
- Suoritus: Tentti, seuraavan kerran 19.5. 12-15 T1, T2
- Uutisryhmä: opinnot.tik.tkt
Harjoitukset
Harjoitustehtävät ovat pääasiassa oppikirjasta, ja ne julkaistaan
tällä kotisivulla ja opinnot.tik.tkt-uutisryhmässä. Tehtäväpapereita
on saatavilla lokerikossa huoneen TB336 edustalla. Tehtävien
ratkaisut tulevat opetusmonisteina sekä ps-muodossa kotisivulle.
Laskuharjoituksista ei saa lisäpisteitä.
Muuta
-
Tenttivaatimukset (Tulevat prujuissa, älä tulosta)
- Linkki kurssin Topisivulle
- Kurssin oppikirjasta ilmestyi viime vuonna uudistettu painos.
Molemmat painokset kelpaavat kurssin suorittamiseen, mutta uusi painos
on hieman helppolukuisempi kuin vanhempi. Monet määritelmistä ovat
saaneet kosmeettisia muutoksia, mutta mitään oleellisia eroja niissä
ei ole. Tentissä hyväksytään molempien painosten mukaiset määritelmät.
Gödel-numerointi on jätetty pois uudesta kirjasta, joten sitä koskevat
asiat kannattaa käydä kuuntelemassa luennolla. Kirjojen
vastaavuudet ovat erillisellä sivulla.
Päivitetty: 19.3.1999 Tommi Syrjänen