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.
- Luennot: ma 10 - 12 ja ke 10 - 12, molemmat salissa U322.
- Kurssiin ei kuulu harjoitus- tai demonstraatiotunteja.
- Luennot alkavat maanantaina 13.3.2006 klo 10-12.
- Viimeinen luento keväällä 2006 on keskiviikkona 26.4.2006.
Kurssin sisältö
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.
Kirjallisuus
Kurssin sisällön muodostaa opetusmoniste. Tämä kannattaa tilata
Topilla.
Oheiskirjallisuutta ei voida muulla tavoin määritellä yksiselitteisesti.
Esitiedot
Ylioppilastutkinto.
Ilmoittautuminen
Ilmoittautuminen kurssille tapahtuu
Topi:lla.
Kurssin suorittaminen
Yhdellä tentillä. Kevään 2006 kurssin jälkeen järjestetään tentit la 29.4.2006
ja ke 18.5.2006.
Kurssin opettaja
Lehtori
Seppo Ilkka.
Seppo Ilkka
11.1.2006