Kurssin tavoitteena on tutustuttaa opiskelijat formaalin logiikan perusteisiin. Opiskelijat perehtyvät lauselogiikan syntaksiin ja semantiikkaan sekä todistusteoriaan. Kurssilla opitaan useita formaalin logiikan menetelmiä, kuten totuustaulut, semanttiset puut ja luonnolliset päättelyt. Tämän lisäksi tutustutaan predikaattilogiikan syntaksiin ja semantiikan alkeisiin. Kurssin lopussa opiskelijan odotetaan hallitsevan argumenttien loogisen analyysin lause- ja predikaattilogiikan formaalien menetelmien avulla.

Luentomonisteet laitetaan verkkoon.

Suoritus arvioidaan asteikolla 0-5 väli- ja loppukokeen sekä suoritettujen harjoitustehtävien perusteella.

Luennot ja harjoitukset, väli- ja loppukoe.

Luentojen ajat: katso kohdasta Aikataulu.

Harjoitusryhmien ajat:
Ryhmä 1: ma 10.9.-15.10. ja 29.10.-10.12.2018 klo 12.15-13.45 (Metsätalo, sali 8)
Ryhmä 2: ke 12.9.-17.10. ja 7.11.-12.12.2018 klo 8.15-9.45 (Metsätalo, sali 8) HUOM! Aikataulua täsmennetty!

Harjoitusryhmiin ei tarvitse ilmoittautua ennakkoon.

Opintojaksolla on käytössä oppimisympäristö Moodle, joka avautuu jakson alkaessa.
Tarkemmat ohjeet moodleen kirjautumisesta saat kurssin alussa.

Opintojakso on yhteisopetusta. Filosofian koulutusohjelma järjestää opetuksen, johon Avoimen yliopiston opiskelijat osallistuvat. Rajoitettu osallistujamäärä.

Tenttipäivät:
- välikuulustelu: 18.10. luentokerralla
- loppukuulustelu 13.12. luentokerralla

Välikuulustelun rästitentti: to 1.11.2018 klo 16-18, Metsätalon sali 9. Tenttiin ilmoittaudutaan opettajalle sähköpostitse.
Loppukuulustelun rästitentti: to 17.1.2019 klo 16.15-18.00, Metsätalon sali 25. Ilmoittautumisohjeet tulevat moodleen myöhemmin.