Child pages
  • Matemaattinen logiikka, syksy 2015
Skip to end of metadata
Go to start of metadata

Matemaattinen logiikkasyksy 2015

 

Vastuuopettaja: Tapani Hyttinen 

Laajuus: 10 op

Tyyppi: Syventävä opinto

Opetus:

Sisältö:

Esitietovaatimukset: Kurssi Logiikka I auttaa mutta ei ole välttämätön

Ajankohtaista

  •  

Opetusajat

Lukuvuoden avajaisten johdosta ensimmäinen luento on vasta Pe 4.9 ja ensimmäiset laskuharjoitukset vasta Ma 14.9.

Viikot 36-42 ja 44-50, ma 14-16 salissa D123 ja pe 12-14 salissa C124. Lisäksi laskuharjoituksia 2 viikkotuntia.

Kokeet

 1. välikoe pe 16.10 klo 12-14 sali C124 Koealue: Monisteen sivut 1-43 HUOM! Tulokset löytyvät 'koetulokset' sivulta. Katso myös harjoitukset 6

 2. välikoe pe 11.12 klo 12-14 sali C124 Koealue: Monisteen sivut 44-85 vihjeitä kokeen tehtäviin.

Kurssimateriaali

 Jouko Väänänen, Matemaattinen logiikka

Rekursiivisista määritelmistä

Ilmoittaudu kurssille

 
Unohditko ilmoittautua? Katso ohjeet täältä!

Laskuharjoitukset

Harjoitustehtävät

Harjoitusryhmät

RyhmäPäiväAikaPaikkaPitäjä
1.ma 16-18 C124 Tapani Hyttinen 

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

 

  • No labels