INF1800 - Høst 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
19.08.2008	Roger Antonsen og Lars Kristiansen	Store auditorium, Ifi	Forelesning 1: Introduksjon	forelesning print multi artikkel Temaer: Velkommen til INF1800, praktiske opplysninger, om kurset, litt om logikk, litt om beregbarhet.
20.08.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 2: Mengdelære	forelesning print multi artikkel Temaer: Mengder, union, snitt, mengdedifferanse, delmengder, mengdebygger, mengder av mengder, multimengder, tupler, kryssprodukt.
26.08.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 3: Mengdelære, Relasjoner, Funksjoner	forelesning print multi artikkel Temaer: Potensmengder, Venn-diagrammer, kardinalitet, tellbar og overtellbar, relasjoner, refleksivitet, transitivitet, symmetri, ekvivalens, anti-symmetri, irrefleksivitet, funksjoner, operatorer.
27.08.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 4: Utsagnslogikk	forelesning print multi artikkel Temaer: Utsagnslogikk, utsagn, atomære utsagn, sammensatte utsagn, sånt som ikke er utsagn, syntaks, utsagnsvariable, konnektiver, utsagnslogiske formler, semantikk, sannhetsverdier, negasjon, konjunksjon, disjunksjon, implikasjon.
29.08.2008			Utlevering av obligatorisk oppgave 1
02.09.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 5: Utsagnslogikk	forelesning print multi artikkel Temaer: Sannhetsverditabeller, argumenter, valuasjoner, oppfyllbarhet, falsifiserbarhet, tautologi / gyldighet, motsigelse / kontradiksjon, noen viktige begreper, bruk av utsagnslogikk.
03.09.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 6: Utsagnslogikk	forelesning print multi artikkel Temaer: Mer om bruk av logikk, presedensregler, ekvivalens, viktige ekvivalenser, omskrivingsregler, normalformer, literaler, disjunktiv normalform (DNF), konjunktiv normalform (CNF), oppfyllbare mengder.
09.09.2008	Lars Kristiansen	Store auditorium, Ifi	Forelesning 7: Beregnbarhet	Tirsdag foreleste jeg seksjon 1.3.3 (side 41-46). Deretter startet jeg på kapittel 11. Jeg fortsetter med seksjon 11.1 (side 634-642) onsdag morgen. Neste uke vil jeg starte å forelese seksjon 11.2.
10.09.2008	Lars Kristiansen	Store auditorium, Ifi	Forelesning 8: Beregnbarhet
12.09.2008			Innlevering av obligatorisk oppgave 1
16.09.2008	Lars Kristiansen	Store auditorium, Ifi	Forelesning 9: Beregnbarhet	Tirsdag gjorde jeg meg mer eller mindre ferdig med seksjon 11.1, og jeg startet så smått på seksjon 11.2 om endelige automater. Onsdag morgen vil jeg gå gjennom eksempel 11.4 på side 640. Deretter vil jeg fortsette å forelese om endelige automater. Jeg renger med at vi blir sånn cirka ferdig med subseksjon 11.2.1 i løpet av onsdagsforelesningen og at vi starter på subseksjon 11.2.3 (side 648) neste uke. En obligatorisk oppgave legges ut på fredag.
17.09.2008	Lars Kristiansen	Store auditorium, Ifi	Forelesning 10: Beregnbarhet
19.09.2008			Utlevering av obligatorisk oppgave 2
23.09.2008	Lars Kristiansen	Store auditorium, Ifi	Forelesning 11: Beregnbarhet	Denne uken fortsetter jeg å forelese fra kapittel 11. Hele kapittel 11 blir pensum, men noen deler av stoffet er selvsagt mer relevant enn andre deler. Det stoffet oppgavene rettes mot er viktigst med tanke på eksamen.
24.09.2008	Lars Kristiansen	Store auditorium, Ifi	Forelesning 12: Beregnbarhet
30.09.2008	Lars Kristiansen	Store auditorium, Ifi	Forelesning 13: Beregnbarhet	Jeg vil forelese de siste delene av kapittel 11 denne uken. Jeg gjør meg ferdig på tirsdag, og det blir ikke forelesning på onsdag.
01.10.2008			[Forelesning 14 er avlyst]	Forelesningen denne onsdagen er avlyst.
03.10.2008			Innlevering av obligatorisk oppgave 2
07.10.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 15: Utsagnslogikk	forelesning print multi artikkel Temaer: Sekventkalkyle for utsagnslogikk, sekventer, aksiomer, regler, slutninger, premisser, konklusjon, utledninger, bevis, gyldige sekventer, falsifiserbare sekventer.
08.10.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 16: Utsagnslogikk	forelesning print multi artikkel Temaer: Repetisjon, eksempler, sunnhet, kompletthet. Her er ekstramateriale om sunnhet av sekventkalkyle: forelesning print multi artikkel
10.10.2008			Utlevering av obligatorisk oppgave 3
14.10.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 17: Førsteordens logikk	forelesning print multi artikkel Temaer: Førsteordens logikk, kvantorer, syntaks, signaturer, konstant-, funksjons- og relasjonssymboler, aritet, termer, førsteordens formler, bundne og frie variable, skop, oversettelse, substitusjoner, semantikk, modeller, tolkning, domene.
15.10.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 18: Førsteordens logikk	forelesning print multi artikkel Temaer: Repetisjon, lukkede og åpne termer og formler, fri for variabel, utvidete språk, tolkning av termer, tolkning av formler, oppfyllbarhet, gyldighet, eksempler.
21.10.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 19: Førsteordens logikk	forelesning print multi artikkel Temaer: Repetisjon, eksempler, oppgaveløsning av ukeoppgaver, mer figurspråk.
22.10.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 20: Førsteordens logikk	forelesning print multi artikkel Temaer: bevisteknikker, direkte versus indirekte bevis, bevis for "for alle"-påstander, tillukninger, ekvivalens, kvantorer og negasjon, distribusjon av kvantorer, omdøping av variable, flere ekvivalenser, preneks normalform.
24.10.2008			Innlevering av obligatorisk oppgave 3
28.10.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 21: Førsteordens logikk	forelesning print multi artikkel Tema: sekventkalkyle for førsteordens logikk.
29.10.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 22: Førsteordens logikk	forelesning print multi artikkel Tema: litt om oppfyllbarhet og konsistens.
31.10.2008			Utlevering av obligatorisk oppgave 4
04.11.2008	Lars Kristiansen	Store auditorium, Ifi	Forelesning 23: Beregnbarhet	Denne uken har jeg forelest seksjon 3.3 side 173-188. Disse sidene er pensum med unntak av avsnittet om "Recursive Productions" side 178-181. Videre har jeg forelest stoffet om reglære grammatikker i kapittel 11. Hele kapittel 11 blir pensum.
05.11.2008	Lars Kristiansen	Store auditorium, Ifi	Forelesning 24: Beregnbarhet	Se 04.11.2008.
11.11.2008	Lars Kristiansen	Store auditorium, Ifi	Forelesning 25: Beregnbarhet	Den 11/11 og 12/11 vil jeg forelese om pushdowm-automater og kontekstfrie språk (kap. 12).
12.11.2008	Lars Kristiansen	Store auditorium, Ifi	Forelesning 26: Beregnbarhet
14.11.2008			Innlevering av obligatorisk oppgave 4
18.11.2008	Lars Kristiansen	Store auditorium, Ifi	Forelesning 27: Beregnbarhet
19.11.2008	Roger Antonsen	Store auditorium, Ifi	Forelesning 28: Oppsummering av logikkdelen	Dette er kursets siste ordinære forelesning.

Publisert 14. aug. 2008 12:40 - Sist endret 17. nov. 2008 15:01