Matemaattinen logiikka, syksy 2014

Luennoitsija 

Tapani Hyttinen

Laajuus

10 op.

Tyyppi

Syventävä opinto

Esitietovaatimukset

Kurssi Logiikka I auttaa, mutta ei ole aivan välttämätön.

Luentoajat

Yliopiston avajaisten johdosta ensimmäinen luento on perjantaina 5.9.

Viikot 36-42 ja 44-50, ma 14-16 D123 ja pe 12-14 C124. Lisäksi laskuharjoituksia 2 viikkotuntia.

Kokeet

1. kurssikoe Ti 21.10  klo 13-15 Exactumin auditoriossa. Koealue: monisteen luvut 1-7
2. kurssikoe Ke 17.12 klo 12-15 (HUOMAA AIKA!) Exactumin auditoriossa. Koealue: monisteen luvut 8-13

Kirjallisuus

Jouko Väänänen, Matemaattinen logiikka 

 Rekursiivisistä määritelmistä

Ilmoittaudu kurssille

 
Unohditko ilmoittautua? Katso ohjeet täältä!

Laskuharjoitukset

Ensimmäiset laskuharjoitukset ovat  maanantaina 15.9.

Harjoitus 1 vihjeitä

Harjoitus 2 vihjeitä

Harjoitus 3 vihjeitä

Harjoitus 4 vihjeitä

Harjoitus 5 vihjeitä

Harjoitus 6 vihjeitä

Harjoitus 7 vihjeitä

Harjoitus 8 vihjeitä

Harjoitus 9 vihjeitä

Harjoitus 10 vihjeitä

Harjoitus 11 vihjeitä

Harjoitus 12 vihjeitä