Beskjeder

Publisert 8. des. 2023 12:40

Må møte opp i 9. etg. Eksamen er i seminarrom 9460. Ikke kom inn i selve rommet; vi kaller dere inn når det er klart.  Kan gjerne vente ved spisebordet i 9. etg., for eksempel.  Oppmøtetider: Åsmund 9:25; Joachim 10:00; Lars 10:45; Triera 13:00; Mick 13:40; Kristin 14:30; Benjamin 15:20; Samuel 16:10.  Siden hver eksamen KAN ta opptil én time, kan man fort måtte vente noe tid.  

Publisert 24. nov. 2023 14:57

Det ble ytret ønske om forelesning uken før eksamen.  Skriv gjerne til meg om hva jeg skal snakke om.  Paul har tenkt å ta en "mini-øvings-muntlig-eksamen".  Jeg har tenkt å prøve å si noe om hva man skal ha lært i emnet.  Men mail meg om hva jeg burde gjøre!

Publisert 23. nov. 2023 14:13

Eksamen er som lenge annonsert den 15. desember.

Rom 9460, i 9. etg., er reservert for eksamen fra 9:00-16:00. De tre IN9100-studentene har eksamen først, etterfulgt av IN5100-studentene.

Publisert 2. nov. 2023 16:29

1. Ingen forelesning fredag 3.11.  

2. Nå er pensum for alle temaer presisert nøye; se tidligere "beskjed" for linker til pensum for hvert tema.

3. Husk oblig 3; innleveringsfrist 8. november.

Publisert 18. okt. 2023 18:02

Oblig 3 har allerede vært presentert på forelesning. Her er "teksten".  Her er filen borneo-public.maude med syntaksen til borneo og en masse borneo-testprogrammer. Man kan også bli inspirert av Maude-semantikken til det berømte/beryktede språket bali, som er her: bali-public.maude

Publisert 13. okt. 2023 13:34

Handout-versjoner av slides ("handout") lagt inn i timeplanen.

Eksamen avholdes én av dagene 13-15 desember, ser det ut til.

Publisert 27. sep. 2023 15:02

Etter å ha diskutert med Paul tenker vi at det er mye bedre at dere jobber med Oblig 2 denne uken, i stedet for at vi presenter Oblig 3 allerede denne uken.

Vi avlyser derfor forelesningen denne fredagen.

 

Publisert 14. sep. 2023 14:53

Minner om at innleveringsfristen for obligatorisk oppgave 1 er fredag 22. september.