Wiki-palvelun osoite wiki.helsinki.fi muuttui wiki-emerita.it.helsinki.fi -osoitteeksi 4.12.2023 – katso lisätietoja tiedotteestamme: https://flamma.helsinki.fi/s/1uCkV
The Wiki address wiki.helsinki.fi has changed to wiki-emerita.it.helsinki.fi on 4 December 2023 – see more information on Flamma: https://flamma.helsinki.fi/s/sreoE
Wiki-tjänstens adress wiki.helsinki.fi ändrades till wiki-emerita.it.helsinki.fi 4.12.2023 – läs mer i vårt meddelande: https://flamma.helsinki.fi/s/fe3MT
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ä.
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: Matemaattinen logiikka, 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ä.