Opinto-opas 2015-2016

MAT-02650 Algoritmimatematiikka, 4 op
Mathematics for Algorithms

Vastuuhenkilö

Terhi Kaarakka, Jani Hirvonen

Opetus

Toteutuskerta 1: MAT-02650 2015-02

Opetusmuoto P1 P2 P3 P4 Kesä
Luennot
Harjoitukset
 28 h/per
 18 h/per


 


 


 


 

Luentoajat ja -paikat: Tiistai 16 - 18 SA203/S2 , Torstai 16 - 18 SA203/S2

Suoritusvaatimukset

Hyväksytysti suoritettu tentti sekä hyväksytty harjoitussuoritus.

Osaamistavoitteet

Opintojakson suorittamisen jälkeen opiskelija pystyy selittämään, milloin joukot (relaatiot, funktiot) ovat samat, todistamaan samuuden ja käyttämään samuutta muokattaessa ja sievennettäessä joukkolausekkeita. Opiskelija tunnistaa relaatioista funktion, tunnistaa sen ominaisuuksia ja pystyy osoittamaan sen injektiivisyyden ja surjektiivisuuden sekä etsimään käänteisfunktion, jos sellainen on olemassa. Opiskelija tuntee logiikan konnektiivien merkityksen, pystyy osoittamaan loogiset lauseet samoiksi ja suorittamaan loogisten lausekkeiden sieventämistä ja muokkaamista. Opiskelija pystyy suorittamaan helpohkoa loogista päättelyä tunnettujen pätevien teorioiden avulla. Opiskelija osaa käyttää kvanttoreita ja ymmärtää esimerkiksi niiden järjestyksen merkityksen. Opiskelija pystyy lukemaan predikaattilogiikan päättelyitä ja tunnistaa niiden oikeellisuuden. Opiskelija pystyy muodostamaan helppoja induktiivisia joukkoja ja rekursiivisia funktioita. Opiskelija osaa todistaa induktiolla.

Sisältö

Sisältö Ydinsisältö Täydentävä tietämys Erityistietämys
1. TIETORAKENTEISTA: Todistusmenetelmiä, joukko-oppia, muita tietorakenteita   Äärellisten joukkojen mahtavuus   
2. RELAATIO JA FUNKTIO: Relaatioita ja niiden ominaisuuksia, ekvivalenssirelaatio, funktioita ja niiden ominaisuuksia (mm. injektio, surjektio, bijektio)  Sulkeumat, joukkojen mahtavuus (äärettömät joukot, numeroituvat ja ylinumeroituvat joukot), kasvunopeuksia ja aikavaativuuksia.    
3. LOGIIKKAA: Propositiologiikkaa, looginen päättely, predikaattilogiikkaa   Normaalimuodot, predikaattilogiikan päättely.  Propositiologiikan ekvivalenssien todistaminen 
4. INDUKTIO ja REKURSIO: Induktiivisesti määritellyt joukot, rekursiivisesti määritellyt funktiot, matemaattinen induktio  Listat   
5. Boolen algebra     

Ohjeita opiskelijalle osaamisen tasojen saavuttamiseksi

Opintojakson suorittamiseen kuuluvat pakolliset harjoitukset ja tentin suorittaminen. Ahkeralla harjoitusten tekemisellä opiskelija voi korottaa saman toteutuskerran hyväksyttyä arvosanaa bonuspisteillä (max. yhdellä arvosanalla) Jos opiskelija suoriutuu ydinainekseen kuuluvien lasku- ja todistustehtävien tekemisestä hyvin, niin se riittää opintojakson läpäisemiseen arvosanalla 3. Taitava suoriutuminen ja täydentävän tietämyksen hallinta oikeuttaa arvosanoihin 4 tai 5.

Arvosteluasteikko:

Opintojaksolla käytetään numeerista arviointiasteikkoa (1-5)

Oppimateriaali

Tyyppi Nimi Tekijä ISBN URL Lisätiedot Tenttimateriaali
Kirja   Discrete Mathematics   Hein         Ei   
Kirja   Johdatus diskreettiin matematiikkaan   Merikoski ym         Ei   
Kirja   Logic and Discrete Mathematics:A Computer Science Perspective   Grassmann, Tremplay         Ei   

Esitietovaatimukset

Opintojakso P/S Selite
MAT-01100 Insinöörimatematiikka X 1 Pakollinen   1
MAT-01110 Insinöörimatematiikka A 1 Pakollinen   1
MAT-01120 Insinöörimatematiikka B 1 Pakollinen   1
MAT-01130 Insinöörimatematiikka C 1 Pakollinen   1
MAT-01160 Matematiikka 1 Pakollinen   1
MAT-01200 Insinöörimatematiikka X 2 Suositeltava    

1 . Esitietona Insinöörimatematiikka 1 (A/B/C/X) tai Matematiikka 1.



Vastaavuudet

Opintojakso Vastaa opintojaksoa  Selite 
MAT-02650 Algoritmimatematiikka, 4 op MAT-21161 Algoritmimatematiikka, 4 op  

Viimeksi muokattu 14.01.2016