Juleverksted s?ndag 6. desember

P? s?ndag 6. desember arrangerer vi jule(eksamens)verksted for INF1080. Vi starter med tips og triks for Naturlig Deduksjon, og fortsetter med oppgaveregning i plenum. Klokken 14:15 arrangerer vi en turnering i Naturlig Deduksjon. Vi avslutter med at studentene kan jobbe med det de vil og stille sp?rsm?l.

De som vil kan ta med julekaker eller annen snacks vi kan sette p? et felles kakebord. Alt opplegget foreg?r i Seminarrom C (3437) i OJD. Programmet blir som f?lger:

12:15--12:30 Introforedrag: Teknikker i Naturlig Deduksjon
12:30--14:00 Kreativitet under press: studentenes plenumsregning
14:15--15:00 Konkurranse: Turnering i Naturlig Deduksjon
15:15--16:00 Studentenes time

For ? sikre at vi har nok plass har vi p?melding til arrangementet. Dersom du allerede vet at du vil v?re med p? turneringen i ND kan du krysse av for det, men du kan ogs? melde deg p? p? dagen.