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.)

Anmäl dig

Tidsschema

Alla luentojen aikataulu. Tarkista harjoitusryhmien aikataulut kurssiesitteestä.

DatumTidPlats
fre 8.9.2017
09:15 - 11:45
fre 15.9.2017
09:15 - 11:45
fre 22.9.2017
09:15 - 11:45
fre 29.9.2017
09:15 - 11:45
fre 6.10.2017
09:15 - 11:45
fre 13.10.2017
09:15 - 11:45
fre 20.10.2017
09:15 - 11:45
tors 2.11.2017
09:15 - 11:45
tors 9.11.2017
09:15 - 11:45
tors 16.11.2017
09:15 - 11:45
tors 23.11.2017
09:15 - 11:45
tors 30.11.2017
09:15 - 11:45
tors 7.12.2017
09:15 - 11:45
tors 14.12.2017
09:15 - 11:45

Anmälning och avgift

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.

Beskrivning

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