Dette emnet er erstattet av IN1150 – Logiske metoder.

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.

Publisert 2. des. 2015 14:41