PLA-12201 Diskreetti matematiikka, 4 op
Discrete Mathematics
Lisätiedot
SEFI Core Level 2
Vastuuhenkilö
Juha Tanttu, Timo Ranta, Frank Cameron
Opetus
| Toteutuskerta | Periodi | Vastuuhenkilö | Suoritusvaatimukset |
| PLA-12201 2016-01 | 3 - 4 |
Frank Cameron Timo Ranta Juha Tanttu |
Osaamistavoitteet
Kurssissa perehdytetään logiikan ja diskreetin matematiikan käsitteisiin, joita käytetään usein ohjelmointikielissä, tietokantajärjestelmissä ja algoritmeissa. Kurssin käytyään opiskelija ymmärtää kvanttorit ja osaa käyttää niitä. Opiskelija osaa osoittaa yksinkertaisia lauseita oikeaksi. Opiskelija ymmärtää mikä on relaatio, käänteisrelaatio ja kahden relaation yhdistäminen. Opiskelija ymmärtää seuraavat relaation ominaisuudet: refleksiivisyys, epärefleksiivisyys, symmetrisyys, epäsymmetrisyys ja transitiivisuus. Opiskelija ymmärtää mikä on funktio, funktion määrittelyjoukko, funktion mallijoukko, funktion arvojoukko, injektio, surjektio ja käänteisfunktio. Opiskelija ymmärtää mikä on ero rekursiivisen ja ei-rekursiivisen funktioiden välillä. Opiskelija osaa laskee sekä rekursiiviset että ei-rekursiiviset yksinkertaiset pseudokoodiproseduurit. Opiskelija osaa laskea kahden luonnollisten luvun suurimman yhteisen tekijän. Opiskelija osaa käyttää modulaariaritmetiikkaa. Opiskelija ymmärtää graafeihin liittyviä käsiteitä: pisteet, viivat, pisteen aste, yhtenäisyys, kulku, polku, jne. Opiskelija ymmärtää graafeja käsitelevien ei-rekursiivisten ja rekursiivisten pseudokoodiproseduureja.
Sisältö
| Sisältö | Ydinsisältö | Täydentävä tietämys | Erityistietämys |
| 1. | Predikaattilogikka - olemassaolokvanttori ja kaikkikvantttori | ||
| 2. | Todistaminen | ||
| 3. | Relaatiot - relaatioiden yhdistäminen - relaatioiden ominaisuuksia - osittaisjärjestysrelaatio - ekvivalenssirelaatio | ||
| 4. | Funtiot - rekursiiviset funktiot - proseduuri | ||
| 5. | Jaollisuus - suurin yhteinen tekijä ja Diofantoksen yhtälö - alkuluku - modulaariaritmetiikka | ||
| 6. | Graafi ja graafifunktioita - graafiin liittyvät käsitteet - graafin läpikulku - lyhyimmän polun tehtävä - pienin virittävä puu |
Oppimateriaali
| Tyyppi | Nimi | Tekijä | ISBN | URL | Lisätiedot | Tenttimateriaali |
| Muu kirjallisuus | Diskreettimatematiikan paloja | Frank Cameron | Kyllä | |||
| Muu verkkomateriaali | luentovideot | Frank Cameron | jaetaan Moodlen kautta | Ei |
Esitietovaatimukset
| Opintojakso | P/S | Selite |
| PLA-11310 Matematiikka P1 | Pakollinen |
Tietoa esitietovaatimuksista
Kurssi Matematiikka P1 on pakollinen esitieto syksyllä 2016 aloittaville opiskelijoille.
Kurssi Algoritmimatematiikka on pakollinen esitieto aiemmin aloittaneille opiskelijoille.
Vastaavuudet
Opintojakso ei vastaan mitään toista opintojaksoa