Matemaattinen logiikka, kevät 2017

Last modified by asaekman@helsinki_fi on 2024/03/27 10:30

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: 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ä.