Kaisa_2012_3_photo by Veikko Somerpuro

Ilmoittaudu

Aikataulu

Tästä osiosta löydät kurssin luentoaikataulun. Tarkista harjoitusryhmien aikataulut kuvauksesta.

PäivämääräAikaOpetuspaikka
To 6.9.2018
09:15 - 11:45
To 13.9.2018
09:15 - 11:45
To 20.9.2018
09:15 - 11:45
To 27.9.2018
09:15 - 11:45
To 4.10.2018
09:15 - 11:45
To 11.10.2018
09:15 - 11:45
To 18.10.2018
09:15 - 11:45
To 1.11.2018
09:15 - 11:45
To 8.11.2018
09:15 - 11:45
To 15.11.2018
09:15 - 11:45
To 22.11.2018
09:15 - 11:45
To 29.11.2018
09:15 - 11:45
Ke 5.12.2018
12:15 - 14:45
To 13.12.2018
09:15 - 11:45

Muu opetus

01.11. - 01.11.2018 To 16.15-18.45
Maria Hämeen-Anttila
Opetuskieli: suomi

Ilmoittautuminen ja opintomaksu

75 euroa. Lisätietoja.

Ilmoittautuminen alkaa 45 vuorokautta ennen opintojakson alkua. Tarkka ilmoittautumisaika näkyy Ilmoittaudu-painikkeesta.

Miten opiskelemaan?

Käytännön ohjeita opiskeluun

Varaamme oikeuden muutoksiin opinto-ohjelmassa.

Kuvaus

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.