Mat-1.080 Logiikan perusteet (1 ov) L
Mat-1.3031 Logiikka I (2 op) L

Kurssi on nykymuodossaan viimeisen kerran opetusohjelmassa keväällä 2006, jälkimäisellä periodilla, eli opetusjaksolla IV.

Kurssiohjelma

Kurssi käsittää yhteensä 24 tuntia luentoja, 4 tuntia viikossa 6 viikon ajan, opetusjaksolla IV (viikot 11-17) seuraavan aikataulun mukaisesti.

Kurssilla käsitellään mm. seuraavia aihepiirejä:

Formaalia logiikkaa: Propositio- ja predikaattikalkyylit klassisessa logiikassa.
Joukko-opin perusteita ja aksiomatiikkaa.
Lukuteorian perusteita: Luonnollisten lukujen teorian aksiomatiikkaa.
Ratkeavuusprobleema ja Gödelin epätäydellisyyslause.
Loogisia paradokseja ja niiden 'ratkaisuja'.
Vaihtoehtoisia logiikan järjestelmiä.
Kurssin tavoitteet painottuvat teorioiden loogisen perustan tarkasteluun, eikä niinkään esim. tietokonelogiikoiden tekniseen rakentamiseen.

Kurssin sisällön muodostaa opetusmoniste. Tämä kannattaa tilata Topilla. Oheiskirjallisuutta ei voida muulla tavoin määritellä yksiselitteisesti.

Ylioppilastutkinto.

Ilmoittautuminen kurssille tapahtuu Topi:lla.

Yhdellä tentillä. Kevään 2006 kurssin jälkeen järjestetään tentit la 29.4.2006 ja ke 18.5.2006.

11.1.2006