Kaisa_2012_3_photo by Veikko Somerpuro

Muista ilmoittautua myös harjoitusryhmään kohdassa kurssiesite. HUOM! Ryhmän 2 aikatauluun tullut muutoksia (päivitetty 31.8.)

Ilmoittaudu

Aikataulu

Alla luentojen aikataulu. Tarkista harjoitusryhmien aikataulut kurssiesitteestä.

PäivämääräAikaOpetuspaikka
Pe 8.9.2017
09:15 - 11:45
Pe 15.9.2017
09:15 - 11:45
Pe 22.9.2017
09:15 - 11:45
Pe 29.9.2017
09:15 - 11:45
Pe 6.10.2017
09:15 - 11:45
Pe 13.10.2017
09:15 - 11:45
Pe 20.10.2017
09:15 - 11:45
To 2.11.2017
09:15 - 11:45
To 9.11.2017
09:15 - 11:45
To 16.11.2017
09:15 - 11:45
To 23.11.2017
09:15 - 11:45
To 30.11.2017
09:15 - 11:45
To 7.12.2017
09:15 - 11:45
To 14.12.2017
09:15 - 11:45

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 11.9.-16.10.2017 klo 16.15-17.45 (Metsätalo, sali 6, Unioninkatu 40)
- ma 6.11.-11.12.2017 klo 16.15-17.45 (Metsätalo, sali 6, Unioninkatu 40)

Ilmoittautuminen ryhmään 1 tästä.

Ryhmä 2:
- ke 13.9.-18.10.2017 klo 16.15-17.45 (Metsätalo, sali 2, Unioninkatu 40)
- ke 1.11.-29.11. ja ke 13.12.2017 klo 16.15-17.45 (Metsätalo, sali 8, Unioninkatu 40) HUOM! Muuttunut aikataulu!

Ilmoittautuminen ryhmään 2 tästä

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.

Tenttipäivät: Välikuulustelu pe 20.10.2017 kello 9.15 - 11.45. Loppukoe to 14.12 9.15-11.45. Näihin tentteihin ei tarvitse erikseen ilmoittautua.

Uusinnat:

Välikuulustelun uusinta (rästitentti) 3.11 kello 15.15-17.45 Metsätalon sali 4:ssa. Ilmoittautumiset suoraan opettajalle Maria Hämeen-Anttilalle viimeistään tenttiä edeltävänä päivänä. Rästitenttiin voi osallistua, vaikka olisi jo tehnyt välitentin. Tässä tapauksessa arvosanoista parempi jää voimaan.

Loppukokeen uusinta pe 19.1 kello 15-18, paikkana Metsätalon sali 12. Uusintatenttiin on ilmoittauduttava suoraan Maria Hämeen-Anttilalle viimeistään ma 15.1.


Tenttiohjeet