Matemaattinen logiikka, syksy 2015

The [toc] macro is a standalone macro and it cannot be used inline. Click on this message for details.
This macro generates standalone content. As a consequence you need to make sure to use a syntax that separates your macro from the content before and after it so that it's on a line by itself. For example in XWiki Syntax 2.0+ this means having 2 newline characters (a.k.a line breaks) separating your macro from the content before and after it.

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

• Harjoitus 1 vihjeitä
• Harjoitus 2 vihjeitä
• Harjoitus 3 vihjeitä
• Harjoitus 4 vihjeitä
• Harjoitus 5 vihjeitä
• Harjoitus 6 (26.10) 1.vk vihjeitä
• Harjoitus 7 vihjeitä
• Harjoitus 8 vihjeitä
• Harjoitus 9 vihjeitä
• Harjoitus 10 vihjeitä
• Harjoitus 11 vihjeitä
• Harjoitus 12 vihjeitä

Harjoitusryhmät

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