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
MTTMA11 Johdatus logiikkaan 2

MTTMA11 Johdatus logiikkaan 2

Kurssikuvaus sähköisessa opetussuunnitelmassa.

Luennot ja harjoitukset

Luennot

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

Harjoitukset

             to  12–14  Päätalo  A2a

Ensimmäinen luento on tiistaina 25.10.

Huom: Luento torstaina 3.11.2016 on poikkeuksellisesti klo 14.00 –15.30 salissa Päätalo C6, ja luento tiistaina 8.11.2016 on salissa Pinni A3111.

Huom: Ensimmäiset harjoitukset torstaina 3.11. ovat oikkeukselllisesti salissa Pinni B0020.

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

Harjoituksia ohjaa Miikka Vilander (Miikka.Vilander[ät]uta.fi).

Kurssin sisältö

Kurssilla käsitellään seuraavia asioita: Predikaattilogiikan aakkosto ja kaavojen joukko, mallit ja tulkintafunktiot, Tarskin totuusmääritelmä, luonnollinen päättely predikaattilogiikassa, eheyslause ja täydellisyyslause luonnolliselle päättelylle.

Luentomoniste:  

Osa 1     Osa 2    Osa 3   

Kurssin suorittaminen

Johdatus logiikkaan 2 on matematiikan aineopintojen erikoiskurssi, jonka laajuus on 5 op.  Kurssi suoritetaan kurssikokeella ja aktiivisella osallistumisella harjoituksiin.  Kurssin suorittamiseksi harjoitustehtävistä on tehtävä vähintään 40 %. Kurssikokeesta voi saada 0-24 pistettä, ja harjoituksista 0-3 pistettä. Hyväksymiseen vaaditaan n. 13 pistettä.

Vaihtoehtosisesti kurssin voi suorittaa erillisellä loppukokeella.

Kurssikoe

Kurssikoe on  torstaina 15.12.  klo 13-16  Päätalon salissa  A4.

Viikkoharjoitustehtävät

Tehtävät (pdf-tiedostot) tulevat tähän edellisellä viikolla.


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

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