Beskjeder

Hei, alle som forbereder seg til INF1080-eksamen. Jeg har lagt ut noen nye løsningsforslag nå, til følgende oppgaver: 1.3, 1.4, 1.5, 6.8, 6.10, 8.9, 13.2, 13.3, 15.4, 15.12, 16.8, 17.18, 17.23, 18.3 og 21.6.

På fredag 5/12 blir det semesterets siste INF1080-verksted (samme sted og samme tid: Shell, kl. 14.15–16.00), men vi blir litt underbemannet. Kun én gruppelærer vil være tilstede og foreleseren kommer bare muligens innom. Men det kan være en anledning til å møte andre studenter og forberede seg. Lykke til på eksamen! 

Et løsningsforslag for prøveeksamen er lagt ut, og opptak av Andreas Nakkeruds gjennomgang av prøveeksamen er lastet opp på YouTube. Noen flere løsningsforslag for utvalgte oppgaver fra boka er også lagt ut.

Avslutningfesten er her! Prøveeksamen er lagt ut og programmet for avslutningsfesten er oppdatert. Vi ønsker alle (132 studenter) som har meldt seg på, velkommen og lykke til med prøveeksamen. Programmet i Simula begynner 12.15. Vel møtt!

Alle som tar INF1080 inviteres herved til en faglig-sosial avslutningsfest fredag den 28. november 2014 fra klokken 12.15 og utover i Simula i Ole-Johan Dahls hus. Det er obligatorisk påmelding. Les mer her!

Forelesningen torsdag 13/11 kl. 12.15 blir en ren repetisjonsforelesning med tilbakeblikk og oppgaveregning. Hvis det er noe spesielt du vil høre om eller gjennomgått, send en e-post til inf1080-ansvarlige@ifi.uio.no.

Mange har etterspurt tidligere eksamensoppgaver, og det er nå publisert.

Utvalgte løsningsforslag er lagt ut. Forelesningen torsdag 30. oktober 12.15–14.00 er flyttet til Store Auditorium i Kristen Nygaards hus (rett ved siden av Ole-Johan Dahls hus). Da blir det litt mer kombinatorikk (kapittel 19). 

Den ekstra innleveringsoppgaven med frist fredag 24. oktober 23.59 er nå å finne på innlveringsoppgave-siden.

Denne uken graver vi oss dypere ned i mengdelæren og lærer om den universelle mengden, komplementet til mengder, potensmengder og mer om Venn-diagrammer. Deretter snakker vi om uendelighet, kardinalitet og begrepene tellbar og overtellbar. (Screencast av denne ligger nå under timeplan.) På torsdag snakker vi om tillukninger og induktivt definerte mengder. Denne forelesningen er starten på en rekke med fire forelesninger som henger nøye sammen. Vel møtt!

Denne uken handler INF1080 om relasjoner og funksjoner. På tirsdag definerer vi og snakker om relasjoner. Matematisk sett er en relasjon en mengde med tupler. Vi snakker om de viktigste egenskapene relasjoner kan ha, om ekvivalensrelasjoner og om ordninger. På torsdag definerer vi og snakker om funksjoner, snakker om de viktigste egenskapene funksjoner kan ha og om operasjoner, som en spesiell type funksjoner. I gruppeundervisningen er temaene resten av utsagnslogikk, samt bevismetoder. Det er lurt å komme forberedt til forelesningene fra nå av. Les minst gjennom kapittel seks én gang før tirsdag og kapittel sju én gang før torsdag. Vel møtt!

Første innleveringsoppgave er unnagjort, og vi er klare for en ny uke. På tirsdag gjør vi oss ferdige med introduksjonen til utsagnslogikk: Vi snakker om logisk ekvivalens, logisk konsekvens og de fire begrepene oppfyllbarhet, falsifiserbarhet, gyldighet og kontradiksjon. Med andre ord resten av kapittel 3 og kapittel 4. På torsdag snakker vi om bevismetoder, formodninger og moteksempler, som er kapittel 5. I gruppetimene vil temaet være utsagnslogikk, representasjon og sannhetsverditabeller. Vel møtt!

Denne ukens forelesninger handler om utsagnslogikk. På tirsdag tar vi for oss kapittel 2 og på torsdag kapittel 3. På tirsdag blir det også en rask repetisjon av mengdelære og de resterende temaene fra kapittel 1 (tupler og multimengder). Vel møtt!

Vi har lagt ut noen tips for ulike måter å føre inn innleveringene og få dem lagret som PDF-fil eller ren tekst-fil.

Hver forelesning fremover kommer til å forutsette at du kommer forberedt og har lest kapitlet som gjennomgås. Det er derfor lurt å begynne å lese allerede nå. Hvis du ikke har skaffet deg læreboken ennå, gjør det i dag og begynn å lese. Det vil gjøre deg forberedt og bedrer rustet til å henge godt med i de første forelesningene. Det første ordentlige temaet vi gjennomgår, etter introduksjonen, er mengdelære (kapittel 1) og dette vil være grunnlaget for det meste som følger.

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

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

Og snart braker det løs: Første forelesning er allerede tirsdag 19. august kl. 12.15 i auditoriet Simula i Ole-Johan Dahls hus. Velkommen!