TIEP1020 Diskreetit rakenteet (5 op)
Kuvaus
Sisältö
Lausekepuu, Backus-Naur format, sitovuustasot ja sitovuuden suunta. Propositiologiikan perusoperaattorit, päättelyoperaattorit, normaalimuodot. Päättelytapoja. Määrittelemättömien lausekkeiden käsittely. Kvanttorit. Ohjelman tilaa koskevien täsmällisten ilmausten muodostaminen. Ohjelmista ja spesifikaatioista päätteleminen. Ajan salliessa tiedon esittämiseen liittyviä asioita, kuten modulaarinen aritmetiikka.
Opetusmuodot: Luennot, tietokoneistetut kotitehtävät ja harjoitustapaamiset
Suoritustavat
Kurssilla tehdään viikottain kotitehtäviä, joihin tietokone antaa palautetta. Kotitehtäviä käsitellään viikottaisissa harjoitustapaamisissa. Keräämällä kotitehtävistä ja tapaamisista yhteensä riittävästi pisteitä hankitaan oikeus osallistua tenttiin.
Arviointiperusteet
Arvosana määräytyy tentin perusteella. Tenttiin ei saa tulla ellei ole kerännyt riittävästi pisteitä kotitehtävistä.
Osaamistavoitteet
Kurssilla opitaan syntaksiin liittyviä peruskäsitteitä, propositio- ja predikaattilogiikkaa, sekä logiikan käyttöä ohjelmointiin ja perusmatematiikkaan liittyvien tehtävien ratkaisemisessa.
Esitietojen kuvaus
Lukion pitkä matematiikka tai MATY010 Matematiikan propedeuttinen kurssi tai lukion lyhyt matematiikka ja valmius tehdä erityisen paljon töitä. Ohjelmoinnin alkeistaidot.
Oppimateriaalit
Tietokoneistetut kotitehtävät. Luentoruudut.