2. teknistieteellinen tutkintokoulutus - Porin yksikkö - Tampereen ...

65MATP-2100 Algoritmimatematiikka, 3 opMathematics for Algorithms, 3 crVASTUUHENKILÖ: Reijo LaihiaOpetusmuoto P1 P2 P3 P4Luennot24 h/perHarjoitukset18 h/perOSAAMISTAVOITTEET:• Kurssissa perehdytetään logiikan ja diskreetin matematiikan käsitteisiin, joita käytetäänusein ohjelmointikielissä, tietokantajärjestelmissä ja algoritmeissa.• Kurssin käytyään opiskelija osaa muodostaa loogisen lauseen totuustaulun, osaalogiikan laskulakeja käyttäen muokata annetusta logiikan lauseesta sitä vastaavanekvivalentin logiikan lauseen.• Päättelysääntöjä käyttäen opiskelija osaa todistaa, että annetun väitelauseen johtopäätöson tosi tai epätosi.• Joukko-opin laskulakeja käyttäen opiskelija osaa todistaa joukko-oppiin liittyviä väitelauseitatodeksi tai epätodeksi.• Joukko-opin laskulakeja ja relaatioiden ominaisuuksia käyttäen opiskelija osaamuodostaa uusia relaatioita ja osoittaa, että yhdistämällä saaduilla relaatioilla ontiettyjä väitettyjä ominaisuuksia.SISÄLTÖ:• Propositiologiikka - ekvivalentteja lausekkeita - päättely• Todistaminen• Joukko-oppi - leikkaus, unioni, erotus, komplementti - osajoukko ja osajoukkotodistus• Relaatiot - relaatioiden yhdistäminen - relaatioiden ominaisuuksia.SUORITUSVAATIMUKSET: Harjoituskokeet tai tentti. Osasuoritusten pitää liittyä samaantoteutuskertaan.OPPIMATERIAALI:• Discrete structures, logic, and computability, James L. Hein (Kirja)• Logic and discrete mathematics : a computer science perspective, Winnfried Grassmann(Kirja)• Diskreettimatematiikan paloja, Frank Cameron (Opintomoniste)ESITIEDOT:MATP-1311 Matematiikka P1 Suositeltava