Kaisa_2012_3_photo by Veikko Somerpuro

Ilmoittaudu
Moodle
Kirjaudu sisään nähdäksesi Moodlen kurssiavaimen.

Aikataulu

Tästä osiosta löydät kurssin opetusaikataulun. Tarkista mahdolliset muut aikataulut kuvauksesta.

PäivämääräAikaOpetuspaikka
To 5.9.2019
14:15 - 16:45
To 12.9.2019
14:15 - 16:45
To 19.9.2019
14:15 - 16:45
To 26.9.2019
14:15 - 16:45
To 3.10.2019
14:15 - 16:45
To 10.10.2019
14:15 - 16:45
To 17.10.2019
14:15 - 16:45
To 31.10.2019
14:15 - 16:45
To 7.11.2019
14:15 - 16:45
To 14.11.2019
14:15 - 16:45
To 21.11.2019
14:15 - 16:45
To 28.11.2019
14:15 - 16:45
To 5.12.2019
14:15 - 16:45
To 12.12.2019
14:15 - 16:45

Ilmoittautuminen ja opintomaksu

75 euroa. Lisätietoja.

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

Miten opiskelemaan?
Käytännön ohjeita opiskeluun
Järjestelyt erityistä tukea tarvitseville

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:
Harjoitusryhmä 1:
Ma 9.9. - 14.10.2019 klo 10.15-11.45
Ti 5.11. - 10.12.2019 klo 16.15-17.45
Opetuspaikka: Metsätalo, sali 12 (Unioninkatu 40)

Harjoitusryhmä 2:
Ti 10.9. - 15.10.2019 klo 16.15-17.45
Ti 5.11. - 10.12.2019 klo 16.15-17.45
Opetuspaikka: Metsätalo, sali 12 (Unioninkatu 40)

Avoimen yliopiston opiskelijat ilmoittautuvat harjoitusryhmiin suoraan opettajalle, ohjeistus on lähetetty ilmoittautuneille.

Opintojaksolla on käytössä oppimisympäristö Moodle, joka avautuu jakson alkaessa.
Linkin ja kurssiavaimen opintojakson Moodleen saat kirjautumalla tähän opinto-ohjelmaan (=kurssisivulle) Helsingin yliopiston käyttäjätunnuksella.

Tenttipäivät:
Välikoe 17.10. opetuskerralla, loppukoe 12.12. opetuskerralla, em. tentteihin ei tarvitse ilmoittautua. Uusinnat järjestetään tiedekuntatenteissä: välikoe 1.11.2019 ja loppukoe 17.1.2019, ilmoittautuminen ohjeistetaan myöhemmin. Loppukokeessa sekä sen uusinnassa voi tenttiä halutessaan myös koko kurssialueen.


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