Opinto-opas 2012-2013 Pori Perus Pori KV Jatko Avoin |Tutkinnot|     |Opintokokonaisuudet|     |Opintojaksot|

Opinto-opas 2012-2013

MATP-2100 Algoritmimatematiikka, 3 op Mathematics for Algorithms

Vastuuhenkilö

Reijo Laihia, Frank Cameron

Opetus

Opetusmuoto	P1	P2	P3	P4	Toteutuskerrat	Luentoajat ja -paikat
Luennot Harjoitukset	24 h/per  18 h/per				MATP-2100 2012-01	Tiistai 8 - 10, PORI Keskiviikko 12 - 14, PORI

Suoritusvaatimukset

Harjoituskokeet tai tentti.
Osasuoritusten pitää liittyä samaan toteutuskertaan

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 osaa muodostaa loogisen lauseen totuustaulun, osaa logiikan laskulakeja käyttäen muokata annetusta logiikan lauseesta sitä vastaavan ekvivalentin logiikan lauseen. Päättelysääntöjä käyttäen opiskelija osaa todistaa, että annetun väitelauseen johtopääiös on tosi tai epätosi. Joukko-opin laskulakeja käyttäen opiskelija osaa todistaa joukko-oppiin liittyviä väitelauseita todeksi tai epätodeksi. Joukko-opin laskulakeja ja relaatioiden ominaisuuksia käyttäen opiskelija osaa muodostaa uusia relaatioita ja osoittaa, että yhdistämällä saaduilla relaatioilla on tiettyjä väitettyjä ominaisuuksia.

Sisältö

Sisältö	Ydinaines	Täydentävä tietämys	Erityistietämys
1.	Propositiologiikka - ekvivalentteja lausekeita - päättely
2.	Todistaminen
3.	Joukko-oppi - leikkaus, unioni, erotus, komplementti - osajoukko ja osajoukkotoditus
4.	Relaatiot - relaatioiden yhdistäminen - relaatioiden ominaisuuksia

Oppimateriaali

Tyyppi	Nimi	Tekijä	ISBN	URL	Painos,saatavuus...	Tenttimateriaali	Kieli
Kirja	Logic and discrete mathematics: A Computer Science Perspective	Winfried Karl Grossmann, Jean-Paul Tremblay	0-13-501206-6		1996		Englanti
Opintomoniste	Diskreettimatematiikan paloja	Frank Cameron					Suomi

Esitietovaatimukset

Opintojakso	P/S	Selite
MATP-1311 Matematiikka P1	Suositeltava

Esitietoketju (Vaatii kirjautumisen POPiin)

Vastaavuudet

Opintojakso	Vastaa opintojaksoa	Selite
MATP-2100 Algoritmimatematiikka, 3 op	PLA-12100 Algoritmimatematiikka, 3 op

Tarkempia tietoja toteutuskerroittain

Toteutus	Kuvaus	Opetusmuodot	Toteutustapa
MATP-2100 2012-01	Algoritmimatematiikassa käsitellään propositiologiikkaa, todistamista, joukko-oppia ja relaatioita. Kurssissa on luentoja 24 h ja harjoituksia 18 h.

Opintojaksoon liittyvät dokumentit

MATP2100.pdf

Viimeksi muokattu

12.06.2012