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 opetussuunnitelma 2016–2018
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
MATE5114 Logiikka 4 op
Vastuutaho
Matematiikka
Vastuuhenkilö
Matematiikan ja tilastotieteen laitos, Vesa Halava
Suunnitellut järjestämisajankohdat
Periodi I II III IV
2016–2017 X
2017–2018 X
Edeltävät opinnot
Suositellaan:
vaihtoehtoiset

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.

Sisältö

(1) propositiologiikka, sisältäen logiikan kompaktisuuslauseen ja propositiologiikan aksiomatiikan. (2) johdanto predikaattilogiikkaan, sisältäen malliteorian alkeet.

Toteutustavat

Opetustapa Paikalla Verkossa
Luento-opetus 28 t 0 t
Harjoitukset 12 t 0 t

Opetuskieli

suomi

Vaadittavat opintosuoritukset

Suoritusvaihtoehto 1
Kohderyhmät:
  • Tutkinto-ohjelman omat opiskelijat
  • Muut opiskelijat
  • Tohtoriopiskelijat
  • Vaihto-opiskelijat
Demonstraatiot Harjoitustyö(t)
  • suomeksi
Kirjallinen tentti
  • suomeksi
Osallistuminen opetukseen
  • suomeksi

Arviointi

Numerolla 0-5.

Kirjallisuus/Oppimateriaali

luentomoniste

Kokonaisuudet, joihin opintojakso kuuluu

Matematiikan ja tilastotieteen laitos
Valinnaiset aineopinnot (Matematiikka)
Matematiikan ja tilastotieteen laitos
Matematiikan ja tilastotieteen laitos
Matematiikan ja tilastotieteen laitos
Tulevaisuuden teknologioiden laitos
Tulevaisuuden teknologioiden laitos
Tulevaisuuden teknologioiden laitos
2018–2019
Opintojakso opetusohjelmassa
Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.
Toteutustietoja ei ole taltioitu.
Matematiikan ja tilastotieteen laitos
MDP in Information Security and Cryptography
Opintokokonaisuudet