MATP-2100 ALGORITMIMATEMATIIKKA, 3 op
|
Opintojakson vastuuhenkilö
Frank Cameron
Opettajat
Frank Cameron, lehtori, Frank.Cameron@tut.fi
Toteutuskerrat
Toteutus 1
Periodi 1 | Periodi 2 | Periodi 3 | Periodi 4 | Kesä | Opetuskieli | |
Luento | 4 h/vko | - | - | - | - | Vain suomeksi |
Harjoitus | 3 h/vko | - | - | - | - | Suomeksi, pyydettäessä englanniksi |
Tentti | Suomeksi, pyydettäessä englanniksi |
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 (100 %) tai
tentti ( 80 %) plus harjoitukset (20%)
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 |
Esitiedot
Tunnus | Nimi | OP | P/S |
MATP-1310 | Insinöörimatematiikka 1 | 3 | Suositeltava |
Huomautuksia
Viimeksi muokattu | 01.06.2005 |
Muokkaaja | Frank Cameron |