T-79.5102 Laskennallisen logiikan erikoiskurssi (4 op) L VSyksy 2005Logiikkaan perustuvien menetelmien käyttö tietojenkäsittelyssä on lisääntynyt merkittävästi aivan viime vuosina. Tämän kehityksen taustalla ovat uudet toteutusmenetelmät loogiselle päättelylle, jotka yhdessä tietokoneiden kasvaneen suorituskyvyn kanssa ovat mahdollistaneet menetelmille aivan uudentyyppiä sovelluksia. Esimerkkeinä näistä mainittakoon digitaalipiirien verifointityökalut, automaattinen tuotekonfigurointi ja erilaiset rajoiteohjelmointisovellukset. Kurssilla tutustutuaan lauselogiikan parhaisiin toteutusmenetelmiin:
ja tietämystekniikassa käytettävään sääntöpohjaiseen päättelyyn:
Kurssi koostuu luennoista, laskuharjoituksista sekä kotitehtävistä, joissa tutustutaan käsiteltyihin menetelmiin perustuviin työkaluihin. Kotitehtävien aiheena ovat digitaalipiirien verifiointi ja suunnitteluongelman esittäminen sekä lauselogiikan toteutuvuusongelmana että stabiilien mallien hakuongelmana. Kurssi suoritetaan tekemällä kotitehtävät ja tentti. Kurssi on soveltuu kaikille formaaleista menetelmistä kiinnostuneille ja se on jatko-opintokelpoinen.
|