x !
Arkistoitu opetusohjelma 2016–2017
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
FILP2 Logiikka 5 op
Myös avoimen yliopisto-opetuksen opiskelijoille
Periodit
I Periodi II Periodi III Periodi IV Periodi
Opetuskieli
suomi
Tyyppi
Perusopinnot
Suoritettavien opintojaksojen kuvaukset opinto-oppaissa
Filosofian tutkinto-ohjelma
Filosofia
Yhteiskunta- ja kulttuuritieteiden yksikkö

Osaamistavoitteet

Opintojakson suoritettuaan opiskelija osaa lukea ja kirjoittaa lause- ja predikaattilogiikan kieliä ja on sisäistänyt logiikan semanttiset peruskäsitteet, erityisesti loogisen totuuden ja seurauksen käsitteet, niin että hän osaa arvioida, ovatko teksteissä esiintyvät päätelmät päteviä. Hän myös ymmärtää deduktiivisen päättelyn ja todistamisen idean, niin että hän osaa rakentaa yksinkertaisia deduktioita lauselogiikan luonnollisen päättelyn systeemissä.

Tutkinto-opiskelijoiden ilmoittautuminen

Tutkinto-ohjelmien opiskelijat ilmoittautuvat sähköisesti NettiOpsussa. Tästä myöhästyneet sekä avoimen yliopiston opiskelijat voivat ilmoittautua sähköpostitse suoraan luennoitsijalle: tommi.vehkavaara@uta.fi .

Ilmoittautuminen Nettiopsussa on päättynyt

Opettajat

Tommi Vehkavaara, Vastaava opettaja
Tommi.Vehkavaara[ät]uta.fi

Opetus

14.9.2016 – 30.11.2016
Luento-opetus 30 tuntia
Ke 14.9.2016 - 30.11.2016 viikoittain klo 14-17, Päätalo A4
Poikkeukset:
26.10.2016 , Ei luentoa
2.11.2016 klo 14 –17 , Pinni B1096
Loppukoe
Ke 30.11.2016 klo 14.00-16.00, Päätalo A4
Uusintakuulustelu
Ma 19.12.2016 klo 10-14, Pinni B3107, ilmottauduttava sähköpostilla!
Harjoitukset 16 tuntia
Ryhmä 1
Ti 4.10.2016 - 29.11.2016 viikoittain klo 12-14, Päätalo C8
Poikkeukset:
25.10.2016 , Ei opetusta
Ryhmä 2
Ti 4.10.2016 - 29.11.2016 viikoittain klo 14-16, Pinni B3110
Poikkeukset:
25.10.2016 , Ei opetusta

Arviointi

Numerolla 1-5.

Arviointiperusteet

Loppukokeessa on 4-5 tehtävää, joiden pistemäärästä on saatava n. puolet kurssin läpäisemiseksi arvosanalla 1.

Oppimateriaalit

Oheismateriaalina voi käyttää teosta Rantala, Veikko & Virtanen, Ari 2003. Logiikan peruskurssi (vain verkossa osoitteessa http://www.sis.uta.fi/matematiikka/modaalilogiikka/logpk2003.pdf)

Lisätiedot

Luennot 30 t ja harjoitukset 16 t ja suoritus loppukuulustelulla.

Harjoitusryhmien ajat saattavat vielä muuttua, mikäli tarvetta ilmenee.