| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 21.08.2007 | Tore Langholm (TL)? | Store Auditorium (SA)? | Innledning til kurset. Tautologier og ekvivalenser. ? | Side 345--354 i boken.Lysark (pdf )? |
| 22.08.2007 | TL? | SA? | Mengder. ? | Side 13--25.Lysark (pdf )? |
| 28.08.2007 | TL? | SA? | Introduksjon av begreper: Sekvens, kartesisk produkt, relasjon, funksjon, formelt spr?k, etc.? | 1.3 unntatt 1.3.2 2.1.1Mer fra side 345--354.Lysark (pdf )? |
| 11.09.2007 | TL? | SA? | Eksempler p? beviser i ND1800. Sunnhet og kompletthet? | Eksempler.Selve bevissystemene i avsnitt 6.4 blir ikke pensum, men argumentet for kompletthet side 390 og 391 blir likevel pensum. Vi anvender det p? ND1800 i stedet.? |
| 29.08.2007 | TL? | SA? | Ekvivalenser. Substitusjon. Omskrivninger. Disjunkjtiv normalform.? | Vi g?r alts? litt videre i avsnitt 6.2.2.Lysark (pdf )? |
| 04.09.2007 | TL? | SA? | Mer om normalformer. Komplette mengder av konnektiver. Quines metode.? | Ut avsnitt 6.2.Lysark (pdf )? |
| 05.09.2007 | TL? | SA? | Innledende om formellle bevis? | Vi begynner p? avsnitt 6.3, og definerer et bevissystemet ND1800 for naturlig deduksjon basert p? regler i boken.Lysark (pdf )? |
| 11.09.2007 | TL? | SA? | Eksempler p? beviser i ND1800. Sunnhet og kompletthet av ND1800.? | Eksempler.Selve bevissystemene som beskrives i avsnitt 6.4 er ikke pensum, men argumentet for kompletthet side 390 og 391 er likevel pensum. Vi bruker det p? ND1800 i stedet.Lysark (pdf )? |
| 12.09.2007 | TL? | SA? | Sekventkalkyle for utsagnslogikk? | Vi tar utgangspunkt i dette notatet, som blir pensum.pdf-lysark? |
| 18.09.2007 | TL? | SA? | Sunnhet og komletthet av sekventkalkyle. Innledende om predikatlogikk.? | Vi gj?r oss ferdige med notatet om sekventkalkyle for utsagnslogikk (se over) og begynner p? avsnitt 7.1 i boken.Lysark (pdf )? |
| 19.09.2007 | TL? | SA? | Videre om predikatlogikk? | Videre fra avsnitt 7.1. Lysark (pdf ) ? |
| 25.09.2007 | TL? | SA? | Formalisering av norske setninger. Ekvivalenser og normalformer i f?rste ordens predikatlogikk.? | Avsnitt 7.2Lysark (pdf )? |
| 02.10.2007 | TL? | SA? | Sekventkalkyle for f?rste ordens predikatlogikk.? | Vi tar utgangspunkt i dette notatet, som blir pensum.Lysark (pdf )? |
| 03.10.2007 | TL? | SA? | Som over? | Som overLysark (pdf )? |
| 09.10.2007 | Ingen undervisning? | denne uken.? | Heller ikke grupper? | i dette kurset.? |
| 10.10.2007 | (Midtterminuke)? | ? | ? | ? |
| 16.10.2007 | Herman Ruge Jervell? | SA? | 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. ? | Vi ser ogs? 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.? |
| 17.10.2007 | HRJ? | SA? | NFA vs. DFA. Konstruksjon av NFA fra et regul?rt uttrykk.? | Eksemplene 11.13 og 11.14 er ikke pensum.? |
| 23.10.2007 | HRJ? | SA? | Konstruksjon av et regul?rt uttrykk fra en NFA. Transdusere. (Moore og Mealy-maskiner.)? | ? |
| 24.10.2007 | HRJ? | SA? | Konstruksjon av DFA fra NFA.? | ? |
| 30.10.2007 | HRJ? | SA? | 11.3.3 og 11.4.2. ? | Siste halvpart av side 692 er ikke pensum.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. ? |
| 31.10.2007 | HRJ? | SA? | 3.3 og 11.4.1.? | Siste linje side 179, side 180 og f?rste halvpart av side 181 er ikke pensum. ? |
| 06.11.2007 | HRJ? | SA? | Kapittel 12 til og med 12.2.2. 12.4 ? | 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.12.2.3 og 12.3 er ikke pensum.? |
| 07.11.2007 | INGEN UNDERVISNING? | AVLYST? | ? | ? |
| 13.11.2007 | HRJ? | SA? | 12.4? | Chomsky og Greibach normalform. Pumpelemma og lukningsegenskaper ved kontekstfrie spr?k. ? |
| 14.11.2007 | HRJ? | SA? | 13.1.2 ? | Innledende om Turingmaskiner? |
| 20.11.2007 | HRJ? | SA? | 13.1.3 og 13.1.4. ? | Fra 2/3 ned p? side 770 til 1/3 ned p? side 773 er ikke pensum. ? |
| 21.11.2007 | HRJ? | SA? | 13.2 unntatt 13.2.4. Deretter 14.2 ? | ? |
| 27.11.2007 | HRJ? | SA? | 14.1 ? | Dr?fting av stoppeproblemet.? |
| 28.11.2007 | HRJ? | SA? | Oppsummering ? | Siste forelesning. ? |
Undervisningsplan
Publisert 21. aug. 2007 19:00
- Sist endret 19. nov. 2007 10:59