Pensum er hele kompendiet med oppgaver.
24. - 25. januar foreleste jeg fra avsnittene 1.1 - 1.3 og gjennomgikk, med et unntak, de relevante oppgavene.
31. januar og 1. februar foreleste jeg avsnittene 1.4 og 1.5.
Jeg gjennomgikk følgende oppgaver på tirsdag:
1.3.9, 1.4.1, 1.4.3, 1.4.6, 1.4.7, 1.4.9.
7. og 8. februar foreleste jeg hele avsnitt 1.6 om et bevissystem for utsagnslogikken.
Jeg gjennomgikk resten av oppgave 1.4.10. samt oppgavene 1.5.1, 1.5.2, 1.6.1, 1.6.2, 1.6.3 og 1.6.4.
Oppgave 1.6.5 er ikke aktuell i år.
14. og 15. februar foreleste jeg om klausaler og Horn-klausaler, dvs. stoff fra avsnitt 1.7.
Den første timen på tirsdag gjennomgikk jeg oppgavene 1.7.1 og 1.7.2 samt Eksamen i MA 231 19/6-89 Oppgave 1.
Jeg startet også på avsnittet om relasjonslogikk.
21. og 22. februar tok jeg opp avsnittet om relasjonslogikk fra starten. Jeg foreleste hele avsnitt 2.1 og avsnitt 2.2 til og med sunnhetsteoremet for relasjonslogikk.
Vi regnet oppgavene under avsnitt 2.1 til og med oppgave 2.1.6 a).
28. og 29. februar viste jeg kompletthetsteoremet for relasjonslogikk.
Videre foreleste jeg om språk med funksjonstegn fram til et stykke ut i beviset for kompletthetsteoremet for slike språk.
Vi gjennomgikk Oppgave 2.1.6 b), oppgave 2.2.2 og Eksamen i MA 231 15/6-90 Oppgave 1.
6. og 7. mars fullførte vi beviset for kompletthetsteoremet for relasjonsspråk med funksjoner.
Vi så videre på hvordan vi kan analysere bevisbarhet gjennom en trestruktur.
Tilslutt kikket vi litt på Horn-klausaler.
Vi gjennomgikk oppgavene 4 og 5 fra avsnitt 2.3.
13. og 14. mars avsluttet vi gjennomgangen av kapittel 2.
Vi gikk igjennom oppgavene 2.3.6.
og 2.4.7.
20. og 21. mars startet vi opp med første ordens språk og strukturer, til midt på side 115 i kompendiet.
Vi gjennomgikk oppgavene 2.4.10, 2.5.3, 2.5.6, 3.1.2 og 3.1.4.
27. og 28. mars foreleste jeg over resten av avsnitt 3.2 og hele avsnitt 3.3.
Vi så også på følgende oppgaver:
Eksamen 19/6-89 Oppgave 2
Eksamen 17/6-91 Oppgave 1a)
3. og 4. april fullførte vi kapittel 3.
Vi gjennomgikk i tillegg punkt 1.b) fra 17/6-91
og oppgave 3.2.4. som ble gitt til uken før, samt oppgavene 3.3.2, 3.3.4, 3.3.6, 3.4.1 og 3.4.2
10. og 11. april ga vi beviset for kompletthetsteoremet for teorier over tellbare språk, det vil si stoff fra avsnittene 4.1 og 4.2.
Vi rakk ikke å se på noen oppgaver.
2. mai tok vi for oss avsnitt 4.3.
8. og 9. mai avslutter vi gjennomgangen av kapittel 4, med kompletthetsteoremet og Herbrand- og Skolemteori.
Det gjenstår en god del oppgaver, og det blir tid til det meste av disse denne uken:
Fullføring av gjennomgangen av oppgave 3.4.8
Oppgave 3.4.9.
Eksamen 15/6-92 oppgave 2.
Eksamen 14/6-93 oppgave 3.
I forbindelse med siste oppgave var den reelle oppgaven å finne alle feilene, ettersom ingen av punktene lar seg løse slik oppgavegiver hadde tenkt seg (det var ikke D.N. som ga denne oppgaven).
Vi så videre på oppgave 4.5.2.
15. og 16. mai starter vi på siste kapittel og gjennomgår avsnittene 5.1, 5.2 og 5.3 fram til beta-funksjonen.
Vi så på oppgavene 4.5.3 og 4.5.6 fra kompendiet og eksamensoppgave
19/6-89 Oppgave 3
22. og 23. mai så, vi på beta-funksjonen, og gikk igjennom avsnittet om representerbarhet. Vi gjennomgikk
Eksamensoppgave 15/6-90 Oppgave 2.
29. og 30. mai avsluttet vi teoriforelesningene. Avsnitt 5.7 er mest til orientering for den interesserte.
Så fortsatte vi med Eksamen 15/6-90 Oppgave 4.
Resten av semesteret regner vi oppgaver.
Først ser vi på oppgavene 5.3.5 og 5.3.9 fra kompendiet.
Etter det starter vi en systematisk gjennomgang av eksamensoppgaver. Vi starter med siste års eksamen og arbeider oss bakover i tid. I 1998 dropper vi oppgavene 2 og 3, i 1997 dropper vi oppgave 1. Vi rekker trolig ikke noe særlig mer enn dette.
Denne siden blir redigert av Dag Normann og er sist endret 5-06-00.