Opetus: luentoja 4 t viikossa ja 2 t viikossa harjoituksia - kaksi harjoitusryhmää, jos osallistujia riittää molempiin. Harjoitustehtävien omatoiminen tekeminen on kurssin läpäisemisen suhteen ensiarvoisen tärkeää - kurssin loppukuulustelu koostuu harjoitustehtävien kaltaisista tehtävistä.

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.

Kalvot:
- osa 1
- osa 2
- osa 3
- osa 4
- osa 5 (lisätty kaksi kalvoa 17.11.)

Seuraavat kalvot tulevat jakoon myös kokeessa:

- Lauselogiikan luonnollisen päättelyn systeemi
- Loogisia ekvivalensseja kaavamuuoonksia varten

Harjoitukset:

- tehtävät 1 (29-30.9.)
- tehtävät 2 (6-7.10.)
- tehtävät 3 (13-14.10.)
- tehtävät 4 (27-28.10.)
- tehtävät 5 (3-4.11.)
- tehtävät 6 (10-11.11.)
- tehtävät 7 (17-18.11.)
- tehtävät 8 (24-25.11.)

Mallivastauksia joihinkin tehtäviin (harj. 5 ja 6)

Oheismateriaalia:

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

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