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