Helsingin yliopisto Tietojenkäsittelytieteen laitos
 

Tietojenkäsittelytieteen laitos

Tietoa laitoksesta:

 

582206 Laskennan mallit (6 op), syksy 2006

(Pidetyt erilliskokeet)

Opetus syksyllä 2006

(Yleisempiä asioita on esitelty kurssikuvauksessa.)

Luennot 7.9.-12.10. ja 2.11.-7.12. to 10-12 B123 Jyrki Kivinen

Kurssikokeet

  1. to 19.10. klo 16-19
    • koealueena luentojen 1-5 ja harjoitusten 1-5 asiat (luentomoniste s. 1-92; Sipser s. 31-107 ja tarvittavat osat luvusta 0).
    • tehtävät PS, PDF
    • malliratkaisut PS, PDF
  2. ma 11.12. klo 16-19 B123
Harjoitusryhmät 11.9.-12.10. ja 30.10.-7.12.
  1. ma 10-12 Jyrki Kivinen B119
  2. ke 16-18 Sampo Yrjänäinen B119
  3. to 8-10 Jyrki Kivinen B119
  4. to 16-18 Sampo Yrjänäinen CK111
Harjoitustehtävät ja ratkaisut:
  1. tehtävät PDF, PS; ratkaisut PDF, PS
  2. tehtävät PDF, PS; ratkaisut PDF, PS
  3. tehtävät PDF, PS; ratkaisut PDF, PS
  4. tehtävät PDF, PS; ratkaisut PDF, PS
  5. tehtävät PDF, PS; ratkaisut PDF, PS
  6. tehtävät PDF, PS; ratkaisut PDF, PS
  7. tehtävät PDF, PS; ratkaisut PDF, PS
  8. tehtävät PDF, PS; ratkaisut PDF, PS
  9. tehtävät PDF, PS; ratkaisut PDF, PS
  10. tehtävät PDF, PS; ratkaisut PDF, PS
  11. tehtävät PDF, PS; ratkaisut PDF, PS

Dana Angluinin ohje tärkeimmistä todistustekniikoista

Alustava aikataulu

Alla oleva kalvojen jako eri tiedostoihin ei tällä hetkellä täysin osu yhteen pidettyjen luentojen eikä ilmoitettujen kurssikirjan sivujen kanssa.


1. maaliskuuta 2007 Jyrki Kivinen