Beskjeder

Nest forelesning blir torsdag 9. april kl. 12:15 i 9. etg.

Jeg holder på å forelese fra seksjon 7.7. Dere kan forøke dere på følgende oppgaver på side 298 og 299: 1, 2 og 5. Dere finner løsningsforslag til disse oppgavene bak i boka.

God påske

Neste forelesning blir fredag 27. mars i 9. etg. Rom er reservert.

Neste forelesning finner sted tirsdag 17. mars.

Jeg er er ferdig med å forelese seksjon 7.6. Dere kan forsøke dere på alle oppgavene i seksjon 7.6.1 (side 285 til 287), og dere vil finne løsningsforslag til de fleste av dem i boka. En del viktige resultater og innsikter i beregnbarhetsteori formidles som oppgavestoff i seksjon 7.6.1. Jeg bør kanskje legge til at oppgave 10 og oppgave 11 er kun egnet for den som ønsker en ekstra utfordring.

Jeg har nå begynt å forelese Seksjon 7.4.

Her noen oppgaver dere kan forsøke dere på i de nærmeste ukene.

Side 261: oppgavene 1, 2, 3, 5, 6 og 7.

Det blir ikke forelesning tirsdag 17. februar.

Neste forelesning finner sted tirsdag 24. februar.

The first lecture is over. I have lectured Section 7.1, 7.2 and (the start of) 7.3 of our book. I will continue to lecture Section 7.3 next week.

Here are some exercises that you may try to solve during the next few weeks:

• Sec 7.3.1 (page 249): ex 1, ex 2 ex 3, ex 4, ex 5, ex 9a, ex 9b.

(You find solutions to most of these exercises in the book, see page 384.)

If you need information about the book, please send me an e-mail.