mathstatKurssit

Matematiikan ja tilastotieteen laitoksen kurssisivualue

Skip to end of metadata
Go to start of metadata

Matemaattinen logiikka, syksy 2009

Luennoitsija

Tapani Hyttinen

Laajuus

10 op.

Tyyppi

Syventävä opinto.

Esitietovaatimukset

Luentoajat

Viikot 37-40 ja 45-51 ma 14-16 D123, to 14-16 D123, pe 12-13 B322, lisäksi laskuharjoituksia 2 viikkotuntia.
Kokeen (17.12) jälkeiset luennot on peruutettu.

Kokeet

Kirjallisuus

J. Väänänen, Matemaattinen logiikka (verkosta ladattava luentomateriaali 2001).
Termien ja struktuurien kohdalla käytämme samaa notaatiota kuin kurssilla Logiikka I
ja myös Tarskin totuusmääritelmä esitetään samoin kuin kurssilla Logiikka I (kokeessa
voi käyttä tätä tai kurssimateriaalin tapaa).

Ilmoittaudu

Unohditko ilmoittautua? Mitä tehdä.

Laskuharjoitukset

Ryhmä

Päivä

Aika

Paikka

Pitäjä

1.

ma

16-18

C123

Tapani Hyttinen

Laskuharjoitustehtäviä

Harjoitus 1
Harjoitus 2
Harjoitus 3
Harjoitus 4
Harjoitus 5
Harjoitus 6
Harjoitus 7
Harjoitus 8
Harjoitus 9
Harjoitus 10

  • No labels