====== Forelesningsplan ======


                          Lærebok                 Tema
                    
   Uke 3                 3.1-3.3, 5.1            Mengdelære og telling
   Uke 4                 1.1-1-4, 8.1            Telling
   Uke 5                 2.1-2-5                 Logikk
   Uke 6                 2.1-2.5                 Logikk
   Uke 7                 4.1, 5.1, 7.1           Induksjonsbevis. Relasjoner
   Uke 8                 7.2-7.4                 Relasjoner
   Uke 9                 5.2, 5.3, 5.5, 5.6      Funksjoner
   Uke 10                6.1-6.3                 Språk og endelige tilstandsmaskiner
   Uke 11                7.5, 11.1-11.3          Endelige tilstandsmaskiner. Grafer
   Uke 12                11.1-11.5               Grafer
   Uke 13                            ingen undervisning                    
   Uke 14 (kun torsdag)  11.4-11.5               Planare og Hamiltonske grafer
   Uke 15                12.1-12-3               Trær og sortering
   Uke 16                5.7, 5.8, 13.1          Algoritmer. Sortering. Korteste vei.
   Uke 17                13.1, 13.2              Algoritmer for grafer. Repetisjon
   Uke 18 (kun tirsdag)                          Repetisjon

Siste forelesning er altså tirsdag 30. april.