Opinto-opas 2009-2010 Pori Perus Pori KV Jatko Avoin |Tutkinnot|     |Opintokokonaisuudet|     |Opintojaksot|

Vastuuhenkilö

Reijo Laihia, Frank Cameron

Toteutuskerrat

	Luentoajat ja -paikat	Kohderyhmä, jolle suositellaan
Toteutus 1	Per 1 : Torstai 15 - 18, LK216 Per Kesä, 1 : Maanantai 10 - 12, LK216 Keskiviikko 8 - 10, LK216	Porin opiskelijat

Suoritusvaatimukset

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

Opetukseen ja oppimiseen liittyvät periaatteet ja lähtökohdat

-

Osaamistavoitteet

Kurssissa perehdytetään logiikan ja diskreetin matematiikan käsitteisiin, joita käytetään usein ohjelmointikielissä, tietokantajärjestelmissä ja algoritmeissa.

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, komplemennti - osajoukko ja osajoukkotoditus
4.	Relaatiot - relaatioiden yhdistäminen - relaatioiden ominaisuuksia
5.	Funktiot

Oppimateriaali

Tyyppi	Nimi	Tekijä	ISBN	URL	Painos,saatavuus...	Tenttimateriaali	Kieli
Kirja	Discrete structures, logic, and computability	James L. Hein	0-7637-1843-2		2002		Englanti
Kirja	Logic and discrete mathematics : a computer science perspective	Winnfried Grassmann	0-13-501206-6		1996		Englanti
Opintomoniste	Diskreettimatematiikan paloja	Frank Cameron					Suomi

Esitietovaatimukset

Vastaavuudet

Opintojakso ei vastaan mitään toista opintojaksoa

Tarkempia tietoja toteutuskerroittain

	Kuvaus	Opetusmuodot	Toteutustapa
Toteutus 1	Algoritmimatematiikassa käsitellään propositiologiikkaa, todistamista, joukko-oppia ja relaatioita. Kurssissa on luentoja 24 h ja harjoituksia 18 h.		Lähiopetus: 0 % Etäopetus: 0 % Itseopiskelu: 0 %

Viimeksi muokattu	27.03.2009
Muokkaaja	Reijo Laihia