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!