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
MTTMA10 Johdatus logiikkaan 1

MTTMA10 Johdatus logiikkaan 1

Sisältö

Kurssikuvaus sähköisessa opetussuunnitelmassa.


Luennot ja harjoitukset

Luennot

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

Harjoitukset

          Ryhmä 1:    ke  10-12  Päätalo A2b

          Ryhmä 2:     to  12–14  Pinni B0016

Huom: Harjoitusryhmä 2 torstaina 20.10. poikkeuksellisesti klo 10-12 salissa Pinni B0020

Ensimmäiset harjoitukset ovat keskiviikkona 14.9. ja torstaina 15.9.

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: Lauselogiikan kaavat, induktio kaavan pituuden suhteen, rakennepuu ja alikaavat, totuusjakaumat, tautologiat, lauselogiikan mallit, validisuus, looginen seuraus ja ekvivalenssi, normaalimuodot, lauselogiikan aksioomat ja päättelysäännöt, luonnollinen päättely, luotettavuus ja täydellisyys, semanttiset puut.

Luennoilla käytetään allaolevaa luentomonistetta, joka pohjautuu osittain oppimateriaaliin

         Rantala-Virtanen: Logiikan peruskurssi.

Luentomoniste:   Osa 1   Osa 2   Osa 3   Osa 4

Luentokalvot:   Kalvot 1   Kalvot 2   Kalvot 3   Kalvot 4

Kurssin suorittaminen

Johdatus logiikkaan 1 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 pidetään torstaina 20.10. klo 13-16 salissa B3116.

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: 11.10.2016 17.43 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