Introduction to Logic I

Ei varsinaisia esitietovaatimuksia, mutta opintojaksosta MAT11001 Johdatus yliopistomatematiikkaan on hyötyä.

Opintojakson suoritettuaan opiskelija tuntee propositiologiikan peruskäsitteet ja -menetelmät; esimerkiksi

- osaa muodostaa ja tulkita propositiologiikan lauseita

- osaa tutkia propositiolauseen saamia totuusarvoja sekä propositiolauseiden välistä loogista seurausta totuustaulun avulla

- ymmärtää totuusfunktioiden ja propositiolauseiden välisen yhteyden ja osaa muodostaa annettua totuusfunktiota vastaavia propositiolauseita

- osaa tuottaa yksinkertaisia formaaleja päättelyitä luonnollisellla päättelyllä sekä käyttää resoluutiota ja semanttisia puita tautologisuuden ja loogisen seurauksen tutkimiseksi tai osoittamiseksi

- ymmärtää eheyden ja täydellisyyden merkityksen päättelyjärjestelmässä

Opintojaksolla käytetään pääosin monistetta Å. Hirvonen: Johdatus logiikkaan I. Luennoitsija voi käyttää myös muuta materiaalia.

Opintojakso suoritetaan joko osallistumalla opetukseen tai tentillä.

Luentokurssi arvioidaan kurssityöskentelyn ja/tai kurssikokeen perusteella.

Kurssilla on viikoittaiset luennot ja harjoitustehtävät.

Opintojaksosta vastaa matemaattisten tieteiden kandiohjelma ja se kuuluu matematiikan aineopintoihin.

Opintojakso on tarjolla myös muiden koulutusohjelmien opiskelijoille.

Opintojakso järjestetään joka vuosi I periodissa.

Opintojakso suositellaan suoritettavaksi kandiopintojen toisena tai kolmantena vuonna.

Opintojakso kuuluu valinnaisena matematiikan aineopintokokonaisuuksiin MAT217 ja 218 sekä kokonaisuuksiin MFK-M200 Matematiikka, aineopinnot, aineenopettajakoulutus ja MFK-M300 Matematiikka, syventävät opinnot, aineenopettajakoulutus.

suomi, ruotsi, englanti