Matemaattinen logiikka, syksy 2010

Luennoitsija

Jouko Väänänen

Laajuus

10 op.

Tyyppi

Syventävä opinto

Esitietovaatimukset

Logiikka 1 kurssi auttaa, mutta ei ole aivan välttämätön.

Luentoajat

Viikot 36-42 ja 44-50 ti 14-16 D123, ke 10-12 C323, lisäksi laskuharjoituksia 2 viikkotuntia.

Kokeet

1. Kurssikoe 19.10.2010 klo 13-15 salissa A111. Koealue: sivut 1-46 (ei Vakioiden lemmaa). Koepäivänä ei luentoa. Koeviikolla on laskuharjoitukset.
 2. Kurssikoe 14.12.2010 klo 13-15 salissa A111. Koealue: sivut 47-87. Turingin kone ei tule tenttiin. Koepäivänä ei luentoa. Koeviikolla ei ole luentoja eikä laskuharjoituksia.

Tulokset ovat nyt ilmoitustaululla.

Kirjallisuus

Luentomateriaali, Kalvot osa 1, 3 per sivu, Kalvot osa 1, 1 per sivu
Kalvot osa 2, 3 per sivu, Kalvot osa 2, 1 per sivu
Kalvot osa 3, 3 per sivu, Kalvot osa 3, 1 per sivu
Turingin kone, 3 per sivu, Turing kone, 1 per sivu Turingin kone materiaali on yleissivistävää - ei tule tenttin.

Ilmoittaudu

Unohditko ilmoittautua? Mitä tehdä.

Laskuharjoitukset

Laskuharjoitusaika on nyt muutettu, kuten oli puhetta, 4.10.2010 alkaen.

Laskuharjoitustehtävät 1
Laskuharjoitustehtävät 2
Laskuharjoitustehtävät 3
Laskuharjoitustehtävät 4
Laskuharjoitustehtävät 5
Laskuharjoitustehtävät 6 
Laskuharjoitustehtävät 7
Laskuharjoitustehtävät 8
Laskuharjoitustehtävät 9
Laskuharjoitustehtävät 10
Laskuharjoitustehtävät 11
Laskuharjoitustehtävät 12