Uusi opinto-opas (sisältäen myös opetusohjelmat) lukuvuodelle 2018-2019 sijaitsee osoitteessa https://opas.peppi.utu.fi . Tältä sivustolta löytyvät enää vanhat opinto-oppaat ja opetusohjelmat.

The new study guide (incl. teaching schedules) for academic year 2018-2019 can be found at https://studyguide.utu.fi. This site contains only previous years' guides.

x !
Arkistoitu opetusohjelma 2017–2018
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
MATE5114 Logiikka 4 op
Periodit
I Periodi II Periodi II Periodi IV Periodi
Opetuskieli
suomi
Tyyppi
Aineopinnot
Käy seuraavien opintojaksojen suoritukseksi
  • MATE5114 Logiikka
    Osallistuminen opetukseen
Matematiikka
Matematiikan ja tilastotieteen laitos

Osaamistavoitteet

Kurssin keskeinen tavoite on matematiikassa - ja myös muissa tieteissä - esiintyvien loogisten rakenteiden hallitseminen. Samalla kurssin on tarkoitus kehittää algoritmista ajattelua. Tämä on tärkeää useiden syventävien opintojen luentokurssien kannalta. Kurssin suorittaneen opiskelijan on hallittava todistaminen formaalisessa teoriassa.

Vastaava opettaja

Vesa Halava
vesa.halava[ät]utu.fi

Opintojakson kotisivu

Opetus

Luento-opetus 28 t
Ma 8.1.2018 - 19.2.2018 viikoittain klo 10.00-12.00, Quantum Auditorio
Ke 10.1.2018 - 21.2.2018 viikoittain klo 10.00-12.00, Quantum Auditorio
Harjoitukset 12 t
Demoryhmä 1
To 18.1.2018 - 22.2.2018 viikoittain klo 8.00-10.00, M3
Demoryhmä 2
To 18.1.2018 - 22.2.2018 viikoittain klo 10.00-12.00, M3
Demoryhmä 3
To 18.1.2018 - 22.2.2018 viikoittain klo 12.00-14.00, M3