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

Opintojakson vastuuhenkilö

Reijo Laihia, Frank Cameron

Toteutuskerrat

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

Suoritusvaatimukset

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

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

-

Tavoitteet

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

Sisältö

Sisältöalue	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

Tarkempia tietoja toteutuskerroittain

	Kuvaus	Opetusmuodot	Toteutustapa
Toteutus 1			Lähiopetus: 0 % Etäopetus: 0 % Itseopiskelu: 0 %

Viimeksi muokattu	15.09.2009
Muokkaaja	Tiina Suominen