|
|
|||||||||||||||||
Opinto-opas 2014-2015
PLA-12100 Algoritmimatematiikka, 3 op
|
Vastuuhenkilö
Timo Ranta, Frank Cameron
Opetus
| Opetusmuoto | P1 | P2 | P3 | P4 | Toteutuskerrat | Luentoajat ja -paikat |
|
|
|
|
|
|
|
Suoritusvaatimukset
2 vaihtoehtoa: 1.hyväksytysti suoritetut kokeet ja mahdollisesti harjoitustyöt tai 2.lopputentti.
Tarkat pisterajat ilmoitetaan erillisessä kurssikuvauksessa.
Osasuoritusten pitää liittyä samaan toteutuskertaan
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äätös on tosi tai epätosi. Opiskelija osaa keksiä esimerkin, kun pitäisi osoittaa, että kvanttorilla esitetty propositio on väärä. 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ö | Ydinsisältö | Täydentävä tietämys | Erityistietämys |
| 1. | Propositiologiikka - ekvivalentteja lausekkeita - päättely | ||
| 2. | Predikaattilogikka - olemassaolokvanttori ja kaikkikvantttori | ||
| 3. | Todistaminen | ||
| 4. | Joukko-oppi - leikkaus, unioni, erotus, komplementti - osajoukko ja osajoukkotodistus | ||
| 5. | Relaatiot - relaatioiden yhdistäminen - relaatioiden ominaisuuksia |
Oppimateriaali
| Tyyppi | Nimi | Tekijä | ISBN | URL | Painos,saatavuus... | Tenttimateriaali | Kieli |
| Opintomoniste | Diskreettimatematiikan paloja | Frank Cameron | Kyllä | Suomi |
Esitietoketju (Vaatii kirjautumisen POPiin)
Vastaavuudet
| Opintojakso | Vastaa opintojaksoa | Selite |
|
|
|
Tarkempia tietoja toteutuskerroittain
| Toteutus | Kuvaus | Opetusmuodot | Toteutustapa |
| Algoritmimatematiikassa käsitellään propositiologiikkaa, todistamista, joukko-oppia ja relaatioita. |
Opintojaksoon liittyvät dokumentit