Yliopiston etusivulle Suomeksi Inte på svenska No english version available
Helsingin yliopisto Tietojenkäsittelytieteen laitos
 

Tietojenkäsittelytieteen laitos

Laskennan teoria, syksy 2004, kurssimateriaali

Luentokalvot

Kaikki luennot PDF, PS (neljä sivua/arkki)

(PDF tarkoitettu ruudulla luettavaksi, PS paperitulostukseen)

  • sivut 1-16 PDF, PS
  • sivut 17-48 PDF, PS
  • sivut 49-79 PDF, PS
    Korjattu 25.10.: sivu 66 (parissa kohtaa q -> q'), sivu 73 (n -> k), sivu 77 (lisätty f(x,1)), sivu 78 (viimeinen ranskalainen viiva)
  • sivut 80-110 PDF, PS
  • sivut 111-134 PDF, PS
    Korjattu 3.11.: sivu 126 viimeinen kappale pitää olla ''z kuuluu joukkoon L_ep''
  • sivut 135-163 PDF, PS
  • sivut 164-199 PDF, sivut 164-195 PS
    Korjaus 16.11.: sivu 188 "syvyyssuuntaisesti" -> "leveyssuuntaisesti"
    Huom. Korjaus 16.11.: Lisätty uusi sivu 198. Tulostamisen helpottamiseksi (?) tämän sivun sisältävä lehti on PS-versiossa siirretty seuraavaan pakettiin.
  • sivut 200-237 PDF, sivut 196-237 PS
    Korjauksia 24.11.: sivulla 215 vaihdettu q_0 -> q_1
    sivuilla 223-224 korjattu luennolla havaittu virhe
  • sivut 238-269 PDF, PS
Korjattu 26.11.: sivuilla 111-163 lauseiden yms. numerointi oli sekaisin.
Korjattu 8.12.: sivulla 191 "G={" -> "E={".
Korjattu 16.12.: sivulla 228 kahdelle viimeiselle riville lisätty puuttuvat sulut; sivulla 229 viimeinen "psi(...)" -> "psi(...)=1"; sivulla 261 viimeinen "aikakonstruoituva" -> tilakonstruoituva

Luentojen eteneminen:

  1. ma 11.10. sivut 1-16
  2. ke 13.10. sivut 17-26
  3. ma 18.10. sivut 27-48
  4. ke 20.10. sivut 49-69
  5. ma 25.10. sivut 70-89
  6. ke 27.10. sivut 90-105
  7. ma 1.11. sivut 104-117
  8. ke 3.11. sivut 118-128
  9. ma 8.11. sivut 129-143
  10. ke 10.11. sivut 143-163
  11. ma 15.11. sivut 164-184
  12. ke 17.11. sivut 185-207
  13. ma 22.11. sivut 208-212
  14. ke 24.11. sivut 212-226
  15. ma 29.11. sivut 227-238
  16. ke 1.12. sivut 239-247, 258-268

Laskuharjoitukset

(PS lienee yleensä siistimpi)

  1. 18.-22.10.: tehtävät (PS, PDF); malliratkaisut
  2. 25.-29.10.: tehtävät (PS, PDF); malliratkaisut
  3. 1.11-5.11.: tehtävät (PS, PDF); malliratkaisut
  4. 8.11-12.11.: tehtävät (PS, PDF); malliratkaisut
  5. 15.11-19.11.: tehtävät (PS, PDF); malliratkaisut
  6. 22.11-26.11.: tehtävät (PS, PDF); malliratkaisut
  7. 29.11-3.12.: tehtävät (PS, PDF); malliratkaisut
  8. 7.12.-10.12.: tehtävät (PS, PDF); malliratkaisut

Takaisin kurssin kotisivulle


Jyrki Kivinen