Kaisa_2012_3_photo by Veikko Somerpuro

Päivitys 12.8. Luennot järjestetään etänä, harjoitukset lähiopetuksena. Aikataulussa ei muutoksia. Ohjeet läh.ilmoittautuneille.

Ilmoittaudu

Aikataulu

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

PäivämääräAikaOpetuspaikka
Ke 2.9.2020
09:15 - 11:45
Ma 7.9.2020
12:15 - 13:45
Ti 8.9.2020
16:15 - 17:45
Ke 9.9.2020
09:15 - 11:45
Ma 14.9.2020
12:15 - 13:45
Ti 15.9.2020
16:15 - 17:45
Ke 16.9.2020
09:15 - 11:45
Ma 21.9.2020
12:15 - 13:45
Ti 22.9.2020
16:15 - 17:45
Ke 23.9.2020
09:15 - 11:45
Ma 28.9.2020
12:15 - 13:45
Ti 29.9.2020
16:15 - 17:45
Ke 30.9.2020
09:15 - 11:45
Ma 5.10.2020
12:15 - 13:45
Ti 6.10.2020
16:15 - 17:45
Ke 7.10.2020
09:15 - 11:45
Ma 12.10.2020
12:15 - 13:45
Ti 13.10.2020
16:15 - 17:45
Ke 14.10.2020
09:15 - 11:45
Ke 28.10.2020
09:15 - 11:45
Ti 3.11.2020
16:15 - 17:45
Ke 4.11.2020
09:15 - 11:45
Ma 9.11.2020
10:15 - 11:45
Ti 10.11.2020
16:15 - 17:45
Ke 11.11.2020
09:15 - 11:45
Ma 16.11.2020
10:15 - 11:45
Ti 17.11.2020
16:15 - 17:45
Ke 18.11.2020
09:15 - 11:45
Ma 23.11.2020
10:15 - 11:45
Ti 24.11.2020
16:15 - 17:45
Ke 25.11.2020
09:15 - 11:45
Ma 30.11.2020
10:15 - 11:45
Ti 1.12.2020
16:15 - 17:45
Ke 2.12.2020
09:15 - 11:45
Ma 7.12.2020
10:15 - 11:45
Ti 8.12.2020
16:15 - 17:45
Ke 9.12.2020
09:15 - 11:45

Ilmoittautuminen ja opintomaksu

75 euroa. Lisätietoja.

Ilmoittautuminen alkaa 13.8.

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 (erityisesti lauselogiikan) peruskäsitteisiin: looginen totuus, looginen seuraus ja päättely.

Lauselogiikan peruskäsitteet lähestytään useilla formaalin logiikan menetelmillä, kuten totuustaulut, semanttiset puut ja luonnollinen päättely. Kurssilla tutustutaan myös predikaattilogiikan syntaksiin, semanttisten puihin ja luonnollisen päättelyn menetelmiin ja kurssin lopussa malli-teoreettisen semantiikan alkeisiin (totuus mallissa).

Luentomonisteet laitetaan verkkoon.

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

Luennot ja harjoitukset, väli- ja loppukoe.

Päivitetty 12.8.

Luennot: keskiviikkoisin (ks. tarkemmin kohdasta aikataulu) ETÄOPETUSTA Tarkemmat ohjeet lähetetään ilmoittautuneille
Harjoitusryhmä 1: maanantaisin (ks. tarkemmin kohdasta aikataulu) LÄHIOPETUSTA
Harjoitusryhmä 2: tiistaisin (ks. tarkemmin kohdasta aikataulu) LÄHIOPETUSTA

Harjoitusryhmiin ilmoittautuminen ohjeistettu ilnmoittautuneille.

Tentit
Välikoe 14.10. luentokerralla
Loppukoe 9.12. luentokerralla
Uusintamahdollisuuksista tiedotetaan erikseen.

Moodle-osoite lähetetään s-postilla ilmoittautuneille.

Opintojakso on yhteisopetusta, jossa Avoimen yliopiston opiskelijat osallistuvat filosofian koulutusohjelman järjestämään opetukseen. Opintojaksolla on rajallinen määrä paikkoja.