Last modified: Fri Feb 20 10:25:14 1998 sos
| Date | Topic | Name |
|---|---|---|
| Jan 21 | Course organization, introduction | Pekka Nikander |
| Jan 28 | No lecture | |
| Feb 4 | No lecture | |
| Feb 11 | 2.0-2.3 | Jonna Partanen |
| intro to modal logic | Sanna Suoranta | |
| Feb 18 | 2.4, 2.6-2.8 | Ahti Rissanen |
| Simmons | Timo Aalto | |
| Feb 25 | Appendix A | Juha Pärssinen |
| Keijo Heljanko | ||
| Mar 4 | Carlsen | Timo Aalto |
| 3.0-3.5 | Antti Huima | |
| Mar 11 | 4.0-4.3 | Ursula Holmström & Ahti Rissanen |
| Mar 18 | 4.4-4.7 | Keijo Heljanko & Juha Pärssinen |
| Mar 25 | 5.0-5.3 | Jonna Partanen & Ursula Holmstöm |
| Apr 1 | 5.4-5.6 | Antti Huima & Timo Aalto |
| Apr 8 | 6.0-6.2 | Sanna Suoranta |
| Bieber | Ahti Rissanen | |
| Apr 22 | BAN, Boyd-Mao | Sanna Suoranta |
| GNY SVO | Keijo Heljanko | |
| Apr 29 | Autlog | Juha Pärssinen |
| 6.3 - 6.4 | Antti Huima | |
| May 6 | 7.0-7.3 | Ursula Holmström & Jonna Partanen |