Dette emnet er erstattet av IN1150 – Logiske metoder.

Semesterside for INF1080 - Høst 2015

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.

2. des. 2015 14:41

I uke 49 (30. november til 4. desember) er det undervisning på gruppe 3, 4, 8 og 9.

30. nov. 2015 08:16

Prøveeksamen ligger nå ute. Vi anbefaler at du forsøker å løse eksamen uten diskusjon og hjelpemidler, men det er opp til deg! Lykke til!

Klokken 14:15 gjennomgår vi løsningsforslag i Simula. Dette er en del av avslutningsfesten, men denne delen av arrangementet er åpen for alle.

27. nov. 2015 08:20

Avslutningsfesten i INF1080 er rett rundt hjørnet! Se her for detaljert program. Husk å melde deg på via nettskjema innen fredag kl. 07.30. Vel møtt!

26. nov. 2015 19:20

Melde deg på avslutningsfest med prøveeksamen her! Påmeldingsfristen er førstkommende fredag klokken 07:30, men vi setter pris på tidlig påmelding så det er lettere å planlegge arrangementet.

25. nov. 2015 09:16

Arne Tobias har lagt ut sine slides fra repetisjonsforelesningen.

22. nov. 2015 10:28

Denne uken og onsdag neste uke er det repetisjonsforelesninger. Samme tid og sted som ordinære forelesnigner. På fredag 27. november er det avslutningsfest. Nærmere beskjed kommer i løpet av uka. Hold av dagen!

18. nov. 2015 10:36

Det blir ingen forelesning på fredag 9. oktober, da denne ville overlappe mot midtveiseksamen i MAT1001. Dette gjør at vi må endre hva som er innleveringsoppgave 8 (se her).

INF1080-kafeen i Escape holdes som vanlig fra 14 til 16 på fredag. Det blir en liten konkurranse, samt mulighet for å snakke med andre studenter, gruppelærere og Andreas.

7. okt. 2015 14:47

Vi har INF1080-café hver fredag i Escape mellom 14:15 og 16:00. Her kan man jobbe med INF1080 sammen med sine medstudenter og få hjelp av gruppelærere. Det vil også være konkurranser i form at Kahoot-quiz og "logiske nøtter" med premie til den som raskest finner den riktige løsningen, og et og annet spill. Se også facebook-eventen for denne fredagen.

1. okt. 2015 21:40

I forbindelse med programseminaret for førsteårsstudenter mandag og tirsdag uke 37 blir det en ekstra gruppetime onsdag 9. september 12.15-14.00 på seminarrom Logo (2438) midt i 2. etasje for de som går glipp av gruppetimer på mandag eller tirsdag. I tillegg  utgår gruppetimen for gruppe 2 tirsdag 10.15-12.00 (men gruppe 4 går som vanlig).

3. sep. 2015 15:39