T-79.3001 Logiikka tietotekniikassa: perusteet (4 op)
Viikkoharjoitukset
Harjoitusryhmät
|
|
|
|
|
|||||
|---|---|---|---|---|---|---|---|---|---|
| H1 | To 16.15-18.00 | 30T1 | 29.01. - 05.03.2009 | ||||||
| H1 | To 16.15-18.00 | 30T1 | 19.03. - 23.04.2009 | ||||||
| H1 | Ma 14.15-16.00 | 30T1 | 04.05. - 04.05.2009 | ||||||
| H2 | Pe 14.15-16.00 | 30T1 | 30.01. - 06.03.2009 | ||||||
| H2 | Pe 14.15-16.00 | 30T1 | 20.03. - 24.04.2009 | ||||||
| H2 | Ma 14.15-16.00 | 30T1 | 04.05. - 04.05.2009 | ||||||
| H3 | Ma 14.15-16.00 | 30T1 | 02.02. - 02.03.2009 | ||||||
| H3 | Ma 14.15-16.00 | 30T1 | 16.03. - 16.03.2009 | ||||||
| H3 | Ma 14.15-16.00 | 30T1 | 23.03. - 04.05.2009 | ||||||
Harjoitusmateriaali
|
|
|
||||
|---|---|---|---|---|---|---|
| 1 | Lauselogiikan syntaksi | |||||
| 2 | Lauselogiikan semantiikka | |||||
| 3 | Semanttiset peruskäsitteet, semanttiset taulut | |||||
| 4 | Klassiset todistusjärjestelmät | |||||
| 5 | Normaalimuodot | |||||
| 6 | Resoluutio | |||||
| 7 | Predikaattilogiikan syntaksi ja semantiikka | |||||
| 8 | Predikaattilogiikan peruskäsitteitä | |||||
| 9 | Semanttiset taulut | |||||
| 10 | Tietämyksen esittäminen | |||||
| 11 | Ohjelmien oikeellisuustarkastelut | |||||
| 12 | Kertaus | |||||
Laskuharjoituspisteet
Tulokset on koottu muun materiaalin alaisuuteen (päivitetty 3.6.).