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.