T-79.3001 Logiikka tietotekniikassa: perusteet (4 op)
Kurssiesite
| Laajuus | 4 op |
| Periodi | 24 + 24 (2 + 2) III-IV |
| Tavoitteet |
Suoritettuasi kurssin osaat aktiivisesti lukea, kirjoittaa ja muokata loogisia lausekkeita sekä määritelmiä. Hallitset logiikan semanttiset peruskäsitteet sekä osaat suorittaa näihin liittyviä päättelytehtäviä semanttisten taulujen menetelmällä. Tunnet myös klassisten todistusjärjestelmien perusteet. Ymmärrät, miten logiikkaa voidaan hyödyntää mm. ohjelmistojen määrittelyssä ja analysoinnissa. |
| Sisällön kuvaus | Lause- ja predikaattikalkyyli, niiden syntaksi, seman-tiikka ja todistusteoria. Logiikan sovelluksia tietotekniikassa. |
| Esitietovaatimukset | T-79.1001/1002. |
| Korvaavuudet | Korvaa opintojakson T-79.144 Logiikka tietotekniikassa: perusteet. |
| Kohderyhmä |
Kurssi sisältyy tietotekniikan koulutusohjelman moduuliin Tietotekniikka A1 (T202-1). Suositeltu suorittamisajankohta on toisen tai kolmannen opiskeluvuoden kevät. |
| Suoritustapa |
Kolme pakollista kotitehtävää ja tentti. |
| Arvosteluperusteet |
Tentistä saatu hyväksytty arvosana 1-5 määrää kurssiarvosanan. Laskuharjoitusaktiivisuus vaikuttaa tentin arvosanaan bonuspisteiden kautta. Kotitehtävät on suoritettava hyväksyttävästi ennen tenttiä. |
| Kirjallisuus |
Luentomoniste, joka toimitetaan kahdessa erässä. Periodin III erä toimitettiin painoon 22.1.09. Luentokalvoilla on esillä vain osa asioista. |
| Opetuskielet | Suomi. Kotitehtävien ohjeistus ja tehtävänannot englanniksi. Kurssi on suoritettavissa myös englanniksi. |
| Kurssin henkilökunta |
Dos. Tomi Janhunen, luennot; |
| Vastaanottoajat | Kts. luennoitsijan kotisivulta |
| Lisätietoja | Kussi on suoritettavissa myös englanniksi. |
| CEF-taso |
English Track
Lectures and lecture notes are mainly based on two textbooks that we recommend as the main references for foreign students:
- A. Nerode and R. Shore: Logic for Applications, Springer, 1997. Chapters I—III.
- M. Huth and M. Ryan: Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2000. Chapter 4.
Copies of both textbooks are available in the main library as well as the CS library. The material presented at tutorials will be translated into English—enabling English speaking students to attend. We recommend that English speaking students mainly attend the Friday tutorial session at 14:15 hours (hall T1). We inform about compulsory home assignments by sending email. Exam questions are translated into English by default.