mathstatKurssit

Matematiikan ja tilastotieteen laitoksen kurssisivualue

Skip to end of metadata
Go to start of metadata

Matemaattinen logiikkasyksy 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ä

RyhmäPäiväAikaPaikkaPitäjä
1.ma16-18C124Tapani Hyttinen
  • No labels