Aikataulu
Ilmoittautuminen ja opintomaksu
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.