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. |