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]