Opintojakson tiedot

5 op / 135 tuntia opiskelijan työtä

Suomi

Opintojakso järjestetään syyslukukaudella  periodilla 1. Suositeltava suoritusajankohta opintojaksolle on 2. vuoden syyslukukausi.

Tämän perusopintotason kurssin suorittanut opiskelija kykenee käyttämään lauselogiikan tuloksia lauseen totuusarvon määräämiseen ja kykenee kääntämään luonnollisen kielen lauseita symbolimuotoon ja osaa soveltaa päättelymekanismeja yksinkertaisten väittämien todistamiseen. Hän osaa toteuttaa peruslaskutoimitukset eri lukujärjestelmissä ja kykenee muuntamaan luvun lukujärjestelmästä toiseen. Opiskelija tunnistaa keskeiset graafityypit ja niiden ominaisuudet ja ymmärtää graafiteorian keskeiset käsitteet. Hän osaa soveltaa diskreetin matematiikan formaaleja menetelmiä (kuten formaalit kieliopit, automaatit, jonokoneet ja Turingin koneet) yksinkertaisten tietojenkäsittelytehtävien mallintamiseen ja kykenee rakentamaan yksinkertaisen tehtävän toteuttavan formaalin mallin.

1. Logiikan alkeita. 2. Matemaattinen induktio 3. Lukuteorian alkeita. 4 Joukko-oppia 5. Graafien teoriaa.

6. Formaalien kielien alkeita. 7. Automaatit ja Turingin koneet

Lähiopetus.

Luento-opetus 28 h / Pienryhmäopetus 14 h / Itsenäinen opiskelu 93 h.

2. vuoden tietotekniikan opiskelijat

Ei esitietovaatimuksia

-

Suositeltava kirjallisuus: Rosen K.H.: Discrete Mathematics and Its Applications. Gersting J.L.: Mathematical Structures for Computer Science.

Opintojakson voi suorittaa joko välikokeilla (2 kpl) tai loppukokeella.

Lue lisää opintosuoritusten arvostelusta yliopiston verkkosivulta.

Opintojaksolla käytetään numeerista arviointiasteikkoa 0-5. Numeerisessa asteikossa nolla merkitsee hylättyä suoritusta.

Matti Peltola

-