Neste tre uker

Jeg skal i de neste tre ukene ta for meg kapitlene 3,4,5 fra boka. Det er tilstrekkelig at dere leser boka. Jeg kommer til å følge opplegget fra i fjor - det er fire sett med foiler under nytt stoff vår 2013. Jeg vil bruke foilene og starte med Turings analyse, så Turings basic (5 grunnleggende turing maskiner, så se på flittige bevere og tilslutt ta for meg avgjørbarhet. Men det er OK om dere bare leser det som står i de tre kapitlene i boka.