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
MTTMS8 Matemaattinen logiikka

Luennot ja harjoitukset

Luennot

ti   14–16  Päätalo A2a
to  14–16  Päätalo A2a

Huom: tiistaina 11.4. ja torstaina 20.4. ei ole luentoa.

Huom: torstain 23.3. luento on poikkeuksellisesti salissa Pinni B2077

Huom: tiistaina 24.1., torstaina 26.1. ja torstaina 2.2.  luento alkaa jo klo 14.00.  Tiistaina 31.1. ei ole  luentoa.

Harjoitukset

           ma   14–16  Pinni B1083

Huom: Harjoitus 13 pidetään tiistaina 2.5. klo 12-14 salissa B0016.

Huom: maanantaina 24.4. ei ole harjoituksia.

Huom: maanantaina 6.3. ei ole harjoituksia.

Ensimmäinen luento on tiistaina 10.1. ja ensimmäiset harjoitukset  maanantaina 16.1.

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

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

Kurssin sisältö

Kurssikuvaus sähköisessa opetussuunnitelmassa.

Kurssilla käsitellään seuraavia asioita: Predikaattilogiikan peruskäsitteet (predikaattilogiikan kaavat, mallit, Tarskin totuusmääritelmä), sekventtikalkyyli ja predikaattilogiikan yleinen täydellisyyslause, kompaktisuuslause, Gödelin epätäydellisyyslause, määriteltävyys ja Ehrenfeucht-Fraïssé pelit. 

Luennot pohjautuvat osittain oppikirjaan

Ebbinghaus, H.-D., Flum, J., Thomas, W., Mathematical Logic. Springer 1994.

Esitietoidoiksi riittävät matematiikan aineopinnot, mutta aisioiden omaksumista helpottaa huomattavasti, jos on suorittanut aikaisemmin jonkin logiikan aineopintokurssin (Johdatus logiikkaan 1, Johdatus logiikkaan 2, Johdatus modaalilogiikkaan).

Kurssilla on luentomoniste, jota täydennetään luentojen edetessä:

      Osa 1      Osa 2      Osa 3      Osa 4      Osa 5      Osa 6      Osa 7      Osa 8

Kurssin suorittaminen

Matemaattinen logiikka on matematiikan syventävä erikoiskurssi, jonka laajuus on 10 op.  Kurssi suoritetaan kahdella välikokeella ja aktiivisella osallistumisella harjoituksiin, tai vaihtoehtoisesti loppukokeella.  Kummastakin välikokeesta voi saada  0-24 pistettä. Lisäksi ennen kumpaakin välikoetta suoritetuista harjoitustehtävistä saa pisteitä seuraavan taulukon mukaan:

   0–19%  0p     20–31%  1p     32–43%  2p     44–55%  3p     56–67%  4p     68–79%  5p     80–100%  6p

Nämä pisteet eivät ole lisäpisteitä, vaan niillä voi parantaa yhden vastaavassa välikokeessa 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 välikokeilla vaaditaan n. 24 pistettä. Lisäksi kummastakin välikokeesta pitää saada vähintään 6 pistettä.

Välikoeajat ja -paikat

Ensimmäinen välikoe on torstaina 2.3.  klo 14-17  normaalissa luentosalissa (Päätalo A2a).

Toinen välikoe on perjantaina 12.5.  klo 12-15  salissa Pinni B1083.

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     

   Harjoitus 8      Harjoitus 9      Harjoitus 10    Harjoitus 11    Harjoitus 12     Harjoitus 13    Harjoitus 14

 

 
Ylläpito: mtt-studies@sis.uta.fi
Muutettu: 4.5.2017 16.09 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