Symbolinen laskenta

tekijä: Mikko Matias Saarimäki Viimeisin muutos maanantai 24. kesäkuuta 2013, 13.29
Symbolisen laskennan luentomonisteita ja harjoituksia.
Luennot 2003 — Viimeisin muutos tiistai 25. elokuuta 2009, 12.54
Luennot vuodelta 2003. Pitäjänä Jarkko Laitinen.
Harjoitukset 2003 — Viimeisin muutos maanantai 31. elokuuta 2009, 11.25
Harjoitukset vuodelta 2003 (joita on käytetty usein myöhemminkin).
Symbolinen laskenta 2012 — Viimeisin muutos maanantai 24. kesäkuuta 2013, 13.30
Symbolisen laskennan materiaalia syksyltä 2012. Kurssin vetäjänä Ari Lehtonen.