|
Opinto-opas 2010-2011
MATP-2100 Algoritmimatematiikka, 3 op
|
Vastuuhenkilö
Reijo Laihia, Frank Cameron
Opetus
Opetusmuoto | P1 | P2 | P3 | P4 | Toteutuskerrat | Luentoajat ja -paikat |
|
|
|
|
|
|
|
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. Kurssin käytyään opiskelija osaa muodostaa loogisen lauseen totuustaulun, osaa logiikan laskulakeja käyttäen muokata annetusta logiikan lauseesta sitä vastaavan ekvivalentin logiikan lauseen. Päättelysääntöjä käyttäen opiskelija osaa todistaa, että annetun väitelauseen johtopääiös on tosi tai epätosi. Joukko-opin laskulakeja käyttäen opiskelija osaa todistaa joukko-oppiin liittyviä väitelauseita todeksi tai epätodeksi. Joukko-opin laskulakeja ja relaatioiden ominaisuuksia käyttäen opiskelija osaa muodostaa uusia relaatioita ja osoittaa, että yhdistämällä saaduilla relaatioilla on tiettyjä väitettyjä ominaisuuksia.
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, komplementti - osajoukko ja osajoukkotoditus | ||
4. | Relaatiot - relaatioiden yhdistäminen - relaatioiden ominaisuuksia |
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
Opintojakso | P/S | Selite |
MATP-1311 Matematiikka P1 | Suositeltava |
Esitietoketju (Vaatii kirjautumisen POPiin)
Vastaavuudet
Opintojakso ei vastaan mitään toista opintojaksoa
Tarkempia tietoja toteutuskerroittain
Toteutus | Kuvaus | Opetusmuodot | Toteutustapa |
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 % |