Sisältöön
tampereen yliopisto: sis/luo-coms: opiskelu: tutkinto-ohjelmat: matematiikan ja tilastotieteen tutkinto-ohjelma: opinto-opas: kurssisivut:
Viestintätieteiden ja luonnontieteiden tiedekunnatTampereen yliopistoViestintätieteiden ja luonnontieteiden tiedekunnat
MTTS1 Modaalilogiikan jatkokurssi

MTTS1 Modaalilogiikan jatkokurssi, kevät 2016

Sisältö

Kurssikuvaus sähköisessa opetussuunnitelmassa.

Luennot

Aikataulu- ja tilatiedot julkaistaan sähköisessä opetusohjelmassa.

 

Luennoija:  Lauri Hella (Lauri.Hella[ät]uta.fi), tavattavissa luentojen yhteydessä sekä vastaanotolla  (ma 15–16).

Harjoituksia ohjaa Jevgeni Haigora (Haigora.Jevgeni.X[ät]student.uta.fi).

Kurssin sisältö

Kurssilla käsitellään seuraavia asioita: Modaalikielet, Kripke-kehykset ja -mallit, bisimulaatio, erilliset yhdisteet, generoidut alimallit, p-morfiset kuvat, modaalilogiikan standardikäännös, puumalliominaisuus, äärellisen mallin ominaisuus ja filtraatiot.

Suurin osa luennoilla käsiteltävistä asioista löytyy kirjasta Blackburn-de Rijke-Venema: Modal Logic. Myös oppikirjasta Rantala-Virtanen: Johdatus modaalilogiikaan poimitaan muutamia asioita.

Kurssilla ei ole varsinaista luentomonistetta, mutta joka viikko vastaavan luvun kohdalle lisätään suppeat muistiinpanot luennoilla käsitellyistä asioista:

     Luku 1     Luku 2     Luku 3     Luku 4     Luku 5    

Kurssin suorittaminen

Modaalilogiikan jatkokurssi on matematiikan syventävien opintojen erikoiskurssi, jonka laajuus on 5 op.  Kurssi suoritetaan kurssikokeella ja aktiivisella osallistumisella harjoituksiin, tai vaihtoehtoisesti lopputentillä.  Kurssikokeesta voi saada  0-24 pistettä. Lisäksi harjoitustehtävistä saa pisteitä seuraavan taulukon mukaan:

   0–29%  0p     30–39%  1p     40–49%  2p     50–59%  3p     60–69%  4p     70–79%  5p     80–100%  6p

Nämä pisteet eivät ole lisäpisteitä, vaan niillä voi parantaa yhden kurssikokeessa mahdollisesti epäonnistuneen tehtävän pisteitä seuraavasti:

      Jos koetehtävästä on saanut k pistettä, ja harjoituspisteiden määrä on h, niin k:n saa korvata pisteillä  min{h,k+3}.

Kurssin suorittamiseen kurssikokeella vaaditaan n. 12 pistettä.

Kurssikokeen aika ja paikka

Huom: sali muuttunut!  Kurssikoe on perjantaina 13.5. klo 12-15 salissa Pinni B3116.

 

Viikkoharjoitustehtävät

Tehtävät (pdf-tiedostot) tulevat tähän edellisen viikon tiistaina.


    Harjoitus 1      Harjoitus 2      Harjoitus 3      Harjoitus 4      Harjoitus 5      Harjoitus 6
      Harjoitus 7     

 

Tehtävien malliratkaisut.


    Ratkaisut 1     Ratkaisut 2     Ratkaisut    Ratkaisut 4     Ratkaisut 5     Ratkaisut 6
     Ratkaisut 7 

 
Ylläpito: mtt-studies@sis.uta.fi
Muutettu: 11.5.2016 13.26 Muokkaa

Tampereen yliopisto

Tampereen yliopisto
03 355 111
kirjaamo@uta.fi


KARVI-auditoitu HR Excellence in Research

YLIOPISTO
Tutkimus
Opiskelijaksi
Ajankohtaista
Yhteistyö ja palvelut
Yliopisto

AJANKOHTAISTA
Aikalainen
Avoimet työpaikat
Rehtoriblogi
Tampere3

PALVELUT
Aktuaarinkanslia
Avoin yliopisto
Hallinto
Kansainvälisen koulutuksen keskus
Kielikeskus
Kielipalvelut
Kirjaamo
Kirjasto
Liikuntapalvelut
Viestintä
Tietohallinto
Tutkimuspalvelut
Täydennyskoulutus
Tietoarkisto
» lisää palveluita

OPISKELU
Opetusohjelma
Opinto-oppaat
Opiskelijan työpöytä

SÄHKÖISET PALVELUT
Andor-hakupalvelu
Uusi lainasi
Intra
Moodle (learning2)
NettiOpsu / NettiRekka
NettiKatti
Sähköinen tenttipalvelu
TamPub
Office 365 webmail
Utaposti webmail
Wentti