Perustuu ACM-kurssiin Discrete Structures
Uuden kurssin perustana on “ACM core Discrete Structures -kokonaisuus
(43 core hours), johon tämän kuuluvat Funktiot, relaatiot ja joukot (Functions, realtions
and sets) (6), Logiikan perusteet (Basic Logic) (10), Todistustekniikat (Proof
Techniques) (12), Laskennan perusteet (Basic counting) (5), Verkot ja puut
(Graphs and trees) (4) sekä Diskreetti todennäköisyys (Discrete probability (6).
Kurssikuvaus:
Kurssilla opitaan perusteet joukko-opista, funktioista, relaatioista, logiikasta, diskreetistä
todennäköisyyslaskennasta ja matemaattisesta päättelystä. Lisäksi perehdytään lukujärjestelmiin
ja tiedon esitykseen tietokoneessa sekä verkkoteorian käsitteistöön. Tavoitteena on, että kurssin
käyneelle tulevat tutuksi mm. sellaiset asiat kuin totuusarvot, loogiset lauseet, totuustaulut,
predikaattilogiikka, osittainen järjestys, bijektio, rekursiivinen funktio, operaattorit,
Pigeon hole- ja diagonaaliperiaate ja induktio. Eri aihealueisiin perehtymistä tukevat kurssiin
olennaisena osana kuuluvat laskuharjoitukset.
Voidaan korvata matematiikan kurssilla approbatur III.
Huom!
A. Jos approbatur III:n on kuitenkin jo ehtinyt sisällyttää matematiikan approbaturiin niin
sillä ei voi korvata kurssia diskreetit rakenteet!
B. Kurssi korvaa vanhemmissa tutkintovaatimuksissa olleen kurssin operaatiotutkimuksen ja
matematiikan perusteet (TJT Y30, 4 ov) eli ORMin. Asiasisällön puolesta leikkauspintaa
on kuitenkin vain 1-2 ov (todennäköisyyslaskenta, verkkoteoria,...).