Kaisa_2012_3_photo by Veikko Somerpuro

Ilmoittaudu
Moodle
Kirjaudu sisään nähdäksesi Moodlen kurssiavaimen.

Aikataulu

Tästä osiosta löydät kurssin opetusaikataulun. Tarkista mahdolliset muut aikataulut kuvauksesta.

PäivämääräAikaOpetuspaikka
Ti 31.7.2018
16:15 - 18:45
Ma 6.8.2018
16:15 - 18:45
Ti 7.8.2018
16:15 - 18:45
To 9.8.2018
16:15 - 19:30
Ma 13.8.2018
16:15 - 18:45
Ti 14.8.2018
16:15 - 18:45
To 16.8.2018
16:15 - 19:30
Ma 20.8.2018
16:15 - 18:45
Ti 21.8.2018
16:15 - 18:45
To 23.8.2018
16:15 - 19:30
Ma 27.8.2018
16:15 - 18:45
Ti 28.8.2018
16:15 - 18:45
To 30.8.2018
16:15 - 19:30
Ma 3.9.2018
16:15 - 18:45
Ti 4.9.2018
16:15 - 18:45
To 6.9.2018
16:15 - 19:30
Ma 10.9.2018
16:15 - 18:45

Ilmoittautuminen ja opintomaksu

75 euroa. Lisätietoja.

Avoimen yliopiston kesäopetus on maksutonta ilmoittautumishetkellä läsnä oleville Helsingin yliopiston perustutkinto-opiskelijoille. Maksuttomuus ei koske mahdollista materiaalimaksua.

Ilmoittautuminen alkaa 45 vuorokautta ennen opintojakson alkua. Tarkka ilmoittautumisaika näkyy Ilmoittaudu-painikkeesta.

Miten opiskelemaan?

Käytännön ohjeita opiskeluun

Varaamme oikeuden muutoksiin opinto-ohjelmassa.

Kuvaus

Kurssin tavoitteena on tutustuttaa opiskelijat formaalin logiikan perusteisiin. Opiskelijat perehtyvät lauselogiikan syntaksiin ja semantiikkaan sekä todistusteoriaan. Kurssilla opitaan useita formaalin logiikan menetelmiä, kuten totuustaulut, semanttiset puut ja luonnolliset päättelyt. Tämän lisäksi tutustutaan predikaattilogiikan syntaksiin ja semantiikan alkeisiin. Kurssin lopussa opiskelijan odotetaan hallitsevan argumenttien loogisen analyysin lause- ja predikaattilogiikan formaalien menetelmien avulla.

Luentomonisteet laitetaan verkkoon.

Suoritus arvioidaan asteikolla 0-5 väli- ja loppukokeen sekä suoritettujen harjoitustehtävien perusteella.

Luennot ja harjoitukset, väli- ja loppukoe.

Luennot maanantaisin ja tiistaisin. Harjoitukset torstaisin, ks. tarkemmat ajankohdat kohdasta aikataulu.

Välikoe: la 25.8.2018 klo 9-11, uusinta la 29.9.2018 klo 9-11

Loppukoe: la 15.9.2018 klo 9-11, loppukokeen uusinta la 20.10.2018 klo 9-11.

Toinen uusintamahdollisuus väli- ja loppukokeelle: la 1.12.2018 klo 9-11. HUOM! Ilmoita tentti-ilmoittautumisen yhteydessä (kohdassa erityissopimukset), kumman tentin suoritat vai suoritatko molemmat. Jos tentit molemmat, tenttiaika on 2 + 2 tuntia.

Muista ilmoittautua väli- ja loppukokeeseen. Opintomaksuun sisältyy opinto-ohjelmassa mainitut koepäivät.

Tenttiohjeet

Tenttipaikat