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

Johdatus logiikkaan I (5 op) ja Johdatus logiikkaan II (5 op) vastaavat yhdessä kurssia Logiikka I (10 op).

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

Viikot 3-9 ja 11-18 (aloitus ma 18.1.2016) ma 14-16, ti 10-12. Lisäksi laskuharjoituksia 2 viikkotuntia.

Pääsiäisloma 24.-30.3.2016

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

Johdatus logiikkaan 1 -kurssin kotisivu

Johdatus logiikkaan 2 -kurssin kotisivu

Tenttipäivät:

• 1. kurssikoe pe 11.3. klo 13-15 Exactumin auditorioissa
• 2. kurssikoe pe 13.5. klo 13-15 Exactumin auditorioissa

Huom! Kurssikokeisiin ei tarvitse ilmoittautua.

Uusintatentit: Kokeen voi suorittaa myös laitoksen yleistentissä. Johdatus logiikkaan I -kurssin tentti on ke 18.5.2016 klo 12-16 ja Johdatus logiikkaan II -kurssin tentti ti 24.5.2016 klo 12-16. Tarkemmat tiedot yleistenteistä löydät täältä. Laskuharjoituspisteet ovat voimassa tämän vuoden toukokuun yleistentissä sekä kesätenteissä. Jos haluat, että laskuharjoituspisteesi huomioidaan yleistentissä, ilmaise se selkeästi vastauspaperisi etusivulla.

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

Ilmoittaudu valitsemaasi uusintatenttiin viimeistään 10 vrk ennen tenttipäivää Avoimen yliopiston Omat sivut-palvelussa. Tutustu tenttiohjeisiin.

Varaamme oikeuden muutoksiin opinto-ohjelmassa.

Suoritustiedot ovat Helsingin yliopiston opintosuoritusrekisterissä 4-6 viikon kuluttua tentistä tai tehtävän palautuspäivästä.

Katso suoritustietosi Flamman opintoni-ikkunasta (kirjautuminen Helsingin yliopiston käyttäjätunnuksella) tai tilaa tieto omaan sähköpostiisi (katso WebOodi-ohjeet).

Toteuttaja
Helsingin yliopiston Avoin yliopisto
http://www.helsinki.fi/avoin

Opiskelijaneuvonta, tenttipalvelu ja opintojen ohjaus
Yhteystiedot ja aukioloajat
Opiskelijaneuvonta on yliopiston päärakennuksessa, Fabianinkatu 33, 1.krs

Helsingin yliopiston käyttäjätunnus
Sinulle myönnetään opintojesi ajaksi Helsingin yliopiston käyttäjätunnus. Saat sillä käyttöösi yliopiston sähköisiä palveluita.
Käyttäjätunnuksen aktivointiohjeet tulevat sähköpostiisi ennen opintojen alkua. Katso ohje käyttäjätunnuksista ja niiden aktivoinnista. Vanha tunnus aktivoidaan hakemalla uusi salasana.

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