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:
- Ukesoppgaver 1, oppgave 4 [oppdatert 02.02.06]
- Spørsmål og svar Oblig1 [oppdatert 14.02.06]
- 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]
- Endelig godkjentliste for oblig 1 [oppdatert 02.03.2006]
- Løsningsforslag oblig 1 [pdf] [oppdatert 08.03.2006]
- Løsningsforslag oblig 1 [tex] [oppdatert 08.03.2006] For å produsere pfd fil fra en tex fil, kan kommandoen ltx2pdf brukes på ifi.
- Spørsmål og svar Oblig2 [oppdatert 09.03.06]
- Løsningsforslag oblig 2 [pdf] [oppdatert 22.03.2006]
- Løsningsforslag oblig 2 [tex] [oppdatert 22.03.2006]
- Tips oblig 3 [oppdatert 02.05.2006]