Vi ble ferdige med semantikken …
Vi ble ferdige med semantikken i dag. Neste uke begynner vi med naturlig deduksjon. Det betyr at pensum for neste ukes forelesning er van Dalen 1.4 og Avigad opp til og med 4.3. Ukeoppgaver kommert som vanlig f?r torsdag kveld.
Publisert 6. feb. 2012 19:02
- Sist endret 23. mai 2012 13:55