Kort tid etter hver forelesning vil den bli lagt ut i h?yre felt via fire lenker. De fire formatene vil v?re:
Forelesning: Alle bildene brukt under forelesningen.Sider: De ferdige enkeltsidene fra forelesningen.Utdeling: Fire forelesningssider pr. ark.Artikkel: Forelesningen omstrukturert til formatet brukt i kompendiet . Kompendiet, som samler alle forelesninger opp til et gitt tidspunkt, oppdateres med ugjevne mellomrom. Kontroller datoen slik at du er sikker p? ? f? siste versjon. Kompediet ble sist utlagt 03.03.2010.| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 19.01.2010 | Dag Normann? | Auditorium 1, Vilhelm Bjerknes Hus? | Algoritmer, pseudokoder, kontrollstrukturer? | Vi starter med ? diskutere den praktiske gjennomf?ringen av undervisningen og andre relevante forhold. Deretter begynner vi den faglige gjennomgangen.Forelesning?Sider Utdeling?Artikkel? |
| 20.01.2010 | D.N.? | -''-? | Kontrollstrukturer, tallsystemer, basis.? | Vi gir flere eksempler p? bruk av kontrollstrukturer. Deretter g?r vi raskt gjennom det viktigste om bin?re tall, oktale tall og heksadesimale tall. Forelesning?Sider?Utdeling?Artikkel? |
| 26.01.2010 | D.N.? | -''-? | Representasjon av tall? | Innholdet i kapittel 3 i l?reboka vil v?re kjent for de fleste informatikkstudentene, og vi n?yer oss med en rask gjennomgang.Hvis vi f?r tid, vil vi begynne ? snakke om logikk.Forelesning?Sider?Utdeling?Artikkel? |
| 27.01.2010 | D.N.? | -''-? | Logikk? | Vi starter gjennomgangen av kapittel 4 fra l?reboka. Dette vil v?re nytt stoff for mange.Forelesning?Sider?Utdeling?Artikkel? |
| 02.02.2010 | D.N.? | -''-? | Logikk? | Vi fortsetter med innf?ring av utsagnslogikk.Forelesning Sider Utdeling Artikkel? |
| 03.02.2010 | D.N.? | -''-? | Logikk? | Vi avslutter innf?ringen av utsagnslogikk, og begynner muligens med noe predikatlogikk. Forelesning Sider Utdeling Artikkel? |
| 09.02.2010 | D.N.? | -''-? | Logikk? | Vi starter p? avsnittet om predikatlogikk, med eksempler p? bruk av variable og kvantorer. Forelesning Sider Utdeling Artikkel? |
| 10.02.2010 | D.N.? | -''-? | Logikk? | Vi fortsetter med predikatlogikken, og blir trolig ferdig med den. Hvis vi f?r tid, vil vi ogs? se litt p? bevisteknikker.Forelesning Sider Utdeling Artikkel ? |
| 16.02.2010 | D.N.? | -''-? | Mengdel?re? | Vi diskuterer hva som menes med en mengde, og definerer operasjoner som snitt, union og komplement, og sammenhenger som likhet og inklusjon mellom mengder. Forelesning Sider Utdeling Artikkel? |
| 17.02.2010 | D.N.? | -''-? | Mengdel?re? | Vi fortsetter med stoff fra kapittel 5, frem til, men trolig ikke med, avsnittet om relasjoner.Forelesning Sider Utdeling Artikkel? |
| 23.02.2010 | D.N.? | -''-? | Mengdel?re? | Vi innf?rer relasjoner generelt, og ser p? hvordan vi kan beskrive relasjoner og p? spesielle klasser av relasjoner. Forelesning Sider Utdeling Artikkel? |
| 24.02.2010 | D.N.? | -''-? | Mengdel?re? | Vi fortsetter med avsnittet om relasjoner, med blant annet eksempler relevante for forst?elsen av hva programmer gj?r. Hvis vi f?r tid, vil vi begynne p? kapitlet om funksjoner. Forelesning Sider Utdeling Artikkel? |
| 02.03.2010 | D.N.? | -"-? | Funksjoner? | Vi diskuterer generelt hva vi mener med funksjoner, og ser p? injektive funksjoner med mange eksempler. Forelesning Sider Utdeling Artikkel? |
| 03.03.2010 | D.N.? | -"-? | Funksjoner? | Vi gj?r oss ferdige med kapitlet om funksjoner. Forelesning Sider Utdeling Artikkel? |
| 09.03.2010 | D.N.? | -"-? | Rekursjon? | Vi starter p? Kapittel 7, og vil gi en rekke eksempler p? rekursivt definerte funksjoner. Noen av eksemplene vil v?re mer generelle enn det l?reboka tar med. Forelesning Sider Utdeling Artikkel? |
| 10.03.2010 | D.N.? | -"-? | Rekursjon og induksjon? | Vi innf?rer induksjonsbevis og knytter det opp mot ytterligere eksempler p? definisjoner ved rekursjon. Forelesning Sider Utdeling Artikkel? |
| 16.03.2010 | D.N.? | -"-? | Rekursjon og induksjon? | Vi ser p? rekurrenslikninger, b?de p? teorien rundt dem og p? noen regneeksempler. Forelesning Sider Utdeling Artikkel? |
| 17.03.2010 | D.N.? | -"-? | Generell rekursjon og induksjon? | Vi ser p? induktive definisjoner og de tilh?rende prinsipper for bevis ved induksjon. Dette stoffet behandles ikke i l?reboka, men inng?r i pensum. Forelesning Sider Utdeling Artikkel? |
| 06.04.2010 | D.N.? | -"-? | Generell rekursjon og induksjon? | Vi vil langt p? vei avslutte innf?ringen av induksjon og rekursjon.Forelesning Sider Utdeling Artikkel ? |
| 07.04.2010 | D.N.? | -"-? | Kombinatorikk? | Vi foretar en oppsummering av emnet s? langt, og begynner p? kapitlet om kombinatorikk. Forelesning Sider Utdeling Artikkel ? |
| 13.04.2010 | D.N.? | -"-? | Kombinatorikk? | Planen er ? fullf?re gjennomgangen av kapitlet om kombinatorikk. (Dette ble nesten gjort( Forelesning Sider Utdeling Artikkel ? |
| 14.04.2010 | D.N.? | -"-? | Grafteori? | Vi startet innf?ringen av grafteori. Forelesning Sider Utdeling Artikkel ? |
| 20.04.2010 | D.N.? | -"-? | Grafteori? | Vi fortsetter med grafteori,blant annet om Eulerkretser. Forelesning Sider Utdeling Artikkel ? |
| 21.04.2010 | D.N.? | -"-? | Grafer og tr?r? | Vi sluttf?rer kapitlet om grafer og g?r over til kapitlet om tr?r. Etterhvert vil vi g? ut over det boka har med om teorien rundt tr?r og bruk av tr?r. Dette vil v?re pensum. Forelesning Sider Utdeling Artikkel ? |
| 27.04.2010 | D.N.? | -"-? | Mer om tr?r? | Vi g?r gjennom Prims algoritme og Dijkstras algoritme, med eksempler p? tavla. Deretter begynner vi ? snakke om tr?r med rot og om syntakstr?r. Forelesning Sider Utdeling Artikkel ? |
| 28.04.2010 | D.N.? | -"-? | Enda mer om tr?r? | Bin?re tr?r, prefiks, infiks og postfiks notasjon og andre aspekter ved tr?r. Forelesning Sider Utdeling Artikkel ? |
| 04.05.2010 | D.N.? | -"-? | Det siste om tr?r? | Vi vil se p? bevistr?r og p? unifiseringsalgoritmer. Dette er stoff som ikke behandles i l?reboka, men som inng?r i pensum. Forelesning Sider Utdeling Artikkel ? |
| 05.05.2010 | D.N.? | -"-? | Kompleksitetsteori? | Vi starter p? det siste kapitlet i pensum. Hvordan m?ler vi kompleksitet, og hva forteller den oss? Forelesning Sider Utdeling Artikkel ? |
| 11.05.2010 | D.N.? | -"-? | Kompleksitetsteori? | Vi snakker blant annet om "stor O"-notasjon og kompleksitetsklasser.Forelesning Sider Utdeling Artikkel ? |
| 12.05.2010 | D.N.? | -"-? | Kompleksitetsteori/Repetisjon? | Vi blir ferdige med kompleksitetsteorien, og starter p? en systematisk gjennomgang av pensum.Forelesning Sider Utdeling Artikkel ? |
| 18.05.2010 | D.N.? | -"-? | Repetisjon? | Vi fullf?rer repetisjonen, med noen typeeksempler p? oppgaver. Vi vil ikke n?dvendigvis bruke alle de 90 minuttene.Forelesning Sider Utdeling Artikkel? |
| 19.05.2010 | D.N.? | -"-? | Eksamen 2008? | Vi gjennomg?r eksamensettet fra 2008 s? langt vi rekker. Denne gangen blir det ren tavleundervisning.? |