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 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:
- ma 11.10. sivut 1-16
- ke 13.10. sivut 17-26
- ma 18.10. sivut 27-48
- ke 20.10. sivut 49-69
- ma 25.10. sivut 70-89
- ke 27.10. sivut 90-105
- ma 1.11. sivut 104-117
- ke 3.11. sivut 118-128
- ma 8.11. sivut 129-143
- ke 10.11. sivut 143-163
- ma 15.11. sivut 164-184
- ke 17.11. sivut 185-207
- ma 22.11. sivut 208-212
- ke 24.11. sivut 212-226
- ma 29.11. sivut 227-238
- ke 1.12. sivut 239-247, 258-268
Laskuharjoitukset
(PS lienee yleensä siistimpi)
- 18.-22.10.: tehtävät (PS, PDF); malliratkaisut
- 25.-29.10.: tehtävät (PS, PDF); malliratkaisut
- 1.11-5.11.: tehtävät (PS, PDF); malliratkaisut
- 8.11-12.11.: tehtävät (PS, PDF); malliratkaisut
- 15.11-19.11.: tehtävät (PS, PDF); malliratkaisut
- 22.11-26.11.: tehtävät (PS, PDF); malliratkaisut
- 29.11-3.12.: tehtävät (PS, PDF); malliratkaisut
- 7.12.-10.12.: tehtävät (PS, PDF); malliratkaisut
Jyrki Kivinen

