Undervisningsmateriale

Her finner du forelesningsnotater og oppgaver for hver forelesning. Forelesningsnotatene er lagt ut fire forskjellige formater:

  • Forelesningsnotater er i artikkelformat og inneholder ofte litt mer utfyllende tekst enn det som ble gjennomg?tt i timen.
  • alt er n?yaktig det som ble vist frem under forelesningen.
  • kort er det samme som alt, men uten effekter.
  • multi er det samme som kort, men med fire sider p? én.

Hvis du finner feil, eller har kommentarer til noen av notatene, s? send en e-post til foreleser.

Forelesningsnotater og oppgaver for v?ren 2012

1 F?rste forelesning forelesningsnotater alt kort multi oppgaver l?sningsforslag kommentarer
2 Ikke-determinisme forelesningsnotater alt kort multi oppgaver l?sningsforslag
3 Makrotilstander forelesningsnotater alt kort multi oppgaver l?sningsforslag kommentarer
4 Regul?re uttrykk forelesningsnotater alt kort multi oppgaver l?sningsforslag
5 Pumpelemmaet forelesningsnotater alt kort multi oppgaver l?sningsforslag
6 Pushdown-automater forelesningsnotater alt kort multi oppgaver 
7 Beskrivelser forelesningsnotater alt kort multi oppgaver l?sningsforslag
8 Beskrivelser - f?rste-ordens logikk forelesningsnotater alt kort multi oppgaver 
9 Endelige kjeder forelesningsnotater alt kort multi oppgaver l?sningsforslag
10 Datastrukturer forelesningsnotater alt kort multi oppgaver l?sningsforslag
11 Turingmaskiner forelesningsnotater alt kort multi oppgaver 
12 Grunnleggende maskiner forelesningsnotater alt kort multi oppgaver l?sningsforslag
13 Flittige bevere forelesningsnotater alt kort multi oppgaver l?sningsforslag
14 Ikke beregnbart forelesningsnotater alt kort multi oppgaver l?sningsforslag
15 Logikk forelesningsnotater alt kort multi  
16 Analyse og syntese forelesningsnotater alt kort multi  
17 Fullstendighet forelesningsnotater alt kort multi oppgaver 
18 Ufullstendighet forelesningsnotater alt kort multi oppgaver 
19 Databaser 1: Relasjonsmodellen forelesningsnotater alt kort multi oppgaver
20 Databaser 2: Avhengigheter og chase forelesningsnotater alt kort multi oppgaver
21 Vekst forelesningsnotater alt kort multi oppgaver
22 Fliser forelesningsnotater alt kort multi oppgaver
23 Kompleksitet forelesningsnotater alt kort multi
24 Store tall og lange bevis forelesningsnotater alt kort multi oppgaver

 

Av Roger Antonsen
Publisert 17. jan. 2012 00:13 - Sist endret 14. mai 2012 17:34