Her er et kompendium med forelesningsnotater som inneholder alle forelesningene. (NB. Sjekk p? side 1 for n?r dokumentet er sist oppdatert.)
Forelesninger
| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 13.01.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 1: Algoritmer, pseudokoder, kontrollstrukturer | Velkommen til MAT1030. Etter kort praktisk informasjon begynner vi rett p? kapittel 1. |
| 14.01.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 2: Kontrollstrukturer, tallsystemer, basis | forelesning print multi artikkel |
| 20.01.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 3: Litt om representasjon av tall, logikk | forelesning print multi artikkel |
| 21.01.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 4: Logikk | forelesning print multi artikkel |
| 27.01.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 5: Logikk, utsagnslogikk | forelesning print multi artikkel |
| 28.01.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 6: Logikk, utsagnslogikk | forelesning print multi artikkel |
| 03.02.2009 | Ingen forelesning. | |||
| 04.02.2009 | Ingen forelesning. | |||
| 10.02.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 7: Logikk, predikatlogikk | forelesning print multi artikkel |
| 11.02.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 8: Logikk, predikatlogikk, bevisteknikker | forelesning print multi artikkel |
| 17.02.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 9: Mengdel?re | forelesning print multi artikkel |
| 18.02.2009 | Ingen forelesning. | |||
| 24.02.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 10: Mengdel?re | forelesning print multi artikkel |
| 25.02.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 11: Relasjoner | forelesning print multi artikkel |
| 03.03.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 12: Relasjoner og litt funksjoner | forelesning print multi artikkel |
| 04.03.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 13: Funksjoner | forelesning print multi artikkel |
| 10.03.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 14: Mer om funksjoner | forelesning print multi artikkel |
| 11.03.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 15: Rekursjon og induksjon | forelesning print multi artikkel |
| 17.03.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 16: Rekursjon og induksjon | forelesning print multi artikkel |
| 18.03.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 17: Rekurrenslikninger | forelesning print multi artikkel |
| 24.03.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 18: Generell rekursjon og induksjon | forelesning print multi artikkel |
| 25.03.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 19: Generell rekursjon og induksjon | forelesning print multi artikkel |
| 31.03.2009 | Undervisningsfri uke | |||
| 01.04.2009 | Undervisningsfri uke | |||
| 07.04.2009 | P?skeferie | |||
| 08.04.2009 | P?skeferie | |||
| 14.04.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 20: Kombinatorikk | forelesning print multi artikkel |
| 15.04.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 21: Mer kombinatorikk | forelesning print multi artikkel |
| 21.04.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 22: Grafteori | forelesning print multi artikkel |
| 22.04.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 23: Grafteori | forelesning print multi artikkel |
| 28.04.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 24: Grafteori og tr?r | forelesning print multi artikkel |
| 29.04.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 25: Tr?r | forelesning print multi artikkel |
| 05.05.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 26: Tr?r | forelesning print multi artikkel |
| 06.05.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 27: Tr?r | forelesning print multi artikkel |
| 12.05.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 28: Kompleksitetsteori | forelesning print multi artikkel |
| 13.05.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 29: Kompleksitetsteori | forelesning print multi artikkel |
| 19.05.2009 | Roger Antonsen | Aud. 1, VB | Forelesning 30: Kompleksitetsteori | Siste forelesning med nytt stoff. |
| 20.05.2009 | Ingen forelesning. | |||
| 26.05.2009 | Roger Antonsen | Aud. 1, VB | Forelesning: Repetisjon / Veien videre | De siste to forelesningene er ?pne. Kom med ?nsker! |
| 27.05.2009 | Roger Antonsen | Aud. 1, VB | Forelesning: Repetisjon / Veien videre | De siste to forelesningene er ?pne. Kom med ?nsker! |
Plenumsregninger
| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 16.01.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 1 | Vi kommer ikke skikkelig i gang f?r neste uke. Denne uken er det forberedelse nok ? lese godt p? kapitlene 1&2: jeg vil g? gjennom noen eksempler/oppgaver fra disse. |
| 23.01.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 2 | plenumsregning print multi artikkel |
| 30.01.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 3 | plenumsregning print multi artikkel |
| 06.02.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 4 | plenumsregning print multi artikkel |
| 13.02.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 5 | plenumsregning print multi artikkel |
| 20.02.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 6 | |
| 27.02.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 7 | plenumsregning print multi artikkel |
| 06.03.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 8 | plenumsregning print multi artikkel |
| 13.03.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 9 | plenumsregning print multi artikkel |
| 20.03.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 10 | plenumsregning print multi artikkel |
| 27.03.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 11 | plenumsregning print multi artikkel |
| 03.04.2009 | Undervisningsfri uke | |||
| 10.04.2009 | P?skeferie | |||
| 17.04.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 12 | |
| 24.04.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 13 | |
| 01.05.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 14 | |
| 08.05.2009 | Mathias Barra | Aud. 1, VB | Plenumsregning 15 |