T-79.3001 Logiikka tietotekniikassa: perusteet (4 op)
Harjoitustyöt
Kurssin suorittaminen edellyttää kolmen pakollisen kotitehtävän suorittamista hyväksytysti.
|
|
|||
|---|---|---|---|---|
| 27.02.2009 klo 23.59 |
Kotitehtävä 1 (myös tuloksia)
Lauselogiikan semanttiset taulut. Tunnukset kotitehtäväpalvelimelle lähetetään kurssille ilmoittautuneille, jotka eivät vielä ole suorittaneet kotitehtäviään. Osa jatkaa vanhojen tehtävänantojen mukaisesti.
|
|||
| 17.04.2009 klo 23.59 |
Kotitehtävä 2 (myös tuloksia)
Predikaattilogiikan semanttiset taulut.
|
|||
| 24.04.2009 klo 23.59 |
Kotitehtävä 3 (myös tuloksia)
Predikaattilogiikan totuusmääritelmä ja määritelmien kirjoittaminen predikaattilogiikalla.
|
Yleistä kotitehtävistä
- Arvostelu suoritetaan ohjelmallisesti asteikolla hyväksytty / hylätty.
- Kaikki kolme kotitehtävää tulee suorittaa hyväksytysti ennen tenttiä.
- Kotitehtävät jaetaan kotitehtäväpalvelimen välityksellä.
- Huhtikuussa 2009 järjestettiin erityinen kotitehtäväpaja (27.4.2009), joissa annettiin neuvoja kotitehtävien tekemiseen.
- Kotitehtävien suorituksia voi edelleen korjata ja täydentää, jotta tentteihin osallistuminen tulee mahdolliseksi.
Aikataulu kotitehtävien tekemiseen keväällä 2009
| KT | Tehtävänjako | Palautuspäivä |
| 1 | 11.2.2009 | 27.2.2009, 24:00 |
| 2 | 1.4.2009 | 17.4.2009, 24:00 |
| 3 | 8.4.2009 | 24.4.2009, 24:00 |