Nye øvingsoppgaver lagt ut. Det …
Nye øvingsoppgaver lagt ut. Det er laget et ekstra oppgavesett (5X) som gjelder modeller for førsteordens språk. Det anbefales at man prøver å løse (noe av) dette før neste forelesning.
Publisert 3. mars 2010 14:41
- Sist endret 26. mai 2010 12:16