Dette emnet er erstattet av IN3070 – Logikk.

INF3170/INF4170 Gruppe 1

Gruppelærer: Martin Georg Skjæveland

E-post: martige |å| ifi.uio.no

Undervisning:

  • Onsdag kl. 12:15 -14:00, 3A Informatikkbygningen ( i perioden 1. februar til 14. juni)

Links:

  • bussproofs.sty er en fin-fin pakke for å skrive LK-utledninger i LaTex. Her finner du .sty-fila, dokumentasjon og eksempler. [oppdatert 15.02.06]
Publisert 30. jan. 2006 19:03 - Sist endret 2. mai 2006 17:45