| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 22.08.2006 | Tore Langholm? | Lille auditorium, Informatikkbygningen? | Innledning til kurset, og innledende om utsagnslogikk, tilsvarende avsnitt 1.1 (s 1-11) og kap 6 fram t&m 6.2.1 (s 345-352). ? | Boken er delt inn i kapitler (1-14) og underkapitler/avsnitt av typen 2.3 som igjen kan v?re delt opp i 2.3.1, 2.3.2 osv. Disse er alle skrevet med bl? tall i boken. I tillegg er ogs? eksemplene nummerert p? en lignende m?te (med svarte tall), slik at eksempel 6.3 dukker opp i avsnitt 6.2 (i 6.2.2), etc. Hvis ikke annet er sagt her, menes avsnitt (bl? tall) og ikke eksempler (svarte tall) n?r bare tall brukes i henvisninger til deler av boken.Lysark som powerpoint eller pdf? |
| 29.08.2006 | Tore Langholm? | Lille auditorium, Informatikkbygget? | Tautologier og ekvivalenser. Mengder, tupler og strenger.? | 1.2 unntatt 1.2.3 og 1.2.4. (1.2.4 er dog kursorisk pensum.Lysark som powerpoint eller pdf? |
| 30.08.2006 | Tore Langholm? | Store auditorium, Informatikkbygget? | Spr?k, relasjoner, funksjoner? | 1.3 unntatt 1.3.2. Dessuten 2.1.1? |
| 05.09.2006 | Tore Langholm? | Lille auditorium, Informatikkbygget ? | Videre om utsagnslogikk. (Gjelder hele uken.) ? | Kapittel 6 til ut avsnitt 6.2.Lysark som powerpoint eller pdf? |
| 06.09.2006 | T L? | Store auditorium, Informatikkbygget? | Se over? | Lysark som powerpoint eller pdf? |
| 12.09.2006 | TL? | L. A.? | Bevissystemer for utsagnslogikk (Gjelder hele denne og etterf?lgende uke.)? | Ut kapittel 6. Dessuten bevissystemet ND1750 (printervennlig ) som er basert p? det som st?r om naturlig deduksjon i boken. Vi begynner med dette, og ser p? eksempler. ( Printervennlig. )Litt mer ? |
| 13.09.2006 | TL? | SA? | Se over? | Bokf?ringsregler for premissavhengighet.? |
| 19.09.2006 | TL? | LA? | Se over? | Deduksjonsteoremet mm.Kompletthet mm.? |
| 20.09.2006 | TL? | SA? | Se over? | ? |
| 26.09.2006 | TL? | LA? | Predikatlogikk: Definisjoner. Avsnitt 7.1? | Lysark? |
| 27.09.2006 | TL? | SA? | Se over? | LysarkVidere ser vi p? oversettelse til predikatlogikk (avsnitt 7.2.3) og noen enkle regler for dette.Og her er noen flere eksempler.? |
| 03.10.2006 | TL? | LA? | Avsnitt 7.2: Ekvivalenser og normalformer i predikatlogikk.? | Lysark? |
| 04.10.2006 | TL? | SA? | Utdrag fra avsnitt 7.3: Litt om slutningsregler og kompletthet for predikatlogikk. ? | Fra avsnitt 7.3 er bare sidene 432-438 pensum. I tillegg er disse lysarkene pensum.? |
| 10.10.2006 | ? | ? | INGEN UNDERVISNING? | HELLER INGEN GRUPPE?VELSER DENNE UKEN? |
| 11.10.2006 | ? | ? | INGEN UNDERVISNING? | ? |
| 17.10.2006 | TL? | LA? | Vi begynner med definisjoner av formelle spr?k, regul?re uttrykk og endelige automater: 1.3.3, 11.1, litt av 11.2.1 fra l?reboken. ? | Lysark. Vi fikk ogs? sett litt p? applikasjonen JFLAP, som alle m? gj?re seg kjent med. (Blant annet for ? kunne gj?re neste oblig.) For ? skaffe dere JFLAP, se denne oppskriften.? |
| 18.10.2006 | TL? | SA? | NFA vs. DFA. Konstruksjon av NFA fra et regul?rt uttrykk.? | Eksemplene 11.13 og 11.14 er ikke pensum.? |
| 24.10.2006 | TL? | LA? | Konstruksjon av et regul?rt uttrykk fra en NFA. Trandusere. (Moore og Mealy-maskiner.)? | ? |
| 25.10.2006 | TL? | SA? | Konstruksjon av DFA fra NFA.? | ? |
| 31.10.2006 | TL? | LA? | 11.3.3 og 11.4.2.? | Siste halvpart av side 692 er ikke pensum.Lysark som powerpoint og pdf.DFA som vi minimaliserte p? forelesningen, og en st?rre DFA. Dette er filer som kan leses av JFLAP; last dem ned (s?rg for at de heter noe som slutter p? .jff) og ?pn dem fra JFLAP. Se ogs? PDF-filer som viser minimalisering av den siste; f?rst inndeling i grupper av ekvivalente tilstander og deretter inntegning av transisjoner. ? |
| 01.11.2006 | TL? | SA? | 3.3 og 11.4.1.? | Siste linje side 179, side 180 og f?rste halvpart av side 181 er ikke pensum. Lysark om kontekstfrie grammatikker som powerpoint og pdf. ? |
| 07.11.2006 | TL? | LA? | Kapittel 12 til og med 12.2.2. ? | F?lgende deler av dette er kursorisk pensum: Fra midt p? side 704 til midt p? side 707, og fra midt p? side 709 til midt p? side 711.Repetisjon: Lysark om forholdet mellom endelige automater og regul?re gramatikker.? |
| 08.11.2006 | TL? | SA? | 12.4? | 12.2.3 og 12.3 er ikke pensum.Lysark om venstrerekursjon.Tema ellers blir eliminasjon av lambda-produksjoner. ? |
| 14.11.2006 | HRJ? | LA? | 12.4 fortsatt? | Chomsky og Greibach normalform. Pumpelemma og lukningsegenskaper ved kontekstfrie spr?k.? |
| 15.11.2006 | TL? | SA? | 13.1.2? | Innledende om turingmaskiner. ? |
| 21.11.2006 | TL? | LA? | 13.1.3 og 13.1.4.? | Fra 2/3 ned p? side 770 til 1/3 ned p? side 773 er ikke pensum.? |
| 22.11.2006 | TL? | SA? | 13.2 unntatt 13.2.4. Deretter 14.2? | Lysark? |
| 28.11.2006 | TL? | LA? | 14.1? | ? |
| 29.11.2006 | TL? | SA? | Oppsummering? | Siste forelesning. Se gjerne p? elsamensoppgaver og l?sningsforslag gjennomg?tt p? tilsvarende forelesning i fjor. Fjor?rets forelesningsplan ligger her.? |
Undervisningsplan
Publisert 29. aug. 2006 20:26
- Sist endret 28. feb. 2007 14:06