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

DatoUndervises avStedTemaKommentarer / ressurser
19.08.2008Roger 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.2008Roger 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.2008Roger 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.2008Roger 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.2008Roger 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.2008Roger 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.2008Lars 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.2008Lars Kristiansen? Store auditorium, Ifi? Forelesning 8: Beregnbarhet? ?
12.09.2008? ? Innlevering av obligatorisk oppgave 1? ?
16.09.2008Lars 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.2008Lars Kristiansen? Store auditorium, Ifi? Forelesning 10: Beregnbarhet? ?
19.09.2008? ? Utlevering av obligatorisk oppgave 2? ?
23.09.2008Lars 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.2008Lars Kristiansen? Store auditorium, Ifi? Forelesning 12: Beregnbarhet? ?
30.09.2008Lars 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.2008Roger 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.2008Roger 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.2008Roger 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.2008Roger 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.2008Roger 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.2008Roger 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.2008Roger Antonsen? Store auditorium, Ifi? Forelesning 21: F?rsteordens logikk? forelesning print multi artikkel

Tema: sekventkalkyle for f?rsteordens logikk.?

29.10.2008Roger 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.2008Lars 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.2008Lars Kristiansen? Store auditorium, Ifi? Forelesning 24: Beregnbarhet? Se 04.11.2008.?
11.11.2008Lars 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.2008Lars Kristiansen? Store auditorium, Ifi? Forelesning 26: Beregnbarhet? ?
14.11.2008? ? Innlevering av obligatorisk oppgave 4? ?
18.11.2008Lars Kristiansen? Store auditorium, Ifi? Forelesning 27: Beregnbarhet? ?
19.11.2008Roger 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
Del p? e-post