Kurssin tavoitteet: Loogisten peruskäsitteiden, kuten formaalin kielen, loogisen totuuden ja loogisen seurauksen käsitteiden ymmärtäminen. Lause- ja predikaattilogiikan syntaksin ja intuitiivisen semantiikan sekä lauselogiikan luonnollisen päättelyn perusteiden hallinta. Perehtyminen malliteorian alkeisiin.

Ensimmäinen luento pe 17.9.

Ei opetusta perioditaukoviikolla (18-22.10.)

Luentotentti ke 1.12. klo 10.00-12.00 luentosalissa.

Uusintakuulustelu laitoksen rästitenttipäivänä 12.1.2011 klo 12-14.

Luentokalvot (pdf-tiedostoina): Osa 1, Osa 2, Osa 3, Osa 4, Osa 5 (kokonaan)

Harjoitukset:

Oheismateriaalia:

- Rantala & Virtanen: Logiikan peruskurssi. (2003, pdf-tiedosto, 96 s. Harjoitustehtäviä tässä.)

- Rantala & Virtanen: Joukko-opin alkeita (2003)