PLA-12202 Diskreetti matematiikka, 5 op
Discrete Mathematics
Lisätiedot
SEFI Core Level 2
Kurssin luennot ovat videotallenteita, joita opiskelijat voivat itsenäisesti katsoa.
Suoritustapa: Opiskelija voi suorittaa kurssin osallistumalla lopputenttiin tai keräämällä riittävästi pisteitä seuraavista:
1. verkkohaastattelut (Skype tai vastaava), joissa opettaja kysyy harjoitustehtävien ratkaisuista
2. kaksi välikoetta, jotka pidetään läsnäolopäivinä
3. harjoitustyö
Vastuuhenkilö
Juha Tanttu, Timo Ranta, Frank Cameron
Opetus
| Toteutuskerta | Periodi | Vastuuhenkilö | Suoritusvaatimukset |
| PLA-12202 2019-01 | 3 - 4 |
Frank Cameron |
Suoritustapa: Opiskelija voi suorittaa kurssin osallistumalla lopputenttiin tai keräämällä riittävästi pisteitä seuraavista: 1. verkkohaastattelut (Skype tai vastaava), joissa opettaja kysyy harjoitustehtävien ratkaisuista 2. kaksi välikoetta, jotka pidetään läsnäolopäivinä 3. harjoitustyö |
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. | Todistaminen - olemassaolokvanttori ja kaikkikvantttori - suoratodistus - epäsuora todistus ristiriidan avulla | ||
| 2. | Relaatiot - relaatioiden yhdistäminen - relaatioiden ominaisuuksia - osittaisjärjestysrelaatio - ekvivalenssirelaatio - sulkeumat | ||
| 3. | Funtiot - lukufunktioita: div, mod, max, min jne - proseduuri | ||
| 4. | Induktio ja rekursio - induktiivisesti määritelty joukko - rekursiivinen funktio ja proseduuri - matemaatinen induktio - rakenteellinen induktio | ||
| 5. | Graafi ja graafifunktioita - graafiin liittyvät käsitteet - graafin läpikulku - lyhyimmän polun tehtävä - kevyin virittävä puu - Eulerin polku ja Hamiltonin polku | ||
| 6. | Jaollisuus - Eukleideen algoritmi |
Oppimateriaali
| Tyyppi | Nimi | Tekijä | ISBN | URL | Lisätiedot | Tenttimateriaali |
| Muu kirjallisuus | Diskreettimatematiikan perusteet | Frank Cameron | Opiskelija saa käyttää tätä kokeessa ja tentissä. | Kyllä | ||
| Muu verkkomateriaali | luetovideot ja kalvot | Frank Cameron | jaetaan Moodle kautta | Ei |
Esitietovaatimukset
| Opintojakso | P/S | Selite |
| PLA-11311 Matematiikka P1 | Pakollinen |
Vastaavuudet
| Opintojakso | Vastaa opintojaksoa | Selite |
| PLA-12202 Diskreetti matematiikka, 5 op | PLA-12201 Diskreetti matematiikka, 4 op |