MAT1030 - V?r 2008

Undervisningsplan

PDF-filer med lysarkene fra forelesningene og plenumsregningene blir lagt ut her. Vi benytter fire formater:

forelesning: n?yaktig det som ble vist frem
print: samme som forelesning, men kun ��n PDF-side per lysarkside
multi: samme som print, men fire sider vises p? ��n
artikkel: et artikkelformat som egner seg bedre for utskrift

Her er et kompendium med forelesningsnotater som inneholder alle forelesningene og plenumsregningene. (NB. Sjekk p? side 1 for n?r dokumentet er sist oppdatert.)

Dato	Undervises av	Sted	Tema	Kommentarer / ressurser
14.01.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Algoritmer, pseudokoder og kontrollstrukturer.	Etter en generell innledning med presentasjon av l?rerstab og kursopplegg, starter vi p? kapittel 1 i boka og ser hvor langt vi kommer. forelesning print multi artikkel
16.01.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Flere pseudokoder. Representasjoner av tall.	Vi gir noen flere eksempler p? algoritmer, og g?r s? over til ? studere bin?re tall. forelesning print multi artikkel
17.01.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning: Kapittel 1	Repetisjon og gjennomgang av eksemplene fra kapittel 1. forelesning print multi artikkel
21.01.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Mer om representasjon av tall	Vi snakker om aritmetikk for bin?re tall, samt oktal og heksadesimal representasjon. Vi begynner p? kapittel 3 om datarepresentasjon av hele tall. forelesning print multi artikkel
23.01.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Tall som data	Vi diskuterer hvordan vi representerer hele tall og reelle tall i en datamaskin. Vi vil bli ferdige med kapittel 3. Hvis det blir tid til overs, vil vi snakke litt om logikk. forelesning print multi artikkel
24.01.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning: Oppgaver fra uke 4	Vi regner gjennom ukeoppgaver fra kapittel 1 og 2. forelesning print multi artikkel
28.01.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Logikk	Vi diskuterer hva som menes med utsagn, sannhetsverdi og predikat. Vi vil se p? de viktigste logiske bindeordene, hvordan de defineres og hvordan de kan brukes i formuleringen av pseudokoder. forelesning print multi artikkel
30.01.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Logikk	Vi ser p? sammensatte utsagn, og p? hvordan vi kan bruke sannhetsverditabeller til ? analysere slike. Vi innf?rer bindeordene "hvis-s?" og "hvis og bare hvis". forelesning print multi artikkel
31.01.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning: Ukeoppgaver	Ukeoppgaver fra kapittel 2 og 3. forelesning print multi artikkel
04.02.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Predikatlogikk	Vi vil gj?re oss ferdige med utsagnslogikken og gi en innf?ring i predikatlogikk og bruk av kvantorer. Hvis vi f?r godt med tid, vil vi se litt p? hvordan man utformer bevis. forelesning print multi artikkel
06.02.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Predikatlogikk, bevisf?ring	Vi vil gj?re oss ferdige med stoffet som behandles i l?rebokas Kapittel 4. forelesning print multi artikkel
07.02.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning: Ukeoppgaver	Vi regner den siste ukeoppgaven fra kapittel 3 og begynner p? oppgavene fra kapittel 4. forelesning print multi artikkel
11.02.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Mengdel?re	Vi starter p? temaene i Kapittel 5. Vi vil rekke over notasjon for ? skrive om mengder, snitt, union, differens og komplement og hvordan man bruker Venn-diagrammer til ? studere mengder definert ved bruk av disse operatorene. forelesning print multi artikkel
13.02.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Mengdel?re	Vi fortsetter innf?ring i mengdel?ren. Etter ? ha gjort oss ferdige med de Booleske operasjonene og Venn-diagrammer, vil vi kort snakke om representasjon av mengder som digitale data, og s? begynne behandlingen av Cartesiske produkter og relasjoner. forelesning print multi artikkel
14.02.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning: Ukeoppgaver	Vi regnet alle ukeoppgavene fra kapittel 4, bortsett fra oppgave 21, som man kan lese gjennom selv i notatene. Hvis noen ?nsker deler av denne gjennomg?tt, s? gi en beskjed til Roger f?r neste plenumsregning. Vi utsatte ogs? oppgaven fra forelesning 04.02.2008 til neste gang. forelesning print multi artikkel
18.02.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Relasjoner	Vi vil snakke om relasjoner generelt, og en god del om ekvivalensrelasjoner. forelesning print multi artikkel
20.02.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Relasjoner, Funksjoner	Vi gj?r oss ferdige med Kapittel 5 og begynner p? Kapittel 6. forelesning print multi artikkel
21.02.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning: Ukeoppgaver	Vi regner oppgaver fra kapittel 5. forelesning print multi artikkel
25.02.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Funksjoner	Vi regner med ? gj?re oss ferdige med Kapittel 6. Hvis tid, begynner vi p? Kapittel 7. forelesning print multi artikkel
27.02.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Rekursjon og induksjon	Vi starter p? Kapittel 7 med ideen bak rekursive definisjoner av funksjoner eller tallf?lger. Vi kommer ogs? inn p? induksjonsbevis. forelesning print multi artikkel
28.02.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning: Ukeoppgaver	Vi regner flere oppgaver fra kapittel 5 og 6, samt oppgaver fra forelesningene. forelesning print multi artikkel
03.03.2008	Dag Normann	Auditorium 1, Vilhelm Berknes hus	Induksjon og rekursjon, rekurenslikninger	Vi snakker om induksjonsbevis og sammenhengen mellom rekursive definisjoner og slike bevis. forelesning print multi artikkel
05.03.2008	Dag Normann	Auditorium 1, Vilhelm Berknes hus	Rekurrenslikninger	Vi gjennomg?r metoden for ? l?se rekurrenslikninger. forelesning print multi artikkel
06.03.2008	---			Ingen plenumsregning pga ?pen dag.
10.03.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Generell rekursjon og induksjon	Vi ser p? andre situasjoner hvor rekursjon og induksjon gir mening. Her vil vi g? ut over l?reboka, og forelesningsnotatene vil inng? i pensum. forelesning print multi artikkel
12.03.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Generell rekursjon og induksjon	Vi fortsetter innf?ringen i generell rekursjon og induksjonsbevis over induktivt definerte strukturer. forelesning print multi artikkel
13.03.2008	---			Plenumsregning avlyst.
17.03.2008	---			P?skeferie: Ingen undervisning denne uken.
24.03.2008	---			Andre p?skedag: Ingen forelesning.
26.03.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Kombinatorikk	Vi oppsummerer raskt det vi har g?tt gjennom f?r p?ske, og starter s? p? kapittel 9. forelesning print multi artikkel
27.03.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning: Utvalgte ukeoppgaver	forelesning print multi artikkel
31.03.2008	---			Undervisningsfri uke 31/3-4/4
07.04.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Kombinatorikk	Vi gj?r oss ferdige med kombinatorikk og kapittel 9. forelesning print multi artikkel
09.04.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Grafteori	Vi begynner p? kapittel 10 om grafteori. forelesning print multi artikkel
10.04.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning	forelesning print multi artikkel
11.04.2008				Oblig 2 blir lagt ut.
14.04.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Grafteori	Vi fortsetter med grafteori og gj?r oss nesten ferdige med kapittel 10. forelesning print multi artikkel
16.04.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Grafteori, Tr?r	Vi gj?r oss ferdig med grafteorien og begynner p? avsnittet om tr?r. forelesning print multi artikkel
17.04.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning	forelesning print multi artikkel
21.04.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Tr?r	Vi snakker om Prims algoritme og om Dijkstras algoritme for ? finne utspennende tr?r i en graf med spesielle egenslaper. Vi begynner ? snakke om tr?r med rot. forelesning print multi artikkel
23.04.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Tr?r	Vi fortsetter avsnittet om tr?r med rot, med endel eksempler. forelesning print multi artikkel
24.04.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning	Vi regner resten av oppgavene fra kap. 10 og ?ver p? induksjonsbevis. (Mesteparten av plenumsregningen blir gjort p? tavlen.) forelesning print multi artikkel
25.04.2008				Innlevering av Oblig 2
28.04.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Tr?r	Vi fortsetter med ? se p? tr?r og hvordan de kan brukes i informatikk. Det vil komme eksamensrelevant stoff som ikke st?r i boka. Stikkord er bevistr?r i utsagnslogikk og unifisering av termer. forelesning print multi artikkel
30.04.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Tr?r	Vi avslutter trolig kapitlet om tr?r, med en del eksempler. Det blir forelest eksamensrelevant stoff som ikke st?r i l?reboka. Vi vil blant annet snakke om unifisering. Det er mulig at noen eksempler utsettes til mai, vi f?r se. forelesning print multi artikkel
01.05.2008				Ingen plenumsregning
05.05.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Grafer og tr?r	Vi g?r igjennom en rekke eksempler som belyser stoffet om grafer og tr?r. De fleste eksemplene er formulert som oppgaver, oppgaver av en vanskelighetsgrad som passer til eksamen, og l?sningene vil bli gitt p? tavla. forelesning print multi artikkel
07.05.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Kompleksitetsteori	Vi starter p? siste kapittel i l?reboka. forelesning print multi artikkel
08.05.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning	[Tavleregning]
12.05.2008				Ingen forelesning
14.05.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Kompleksitetsteori	Vi fortsetter innf?ringen i kompleksitetsteori fra siste kapittel i boka. forelesning print multi artikkel
15.05.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning	[Tavleregning]
19.05.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Kompleksitetsteori	Siste ordin?re forelesning med nytt stoff. forelesning print multi artikkel
21.05.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Kompleksitetsteori/Repetisjon	Vi starter med en systematisk repetisjon av pensum. forelesning print multi artikkel
22.05.2008	Roger Antonsen	Auditorium 1, Vilhelm Bjerknes hus	Plenumsregning	Dette er siste plenumsregning. forelesning print multi artikkel
26.05.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Repetisjon	Vi avslutter den systematiske repetisjonen fra 21.1, med st?rre vekt p? bevistr?r enn opprinnelig planlagt. Vi konsentrerer oss deretter om noen temaer etter ?nsker fra studentene. Denne siste delen blir ren tavlepresentasjon. forelesning print multi artikkel
28.05.2008	Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	Repetisjon. Relasjoner, funksjoner, rekurrens, induksjon	Foreleser m?ter opp for ? h?re om det er ?nsker om ? repetere stoff. Det er mulig ? komme med forslag via e-post. Denne dagen vil all gjennomgang foreg? p? tavlen. Vi ser bl.a. p? eksamen 06.12.04 oppgave 5 og eksamen 17.12.03 oppgave 3.
29.05.2008	Roger Antonsen/Dag Normann	Auditorium 1, Vilhelm Bjerknes hus	[Ingen plenumsregning]	[Ingen plenumsregning]
02.06.2008			[Ingen forelesning]	Juni er undervisningsfri. det er ingen forelesninger eller plenumsregninger i juni. For orakeltjenester, se egen beskjed.

Publisert 10. des. 2007 15:38 - Sist endret 2. mars 2023 11:03