Pensumlisten er oppdatert, se lenken …

Pensumlisten er oppdatert, se lenken til venstre. Spesielt er dette ekstranotatet (pdf-versjon ) om simulering av endelige automater i predikatlogikk, lagt til.

Publisert 7. mars 2005 17:19