Oppdatering fra forelesningsfronten

Jeg har n? forelest kapittel fram til seksjon 8.4 p? side 348. Alt stoffet i tre f?rste seksonen av kapittelet har bli forelest ganske grundig med unntak av beviset av teorem 8.9 (TQBF is PSAPCE-komplete). Jeg har ikke forelest dette beviset, og det er ikke aktuelt ? stille sp?rsm?l knyttet til dette beviset p? eksamen.

Neste forelesning starter jeg p? seksjon 8.4. Vi bruke mye forelesningstid p? seksjon 8.4, 8.5 og 8.6 (selv om disse seksjonen tilsammen kun best?r av litt over 8 sider).