Beskjeder
Hvis man vil ha en alternativ innfallsvinkel p? mange av de tingene som inng?r i kurset kan man se p? boken "Book of Proof".
Tankegangen der er ganske annerledes, med mindre fokus p? stringent oppbygning fra aksiomer. Fordelen er at ting kan virke enklere og mere vante. Ulempen er at man ikke vet helt n?yaktig hva som forutsetter hva i teorien, og hva man "har lov til ? bruke" i en gitt oppgave. Merkelig nok fungerer det likevel ganske bra i praksis! Temaene er omtrent de samme og den boken har ogs? l?sningsforslag.
Hvis det er vanskelig ? komme igang med den f?rste oppgaven, kan man se f?rst p? oppgave 2.28 i boka. Den likner og har l?sningsforslag.
Dessverre ble det ikke gitt oppgaver til seksjon 2.5 i ukesplanen. Jeg har n? rettet opp det.
Jeg skal gj?re meg ferdig med noen bemerkninger om naturlige tall neste forelesning. Det jeg vil vise er at ting vi vet om de naturlige tallene kan reduseres til Peanos aksiomer, alts? induksjon.
Deretter kan man introdusere hele tall (alts? med tall med fortegn). Det gj?res i seksjon 3.3. Detaljene i dette er ikke s? interessante, s? jeg skal ikke bruke s? mye tid p? dem. Etter det tillater vi oss ? regne med hele tall ved hjelp av alt vi vet om addisjon og multiplikasjon.
F?rstkommende onsdag kl 14:15 skal jeg snakke i FFV om dette kurset!
/english/research/news-and-events/events/guest-lectures-seminars/science-studies/events/2024/snorre-christiansen.html
Studentrepresentanter er:
Nikolas Miroslav Golis, nikolamg@uio.no
Bendik Thune, Bendik.Thune@gmail.com
Tilbakemeldinger til foreleser og gruppel?rer kan formidles gjennom studentrepresentanter, spesielt hvis man ?nsker ? v?re anonym.
Studentrepresentanter er ogs? ansvarlige, p? vegne av alle studentene, for evaluering av kurset i l?pet av semesteret.
Jeg har oppdatert planen med noen oppgaver relatert til denne uken og planlagte frister for obligatoriske oppgaver.
Eksamen kommer tidlig i ?r (det er ikke opp til meg).
Vi m? utnevne to studentrepresentanter. Fint om noen melder seg frivillig. Vi ordner det i pausen neste onsdag.
Som oftest kan det ? danne seg bilder av matematiske utsagn hjelpe p? forst?elsen. Noen ganger gir det ogs? idéer til bevis, slik som denne illustrasjonen av Pytagoras' teorem. Man kan si at den viser en strategi for beviset. N?r man har en strategi kan beviset fullf?res ved hjelp av taktiske grep (i henhold til gitte bevisteknikker og ved hjelp av allerede etablerte teoremer og definisjoner).
Jeg f?r veldig mange gode sp?rsm?l under forelesning og p? mail. Det er supert. Det er noe av poenget med undervisningsformen at man skal kunne diskutere sp?rsm?l ang?ende pensum med foreleser, gruppel?rer og medstudenter.
For at flest mulig skal dra nytte av dem har jeg noen forslag:
- still gjerne sp?rsm?l under forelesning (ikke bare under pausen eller mot slutten), s? tar jeg det p? sparket. Det hender jeg er upresis eller sier noe feil, s? det er fint ? f? luket ut s?nt med en gang.
- send gjerne andre sp?rsm?l p? mail til gruppel?rer s? tar han det i plenum p? gruppetimen. Slik blir gruppetimene mer interessante.
- finn gjerne medstudenter ? diskutere med p? mer eller mindre fast basis.
Jeg har laget en mappe for bilder av forelesningene under Ressurser.
(Jeg hadde opprinnelig tenkt ? ha dem under Canvas men fikk ikke den l?sningen til ? fungere)
N?r jeg holder forelesning skriver jeg det meste p? tavla. Jeg tar bilder av dette og legger dem ut p? kurssidene i etterkant. Jeg anbefaler likevel ? ta notater (det skjerper oppmerksomheten og hjelper hukommelsen). Det blir ikke gjort opptak av forelesningene.
Velkommen til kurs. Jeg har lagt ut en forel?pig plan for semesteret under Ressurser. Les gjerne introduksjonen og prologen i l?reboken asap.