Opinto-opas 2010-2011
Pori

Perus Pori KV Jatko Avoin

|Tutkinnot|     |Opintokokonaisuudet|     |Opintojaksot|    

Opinto-opas 2010-2011

MATP-2100 Algoritmimatematiikka, 3 op
Mathematics for Algorithms

Vastuuhenkilö

Reijo Laihia, Frank Cameron

Opetus

Opetusmuoto P1 P2 P3 P4 Toteutuskerrat Luentoajat ja -paikat
Luennot
Harjoitukset
 24 h/per
 18 h/per


 


 


 
MATP-2100 2010-01 Tiistai 8 - 10, Pori
Keskiviikko 14 - 16, Pori

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
MATP-2100 2010-01 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 %  

Viimeksi muokattu26.02.2010