The plan is tentative, as long as we are teaching from Chapter 1 of the compendium, we will take the time we need, and then adjust how much material we will cover from Chapter 2 at the end of the term.
| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 23.08.2010 | Dag Normann (DN)? | B71 - Niels Henrik Abels Hus? | Models for computations. The primitive recursive functions.? | We discuss how to organize this term, agreeing on language and discussing when to solve problems in plenum. We then start on the hard work.? |
| 30.08.2010 | DN? | "? | The computable functions, Kleene's T-predicate and applications.? | Vi definerer de partielt beregnbare funksjonene og snakker om Kleenes T-predikat og Kleenes normalformsteorem. Vi b?r rekke S^n_m-teoremet, og muligens rekker vi rekursjonsteoremet.? |
| 06.09.2010 | DN? | "? | c.e. sets? | Vi gj?r oss ferdige med S^n_m-teoremet og rekursjonsteoremet, og vil rekke mesteparten, om ikke alt, om c.e. mengder.? |
| 13.09.2010 | DN? | "? | m-reducibility and tt-reducibility? | Vi fullf?rer avsnittet om c.e. mengder f?r vi begynner p? gradteorien.? |
| 20.09.2010 | DN? | "? | Turing-grader? | Vi vil starte gjennomgangen av Turing-reduserbarhet og Turing-grader, og regner med ? definere hopp-operatoren p? grader.? |
| 27.09.2010 | DN? | "? | Relativiserte beregninger? | Vi ligger litt etter skjema. Vi definerer hva som menes med relativisert beregnbarhet, Turing-grader og hopp-operatoren. Vi kommer neppe lengere enn til annet rekursjonsteorem.? |
| 04.10.2010 | DN? | "? | Turing-grader? | Vi viser at enhver strengt voksende f?lge av Turing-grader mangler et supremum, og samtidig at det finnes par av grader uten noe infimum. Hvis tid vil vi forberede beviset for at det finnes minimale grader.? |
| 11.10.2010 | DN? | "? | Turing-grader? | Vi viser at det finnes minimale grader, snakker litt om c.e. grader og innf?rer prioritetsargumenter.? |
| 18.10.2010 | DN? | "? | Prioritetsargumenter? | Vi g?r igjennom den klassiske l?sningen av Posts problem med bruk av prioritetsargument, og i den grad det er tid vil vi begynne p? beviset av splittingsteoremet, se Oppgave 1.31.? |
| 25.10.2010 | DN? | "? | Logikk og subrekursjon? | Planen er ? avslutte gjennomgangen av kapittel 1, og ? diskutere hva vi skal legge vekt p? i fortsettelsen.? |
| 01.11.2010 | DN? | "? | Generalisert beregnbarhet? | Vi ser p? avsnittene 2.1 - 2.2 og muligens 2.3? |
| 08.11.2010 | DN? | "? | PCF? | Vi hopper forel?pig over avsnittene om beregninger relativt til funksjonaler. Vi starter med en historisk gjennomgang av teorien for beregnbarhet og funksjonaler, og fortsetter med en innf?ring i PCF, teori og semantikk. Hvis det er interesse for det, vil vi heller bygge ut dette avsnittet enn ? g? tilbake til de avsnittene vi hoppet over.? |
| 15.11.2010 | DN? | "? | PCF? | Vi fortsetter med innf?ringen i PCF, med sikte p? ? beskrive den denotasjonelle semantikken.? |