Raport fra forelesningsfronten

Fra Lars:

Denne uken har jeg forelest  fra seksjon 7.3 og seksjon 7.4. Forelesningene i neste uke vil også dreie seg om stoff i seksjon 7.4, og  vi vil bruke mye av forelesningstiden  på beviset av teorem 7.37 (SAT is NP-complete). Forhåpentligvis rekker jeg også å forelese litt fra seksjon 7.5 i løpet av neste uke.