Opintojaksot   |Tutkinnot| |Opintokokonaisuudet| |Kaikki| |Jatko| |KV|

Opintojakson vastuuhenkilö
Frank Cameron

Opettajat
Frank Cameron

Toteutuskerrat

	Periodi 1	Periodi 2	Periodi 3	Periodi 4	Kesä
Luento	24 h/per	-	-	-	-
Harjoitus	18 h/per	-	-	-	-
Tentti

(Lukuvuoden 2007-2008 aikataulu)

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

Suoritusvaatimukset
Joko tentti tai harjoituskokeet

Opintojakson arviointikriteerit

Oppimateriaali

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

Esitiedot

Tunnus	Nimi	OP	P/S
MATP-1310	MATP-1310 Insinöörimatematiikka 1	3	Suositeltava

Esitietoketju (Vaatii kirjautumisen TTY Intranetiin)

Huomautuksia

Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa

- tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
- harjoitus-, ryhmä- tai laboratoriotöiden työstämisessä
- harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa

Mitoitus

Opetusmuodot	Tuntia
Luennot	48
Harjoitukset	36
Kaikki yhteensä	84

Viimeksi muokattu	16.04.2007
Muokkaaja	Frank Cameron