Beskjeder

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.

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

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.

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!

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.

Arne Tobias har lagt ut sine slides fra repetisjonsforelesningen.

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!

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.

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.

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).

Se oversikten over innleveringsoppgaver for første innleveringsoppgave. Fristen er torsdag 27. august kl. 17.59.

Hei, og velkommen til INF1080 – Logiske metoder for informatikk.

Pensumboken Logiske metoder: kunsten å tenke abstrakt og matematisk skal være tilgjengelig i Akademikas bokhandel Blindern, men kan også kjøpes på nett via Universitetsforlaget eller Akademika.

Første forelesning er onsdag 19. august kl. 10.15 i auditoriet Simula i Ole-Johan Dahls hus. Velkommen!