x !
Arkistoitu opetusohjelma 2017–2018
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
MTTS1 Riippuvuuslogiikka 5 op
Periodit
I Periodi II Periodi III Periodi IV Periodi
Opetuskieli
suomi
Tyyppi
Syventävät opinnot
Suoritettavien opintojaksojen kuvaukset opinto-oppaissa
Matematiikan ja tilastotieteen tutkinto-ohjelma
Luonnontieteiden tiedekunta

Osaamistavoitteet

Kurssin käytyään opiskelija hallitsee tiimisemantiikan ja osaa tutkia kaavojen totuutta annetussa mallissa ja tiimissä. Hän tuntee myös riippuvuuslogiikan tärkeimmät sovellukset, ja osaa tehdä yksinkertaisia päättelyjä riippuvuusatomien implikaatioista. Kurssin keskeisenä tavoitteena on lisäksi laajentaa opiskelijan ymmärrystä logiikan monimuotoisuudesta.

Yleiskuvaus

Sisältö

Riippuvuusatomit, riippuvuulogiikan syntaksi, tiimisemantiikka, riippuvuuslokiikka ja eksistentiaalinen toisen kertaluvun logiikka, riippuvuuslogiikan kvanttorittomat kaavat.

Suoritustavat

Osallistuminen opetukseen, tentti.

Esitiedot

Esitietona suositellaan kurssin Johdatus logiikkaan 2 tai Matemaattinen logiikka (tai vastaavat tiedot) suorittamista.

Tutkinto-opiskelijoiden ilmoittautuminen

Ilmoittautuminen Nettiopsussa on päättynyt

Opettajat

Lauri Hella, Vastaava opettaja
lauri.hella[ät]tuni.fi

Opintojakson kotisivu

https://coursepages.uta.fi/mtts1-rl/

Opetus

6.3.2018 – 18.5.2018
Luento-opetus
Ti 6.3.2018 - 8.5.2018 viikoittain klo 14-16, Pinni A2089
Poikkeukset:
3.4.2018 , ei opetusta.
1.5.2018 , ei opetusta.
To 8.3.2018 - 10.5.2018 viikoittain klo 14-16, Pinni B0020
Poikkeukset:
29.3.2018 , ei opetusta.
10.5.2018 , helatorstai
Harjoitukset
Ma 12.3.2018 - 14.5.2018 viikoittain klo 14-16, Pinni B0020
Poikkeukset:
2.4.2018 , ei opetusta.

Arviointi

Numerolla 1-5.
Luonnontieteiden tiedekunta
Opetusohjelma, johon kurssi kuuluu
Luonnontieteiden tiedekunta
Matematiikan maisteriopinnot