Rapport fra forelesningsfronten

Jeg er snart ferdig med ? forelese kap. 7. Jeg har brukt mye tid p? reduksjonene i reduksjoner i seksjon 7.5. Neste uke vil jeg forlese (beviset av) Cook-Levin teorem (ogs? i kap. 7). Deretter vil jeg starte p? kap. 8.