Child pages
  • Matemaattinen logiikka, syksy 2011
Skip to end of metadata
Go to start of metadata

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

Ryhmä

Päivä

Aika

Paikka

Pitäjä

1.

ma

16-18

C123

Tapani Hyttinen

  • No labels