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 2016–2017
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
Matematiikan ja tilastotieteen tutkinto-ohj. (LuK)
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
vehalava[ät]utu.fi

Opintojakson kotisivu

Opetus

Luento-opetus 28 t
Ma 9.1.2017 - 20.2.2017 viikoittain klo 10-12, ls I, päärakennus (Tauno Nurmela -sali)
Ke 11.1.2017 - 22.2.2017 viikoittain klo 10-12, Arc1, Arcanum
Harjoitukset 12 t
Demoryhmä 1
To 19.1.2017 - 23.2.2017 viikoittain klo 8-10, M3, Quantum
Demoryhmä 2
To 19.1.2017 - 23.2.2017 viikoittain klo 10-12, M3, Quantum
Demoryhmä 3
To 19.1.2017 - 23.2.2017 viikoittain klo 12-14, M3, Quantum

Lisätiedot

Kuhunkin demoryhmään otetaan enintään 25 opiskelijaa. Jos näet, että ryhmä on täynnä, älä ilmoittaudu siihen. Täyteen ryhmään ilmoittautuneet karsitaan pois ryhmästä.

Jos kaikki ryhmät ovat jo täynnä, ilmoittaudu suoraan opettajalle: vehalava@utu.fi