Opinto-opas 2013-2014 Pori Perus Pori KV Jatko Avoin Haku |Opintojaksot|

Opinto-opas 2013-2014

PLA-12100 Algoritmimatematiikka, 3 op Mathematics for Algorithms

Vastuuhenkilö

Reijo Laihia, Frank Cameron

Opetus

Opetusmuoto	P1	P2	P3	P4	Toteutuskerrat	Luentoajat ja -paikat
Luennot Harjoitukset	12 h/per  9 h/per	+12 h/per +9 h/per			PLA-12100 2013-01

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

Esitietoketju (Vaatii kirjautumisen POPiin)

Vastaavuudet

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

Tarkempia tietoja toteutuskerroittain

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

Viimeksi muokattu

26.02.2013