T-79.3001 Logiikka tietotekniikassa: perusteet (4 op)

Kevät 2008

Kurssin tavoitteena on perehdyttää opiskelijat lause- ja predikaattilogiikkaan ja niiden sovellutuksiin tietotekniikassa. Keskeisiä aiheita ovat näiden logiikkojen malli- ja todistusteoriat sekä automaattisen teoreemantodistamisen ja logiikkaohjelmoinnin pohjana oleva resoluutiosääntö. Kurssilla tutustutaan myös tietämyksen esittämisen problematiikkaan sekä ohjelmien oikeellisuustodistusten periaatteisiin.

Kurssi koostuu viikottaisista luennoista ja laskuharjoituksista. Näiden lisäksi kurssiin sisältyy pakollisia henkilökohtaisia kotitehtäviä, jotka tehdään tietokoneavusteisesti (lisätietoja automaattisesta kotitehtäväjärjestelmästämme löytyy palvelimelta http://logic.tcs.hut.fi). Kurssin suorittaminen edellyttää kotitehtävien ja tentin suorittamista hyväksyttävästi.

Huom! Laskuharjoitusaktiivisuus vaikuttaa tentin arvosanaan bonuspisteiden kautta.

Kurssi sisältyy tietotekniikan koulutusohjelman pakollisiin opintoihin moduliin Tietotekniikka A1 (T202-1). Kurssin suositeltu suorittamisajankohta on toisen tai kolmannen opiskeluvuoden kevät.

• Kirjallisuus: luentomoniste.
• Luennot: maanantaisin klo 10—12, sali T1; kurssi alkaa 21.1.2008.
• Laskuharjoitukset: keskiviikkoisin klo 10—12 (sali T3) tai torstaisin klo 16—18 (sali T1) tai perjantaisin klo 14—16 (sali T1). Laskuharjoitukset alkavat 30.1.2008.
• Vastaava opettaja: Dos., TkT Tomi Janhunen, sähköposti Tomi.Janhunentkk.fi, kotisivu http://www.tcs.hut.fi/~ttj/.
• Esitiedot: T-79.1001/148 Tietojenkäsittelyteorian perusteet
• Kurssin kotisivu: http://www.tcs.hut.fi/Studies/T-79.3001/
• Uutisryhmä: opinnot.tik.logiikka