Kaisa_2012_3_photo by Veikko Somerpuro

Ilmoittaudu

Kuvaus

Kurssi tarjoaa johdatuksen propositio- ja predikaattilogiikkaan. Kummankin logiikan kohdalla käsitellään semantiikka, luonnollinen päättely, ja semanttisten puiden menetelmä.

Suoritustapa : Luennot + laskuharjoitustehtävät + pajatyöskentely + 2 kurssikoetta

Viikot 4-9 ja 11-18 (aloitus ma 19.1.2015) ma 14-16, ti 10-12 ja pe 11-12 A111. Lisäksi laskuharjoituksia 2 viikkotuntia.

Pääsiäisloma 2.-8.4.

Opetuspaikka: A111, Exactum (Kumpulan kampus, Gustaf Hällströmin katu 2 B)

Kurssin kotisivu

 

 

Varaamme oikeuden muutoksiin opinto-ohjelmassa.

Tenttipäivät:

  • 1. kurssikoe pe 6.3. klo 13-15 Exactumin auditorioissa
  • 2. kurssikoe pe 8.5. klo 13-15 Exactumin auditorioissa

Huom! Kurssikokeisiin ei tarvitse ilmoittautua.

Uusintatentit:

Tentit järjestetään Exactumin auditorioissa A111 ja B123 (Gustaf Hällströmin katu 2b). Tarkempi salijako ilmoitetaan auditorioiden ovella tenttipäivänä.

Uusintatentteihin ilmoittaudutaan WebOodissa.

 

Opintomaksuun sisältyy kolme tenttikertaa.   Tutustu tenttiohjeisiin

 

Suoritustiedot ovat Helsingin yliopiston opintosuoritusrekisterissä 4-6 viikon kuluttua tentistä tai tehtävän palautuspäivästä. Voit katsoa suoritustietosi Flamman opintoni-ikkunasta (kirjautuminen Helsingin yliopiston käyttäjätunnuksella). Osasuoritukset ovat nähtävissä verkko-oppimisympäristössä.

Ilmoittautuminen alkaa 18.11.2014

Maksu 100 euroa
Ilmoittautuminen on sitova. Tutustu ilmoittautumis- ja maksuehtoihin. Opintomaksu maksetaan heti ilmoittautumisen yhteydessä verkkopankkitunnuksilla verkkopankissa tai luottokortilla. Lisätietoa maksuista.

Opintoihin voi ilmoittautua niiden alkamiseen asti. Lisätietoa ilmoittautumisesta.
Kirjatentteinä suoritettaviin opintojaksoihin tulee ilmoittautua viimeistään 10 vuorokautta ennen tenttipäivää. Ilmoittautumisen yhteydessä tulee ilmoittaa myös tentittävä kirjallisuus.

Verkkoilmoittautuminen edellyttää maksutonta rekisteröitymistä palvelun käyttäjäksi, Helsingin yliopiston opiskelijat voivat ilmoittautua opintoihin käyttäen Helsingin yliopiston käyttäjätunnusta.

Ilmoittautuminen opintojaksolle

Opettaja: Åsa Hirvonen

Opintojakso on osa Matematiikan perusopinnot (25 op) -opintokokonaisuutta.