Beskjeder
Fikk et varsel om at det er en trykkfeil i obligen i del 3 Aksiomer, teorier og modeller:
Der defineres axiomet AT = for alle x, y, z(xGy ^ yGz -> xGy)
Men det skal såklart være AT = for alle x, y, z(xGy ^ yGz -> xGz)!
Da er obligen lagt ut. Leveres fredag den 13. i gruppetimen eller i administrasjonen. Spør gjerne per epost om noe er uklart, om du mistenker trykkfeil e.l.
Det blir lagt ut to oppgavesett til førskommende fredag etter forelesning i dag, det første er mest en liste med definisjoner og øvinger fra forelesningen den 12. april.
Som vi kom fram til under forelesningen den 12. så bli obligen lagt ut på fredag, og dere får to uker på den.
Oppgavesett 9 til fredag 25. lagt ut. (Igjen forutsetter flere av oppgavene stoff som vil bli gjennomgått nå på tirsdag, vi kan diskutere om det derfor bør forskyves en uke.)
Inge har laget noen løsningsforslag til 7'ern, nå lagt ut.
Oppgavesett 8 til neste fredag lagt ut. Vi havnet litt etter planen sist tirsdag, så en del oppgaver her (fra og med oppgave 8) bygger på stoff som vil bli gjennomgått førstkommende tirsdag.
Det ble gjort en feil på tavla under tirsdagens forelesning! Vi ser naturligvis alvorlig på dette, og stikker forbi gruppetimen på fredag for å rette opp. I korthet så er eller-eliminasjonsregelen litt subtil, og det gikk for raskt i svingene under induksjonsbeviset for sunnhet m.h.t. valuasjoner i Boolske algebraer.
Da var oppgavesett 7 til neste fredag lagt ut.
Oppgavesett 6 lagt ut. Gjennomgås fredag 4. mars. (Beklager at den kommer først nå, skylder på sykdom.)
Det vil desverre ikke være noen gruppelærer til stede førstkommende fredag. Rommet er naturligvis vårt om man vil regne eller diskutere i felleskap, men hverken jeg eller Inge kan komme. Fredag neste uke vil jeg være tilstede og diskutere oppgaver fra sett 4, 4b og 5.
Tilbakemeldingen fra Fredagens gruppe er at man regner så det spruter og allerede har løst oppgavesett 4. Jeg legger derfor ut et nytt sett, 4b, til førstkommende fredag med flere oppgaver som går på rekursjon, induksjon og PROP. Om noen føler at de ligger litt etter med oppgaveregningen så anbefales det å regne oppgaver fra sett 3 og 4 og gå på gruppen nå på fredag for å spørre Inge om det man lurer på.
Inge har laget løsningsforslag til oppgave 2 og 4 i oppgavesett 3, det ligger under "Løsningsforslag".
For å gi bedre tid til regning av oppgaver forskyves ukeoppgavene én uke. Dvs at Oppgavesett 4 som nå (likevel) er lagt ut er til fredag om to uker. Regn flere oppgaver fra sett 3 til neste uke.
Boka "How to Read and Do Proofs: An Introduction to Mathematical Thought Processes" av Daniel Solow er, som det ble sagt i går, ikke i bibliotekets samlinger her i Oslo, men man kan jo bestille fra andre bibliotek. Eller kjøpe fra nettbokhandel (Tanum leverer den i løpet av 2-5 dager, ser jeg).
Lestoff relevant for morgendagens forelesning og oppgavesett 3: Enderton seksjon 1.2. Dette er dokumentet som refereres til som "the Enderton handout" i Avigad.
Oppgavesett 3 (for neste uke) lagt ut.
Oppgavesett 2 lagt ut. "For fredag den 28." betyr at oppgavesettet er tema for gruppetimen den fredagen.
For studenter som vil lese seg opp på mengdelære utover INF3170-notatene fra i fjor så anbefaler gruppelærer forelesningsnotatene til INF1080 som fins her
Er ikke tørsten slukket av dette kan man f.eks. lese Halmos: "Naive Set Theory" som fins på biblioteket.
Studenter som gikk glipp av dagens forelesning, f.eks. fordi det stod feil startdato under "Sted og tid", gikk ikke glipp av noe som man ikke raskt og greit kan lese seg opp på. Se "Detaljert undervisningsplan". Dessuten vil vi starte neste forelesning den 25. med en rekapitulasjon.
Merk: Første forelesning er i dag, ikke den 25. som det står under "Tid og sted".
Det er fortsatt ledige plasser på emnet - du kan etteranmelde deg fra tirsdag 18. januar.
Til første forelesning, les introduksjonskapitlene i van Dalen og Avigad.