INF1800 - Høst 2007

Undervisningsplan

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.1 Mer 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.2 Lysark (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 over Lysark (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.

Publisert 21. aug. 2007 19:00 - Sist endret 19. nov. 2007 10:59