Logiikka 1B 2011 (MATEA15B, 3 op)
Kurssin Logiikka 1B opetus perustuu monisteeseen
Logiikan peruskurssi.
Kurssilla tutustutaan lauselogiikan ja predikaattilogiikan alkeisiin.
Keskeisiä aiheita ovat formaali semantiikka sekä päättely.
Taustatietoina olisi hyvä olla kurssilla Logiikka 1A käsiteltävät asiat.
Info
Kurssin luennoitsijana ja harjoitusten vetäjänä toimii
Antti Kuusisto.
Kurssi järjestetään 14.11.2011 – 15.12.2011.
Luento-opetus 20 t
Ma 14.11.2011 - 12.12.2011 viikoittain klo 14-16, Pinni ls. B4113
To 17.11.2011 - 15.12.2011 viikoittain klo 14-16, päätalo ls. A3
Poikkeukset:
24.11.2011 klo 14 – 16 , Pinni ls. B1097
Harjoitukset 8 t
Ma 21.11.2011 - 12.12.2011 viikoittain klo 10-12, Pinni ls. B3116
Kurssille ei tarvitse erikseen ilmoittautua.
Kurssilla on yksi tentti, joka pidetään 15.12.2011 klo 14 - 16 (viimeinen luentokerta),
näillä näkymin päätalon salissa ls. A3. Tenttiin ei tarvitse erikseen ilmoittautua.
Toinen mahdollisuus tenttiä kurssi voidaan tarvittaessa järjestää tammikuussa 2012 niille,
jotka eivät (hyvästä syystä) pääse tenttiin 15.12.
Kurssin arvosanasta 90% määräytyy tentin (15.12.2011) perusteella. Loput 10%
määräytyy harjoitushyvitysten perusteella.
(Kurssin suorittamisesta kirjatentillä
voi tietenkin sopia erikseen.)
Predikaattilogiikan semantiikka
Harjoitukset 2011
Harjoitus 1
Harjoitus 2
Harjoitus 3
Harjoitus 4
Materiaalia liittyen vuoden 2010 kurssiin
Johdantoluento
Induktiosta
Harjoitukset 2010
Harjoitus 1
Harjoitus 2
Harjoitus 3
Harjoitus 4
Harjoitus 5
Harjoitus 6
Harjoitus 7
Mallivastauksia 2010
harj.1
harj.2
harj.3
harj.4
harj.5
harj.6
harj.7