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