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

Opintojakson vastuuhenkilö
Frank Cameron

Opettajat
Frank Cameron

Toteutuskerrat

	Periodi 1	Periodi 2	Periodi 3	Periodi 4	Kesä
Luento	4 h/vko	-	-	-	-
Harjoitus	3 h/vko	-	-	-	-
Tentti

(Lukuvuoden 2006-2007 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.	Joukko-oppi - leikkaus, unioni, erotus, komplemennti - osajoukko ja osajoukkotoditus
3.	Funktiot - funktioiden yhdistäminen - rekurssiviset funktiot
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	MATP-2100	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.05.2006
Muokkaaja	Tiina Suominen