TIES3510 Joukko-oppi ja logiikka ohjelmoinnissa (5 op)

Joukko-opin peruskäsitteet ja niiden käyttö tietosisällön ilmaisemiseen. Graafit. Joukko-opilliset käsitteet tietojenkäsittelytieteessä. Formaalin määritelmän ja todellisuuden välinen suhde. Määritelmän seurausten ennakointi.

Ymmärrys siitä, mitä täsmällinen ilmaiseminen tarkoittaa, ja milloin se on hyödyksi ja milloin haitaksi. Kyky käyttää joukko-opin ja logiikan merkintöjä spesifikaatioissa ja ohjelmoinnissa esiintyvien asioiden ilmaisemiseen täsmällisesti. Kyky ennakoida spesifikaatioiden seurauksia.

Kurssi on täysin uusi, joten sisältö voi jonkin verran poiketa aiotusta.

Luentoruudut ja osittain tietokoneistetut harjoitustehtävät.