HUMIT1750MN - Høst 2006

Undervisningsplan

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	Lysark Videre 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.

Publisert 29. aug. 2006 20:26 - Sist endret 28. feb. 2007 14:06