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!
