Messages
F?rste time av forelesning etter p?ske vil jeg g? gjennom beviset av Rices teorem. S? begynner jeg ? forelese om beregnbar analyse. Dere finner en link til l?reboken vi skal bruke nedenfor.
Jeg er n? ferdig med ? forelese seksjon 7.6, og dere b?r v?re i stand til ? ta fatt p? oppgavene i seksjon 7.6.1. Samtlige oppgaver i seksjonen er fine med tanke p? hva som er kjernen av pensum, men oppgave 10 og 11 er for de spesielt interesserte.
Her er en en "frivillig oblig":
http://folk.uio.no/larsk/assign5840.pdf
Hvis man vill levere den inn, s? b?r den leveres p? neste forelesning, dvs. onsdag 15 mars.
Jeg har n? s?vidt staret ? forlese seksjon 7.6.
Jeg anbefaler oppgave 1, 2, 3, 4, 6, 7, og 8 i seksjon 7.4.1 (side 223). Oppgave 5, 9 og 10 er for de spesielt interesserte (og oppgave 9b er forferdelig vanskelig).
Videre anbefaler jeg opgavene 3, 4 og 5 i seksjon 7.5.1 (side 234). Oppgave 1og 2 dreier seg om den tekniske aspekter ved beviset av Kleenes normalformteorem. De er ikke s? vanskelige, men de krever at man setter seg inn i en rekke detaljer . Man b?r ikke priorieter disse oppgavene. Oppgave 6 er for de spesielt interesserte.
Det blir forelesning neste uke (onsdag 22. februar). S? kommer det to uker uten forelesninger. Fra og med 15. mars blir det forelesning hver onsdag ut semesteret (bortsett fra feriedager).
Jeg ble nesten ferdig med seksjon 7.3. Jeg foreleser litt mer om stoffet i seksjon 7.3 neste gang, og s? begynner jeg p? seksjon 7.4. Det er bare ? g? l?s p? oppgavene i seksjon 7.3.1 (side212-215). Oppgave 7, 8 og 9 er for de spesielt interesserte.
Neste forelesning blir onsdag 8. februar. De som ikke har MAT-INF3600 m? leste seksjon 4.5 grundig f?r neste forelesning. De som ikke har MAT-INF3600 b?r for s? vidt lese hele kapittel 4 grundig, men man b?r ikke n?dvendigvis gj?re det f?r neste forelesning.
L?s oppgaver, og still sp?rsm?l hvis dere lurer p? noe i forbindelse med oppgavene.
Vi har startet. Nest forelesning blir onsdag 2. februar (s? ingen forelesning den onsdag den 26. januar). Jeg har som m?l ? bli ferdig med delkapittel 7.3 i l?pet av neste forelesning.