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

Matemaattinen logiikka, syksy 2012

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, pe 12-14 D123, lisäksi laskuharjoituksia 2 viikkotuntia.

Kokeet

1. välikoe: Ma 15.10 13-15 A111 tai B123 Koealue: Monisteen sivut 1-44 pois lukien sijoitettavuuslause.
Kokeen tulokset ilmoitustaululla.

2. välikoe: Ti 11.12 13-15 A111 tai B123 Koealue: Monisteen sivut 45-86.

Kirjallisuus

J. Väänänen, Matemaattinen Logiikka

Rekursiivisista määritelmistä

Ilmoittaudu

Unohditko ilmoittautua? Mitä tehdä.

Laskuharjoitukset

Ensimmäiset harjoitukset 17.9

Ryhmä

Päivä

Aika

Paikka

Pitäjä

1.

Ma

16-18

C122

Tapani Hyttinen

  • No labels