T-79.3001 Logiikka tietotekniikassa: perusteet (4 op)Kevät 2007Kurssin 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.
|