|
|
|||||||||||||||||
Opinto-opas 2012-2013
MATP-2200 Diskreetti matematiikka, 3 op
|
Vastuuhenkilö
Frank Cameron
Opetus
| Opetusmuoto | P1 | P2 | P3 | P4 | Toteutuskerrat | Luentoajat ja -paikat |
|
|
|
|
|
|
|
|
Suoritusvaatimukset
Joko tentti tai harjoituskokeet.
Osasuoritusten pitää liittyä samaan toteutuskertaan
Osaamistavoitteet
Kun kurssi on suoritettu,, opiskelija ymmärtää ja osaa soveltaa seuraavia asioita: - funktioon liittyvät käsitteet: määrittelyjoukko, mallijoukko, arvojoukko, injektio, surjektio, käänteisfunktio - seuraavat lukufunktiot: katto, pohja, mod, div, max ja min - seuraavat listafunktiot: head, tail, cons, cat, seq, pairs, - seuraavat funktiot: map, insert - listoja käsitelevien ei-rekursiivisten ja rekursiivisten funktioiden laskeminen ja muodostaminen - listoja käsitelevien ei-rekursiivisten ja rekursiivisten pseudokoodiproseduurien laskeminen ja muodostaminen - graafeja käsitelevien ei-rekursiivisten ja rekursiivisten pseudokoodiproseduurien laskeminen ja muodostaminen - binääripuita käsitelevien ei-rekursiivisten ja rekursiivisten pseudokoodiproseduurien laskeminen ja muodostaminen - binääripuita käsitelevien rekursiivisten pseudokoodiproseduurien laskeminen ja muodostaminen - graafin läpikulku syvyys ensin (depth-first) periaatteella - graafin läpikulku leveys ensin (breadth-first) periaatteella - lyhimmän polun löytäminen Dijkstran menetelmällä - kevyimmän virittävän puun muodostaminen Primin menetelmällä - binäärihakupuuhun liittyviä tehtäviä, esim. alkion lisääminen, annetun alkion etsiminen, maksimialkion etsiminen, jne - miten todistetaan lause induktion avulla - miten sovelletaan inkluusio-ekskluusioperiate - miten lasketaan kahden kokonaisluvun suurin yhteinen tekijä
Sisältö
| Sisältö | Ydinaines | Täydentävä tietämys | Erityistietämys |
| 1. | Funtiot - funktioiden rakentaminen - rekursiiviset funktiot - proseduuri | ||
| 2. | Joukko-oppi funktioita | ||
| 3. | Graafi ja graafifunktioita - graafin läpikulku - lyhyimmän polun tehtävä - pienin virittävä puu | ||
| 4. | Puu ja puufunktioita - binäärihakupuu - binääripuu ja Huffman-koodaus | ||
| 5. | Induktio | ||
| 6. | Inkluusio-eksluusio periaate | ||
| 7. | Jaollisuus -suurin yhteinen tekijä |
Oppimateriaali
| Tyyppi | Nimi | Tekijä | ISBN | URL | Painos,saatavuus... | Tenttimateriaali | Kieli |
| Kirja | Discrete Structures, Logic, and Computability | James L. Hein | 0763718432 | 2002 | Suomi | ||
| Opintomoniste | Diskreettimatematiikan paloja | Frank Cameron | Suomi |
Esitietovaatimukset
| Opintojakso | P/S | Selite |
| MATP-2100 Algoritmimatematiikka | Pakollinen |
Esitietoketju (Vaatii kirjautumisen POPiin)
Vastaavuudet
| Opintojakso | Vastaa opintojaksoa | Selite |
|
|
|
Tarkempia tietoja toteutuskerroittain
| Toteutus | Kuvaus | Opetusmuodot | Toteutustapa |
|
Lähiopetus: 0 % Etäopetus: 0 % Itseopiskelu: 0 % |
Opintojaksoon liittyvät dokumentit