Matemaattinen logiikka, syksy 2011

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

Viikot 36-42 ja 44-50 ma 14-16, to 14-16 D123, lisäksi laskuharjoituksia 2 viikkotuntia.

Kokeet

1. välikoe Pe 21.10 Klo 13-15 A111 Koealue: monisteen sivut 1-44

2. välikoe Ke 14.12 Klo 13-15 A111 Koealue: monisteen sivut 45-85

Kirjallisuus

J. Väänänen, Matemaattinen logiikka

Rekursiivisista määritelmistä

Ilmoittaudu

Unohditko ilmoittautua? Mitä tehdä.

Laskuharjoitukset

Ensimmäiset harjoitukset 19.9.

Malliratkaisut löytyvät huoneen C127 seinältä kohdasta malliteoria.

Harjoitus 1

Harjoitus 2

Harjoitus 3

Harjoitus 4

Harjoitus 5

Harjoitus 6 välikoe

Harjoitus 7

Harjoitus 8

Harjoitus 9

Harjoitus 10

Harjoitus 11

Harjoitus 12