Logiikka I, kevät 2010

Last modified by jvaanane@helsinki_fi on 2024/03/27 10:03

Logiikka I, kevät 2010

Luennoitsija

Jouko Väänänen

Laajuus

10 op.

Tyyppi

Aineopintoja.

Esitietovaatimukset

Ei erityisiä esitietovaatimuksia.

Sisältö

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

Luentoajat

Viikot 3-8 ja 11-17 ma 14-16, ti 14-16, pe 11-12 A111, lisäksi laskuharjoituksia 2 viikkotuntia.

Maaliskuun 26 ei luentoa. March 26 no lecture.

Pääsiäisloma 1.-7.4.

Kokeet

  • 1. kurssikoe 5.3. 13-15 Exactumin auditorioissa
  • 2. kurssikoe 7.5. 13-15 Exactumin auditorioissa

Kirjallisuus

Kurssimateriaali tulee verkkoon. Samoin laskuharjoitustehtävät.

Moodle

Kurssin käytössä on Moodle-työalue. Siellä voi kysyä ja keskustella kurssiin liittyvistä asioista. "Enrollment key" on Logiikka1.

Interaktiiviset oppaat

Sekä verkkosivulla, että Moodlessa on interaktiivisia oppaita jo 9 kappaletta kurssiin liittyvistä aiheista. Kokeile niitä!

Ilmoittaudu

Unohditko ilmoittautua? Mitä tehdä.

Laskuharjoitukset

Laskuharjoituksista saa lisäpisteitä laskettujen tehtävien suhteessa. Lisäpisteet lisätään kevään 2010 kurssikoetulokseen.

Ryhmä

Päivä

Aika

Paikka

Pitäjä

1.

ma

10-12

C122

Meeri Kesälä

2.

ti

8-10

C122

Juha Ruokolainen

3.

ti

10-12

C122

Meeri Kesälä

4.

ti

12-14

C122

Risto Kaila

5.

ti

16-18

C122

Risto Kaila

6.

ke

8-10

C122

Risto Kaila

7.

ke

14-16

C129

Alexandr Nuija

8.

to

12-14

C122

Lauri Tuomi

9.

to

16-18

C122

Lauri Tuomi

10.

pe

9-11

C322

Lauri Tuomi

11.

pe

14-16

C122

Alexandr Nuija

Tammikuussa opintonsa aloittavien opiskelijoiden ryhmä

Ryhmä

Päivä

Aika

Paikka

Pitäjä

1.

to

10-12

B120

Thomas Vikberg

Lisäpisteet:

tehty

pistettä

9

1

18

2

28

3

37

4

47

5

56

6