Matemaattinen logiikka, kevät 2017
Matemaattinen logiikka, kevät 2017
Vastuuopettaja: Åsa Hirvonen
Laajuus: 10 op
Tyyppi: Syventävä opinto
Opetus: Luennot ja laskuharjoitukset, tarkemmat tiedot kurssin Moodle-alueella
Sisältö: Propositio- ja predikaattilogiikan syntaksi, semantiikka, päättely ja täydellisyys; primitiivirekursiiviset ja rekursiiviset funktiot, määriteltävyys, Gödelin epätäydellisyyslauseet
Esitietovaatimukset: Kandiopintojen aikana saavutettu matemaattinen rutiini; kursseista Johdatus logiikkaan I ja II on hyötyä, mutta ne eivät ole välttämättömiä.
The [toc] macro is a standalone macro and it cannot be used inline. Click on this message for details.
Ajankohtaista
- Ensimmäiset harjoitustehtävät ovat Moodle-alueella, käykäähän vilkaisemassa (ja kirjautumassa alueelle)!
- Kurssille on luotu moodle-alue, johon jatkossa kertyy kurssitiedotus, harjoitukset jne. (Moodle-sivu päivittyy vielä ennen kurssin alkua)
- Kurssin laskuharjoitukset alkavat jo ensimmäisellä opetusviikolla (eli 20.1.)
Opetusajat
Luennot viikoilla 3-9 ja 11-18 ma klo 14-16 ja ti klo 10-12 salissa C123. Lisäksi laskuharjoituksia 2 viikkotuntia.
Pääsiäisloma 13.-19.4.
Kokeet
Kurssikokeen kesto on 2,5 h.
Kurssikokeessa sallitut apuvälineet ovat pelkät kirjoitusvälineet.
Kurssimateriaali
Jouko Väänänen:
materiaalista on tulossa päivitetty englanninkielinen versio lähiaikoina.Ilmoittaudu kurssille
Unohditko ilmoittautua? Katso ohjeet täältä!
Laskuharjoitukset
Kurssilla opiskelijat vuorottelevat harjoitusten malliratkaisujen laadinnassa, joten laskuharjoitustilaisuuden lisäksi harjoituksia palautetaan myös kirjallisesti. Tarkemmat tiedot kurssin moodle-alueella.
Harjoitustehtävät
Harjoitustehtävät julkaistaan kurssin moodle-alueella.
Harjoitusryhmät
Ryhmä | Päivä | Aika | Paikka | Pitäjä |
---|---|---|---|---|
1. | pe | 10-12 | C122 | Juho Leppänen |
Palautetta kurssista
Matematiikan ja tilastotieteen laitoksella on käytössä jatkuva palautteen keruu eli voit antaa palautetta missä tahansa kohdassa kurssia. Palautelomakkeeseen pääset täältä.