T-79.3001 Logiikka tietotekniikassa: perusteet (4 op)
Luennot
|
|
|
|
|
|
|||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 21.01.2009 | 4 | Ke | 14.15-16.00 | 30T1 | Kurssikäytännöt ja johdanto | |||||||
| 28.01.2009 | 5 | Ke | 14.15-16.00 | 30T1 | L1: Lauselogiikan syntaksi ja semantiikka | |||||||
| 04.02.2009 | 6 | Ke | 14.15-16.00 | 30T1 | L2: Semanttiset peruskäsitteet | |||||||
| 11.02.2009 | 7 | Ke | 14.15-16.00 | 30T1 | L3: Semanttiset taulut | |||||||
| 18.02.2009 | 8 | Ke | 14.15-16.00 | 30T1 | L4: Klassiset todistusjärjestelmät | |||||||
| 25.02.2009 | 9 | Ke | 14.15-16.00 | 30T1 | L5: Normaalimuodot ja resoluutio | |||||||
| 04.03.2009 | 10 | Ke | 14.15-16.00 | 30T1 | L6: Laskennallinen vaativuus | |||||||
| 18.03.2009 | 12 | Ke | 14.15-16.00 | 30T1 | L7: Predikaattilogiikka: syntaksi ja semantiikka | |||||||
| 25.03.2009 | 13 | Ke | 14.15-16.00 | 30T1 | L8: Predikaattilogiikka: peruskäsitteet ja normaalimuodot | |||||||
| 01.04.2009 | 14 | Ke | 14.15-16.00 | 30T1 | L9: Predikaattilogiikka: semanttiset taulut | |||||||
| 08.04.2009 | 15 | Ke | 14.15-16.00 | 30T1 | L10: Predikaattilogiikka: tietämyksen esittäminen | |||||||
| 22.04.2009 | 17 | Ke | 14.15-16.00 | 30T1 | L11: Ohjelmien oikeellisuustarkastelut | |||||||
| 29.04.2009 | 18 | Ke | 14.15-16.00 | 30T1 | L12: Predikaattilogiikka: resoluutio | |||||||