|
|||||||
Logik för datavetare, HT-07 |
|||||||
|
Instructor: Michael Minock Assisstant: Lars Larsson Syllabus (pdf) Syllabus (html) Slides Assistance Mandatory assignments Assignment 1 Assignment 2 Assignment 3 Group exercises Group 1 Group 2 Group 3 Evaluation Assignment grades Course evaluation Official Policies University exam policy Department lab rules |
|
||||||
