Opintojaksolla käsitellään: Matemaattisen päättelyn ja logiikan alkeita, Suora ja epäsuora päättely, Negaation muodostaminen, Kyyhkyslakkaperiaate, Rekursio, induktiotodistus, rakenteellinen induktio, Tietokoneohjelmien todistamisessa tarvittavia käsitteitä. Joukko-opin alkeita. Äärellisyys, numeroituvuus ja ylinumeroituvuus. ESITIETOVAATIMUKSENA MATP1700 Tekniikan alan matematiikan valmistava kurssi ja perustiedot ohjelmoinnista.
Todistamisen ja päättelyn perusteet tekniikan alalle
Tarkista kohderyhmä!
Opintojakson toteutus: 11.01.2024 - 17.03.2024
Ilmoittautumisaika: 14.08.2023 - 04.01.2024
Kurssi: MATA2700
Laajuus: 5 OP
Järjestäjä: Jyväskylän yliopisto Matematiikan ja tilastotieteen laitos
Kenelle: ammattikorkeakouluopiskelijalle
Rajattu: Opintojaksolle odotetaan EduFutura-opiskelijoiksi Jyväskylän ammattikorkeakoulun IT-alan insinööriopiskelijoita, joiden tavoitteena on hakea informaatioteknologian tiedekunnan tarjoamaan tieto- ja ohjelmistotekniikan DI-ohjelmaan.