Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
18.08.2004 | Tore Langholm | Onsdag kl. 16:15 -18, Auditorium 2 Sophus Bugges hus | Introduksjon og gjennomgang av kursopplegget | |
20.08.2004 | Tore Langholm | Fredag kl. 09:15 -10, Auditorium 3 Sophus Bugges hus | Litt om utsagnslogikk | |
25.08.2004 | Tore Langholm | Auditorium 2 SB | Ut avsnitt 1.1 i læreboka og inn i 1.2: Innledende om kvantorer | |
27.08.2004 | Tore Langholm | Auditorium 3 SB | Videre fra 1.2: Relasjoner | |
01.09.2004 | Tore Langholm | Auditorium 2 SB | Videre fra 1.2: Om frie og bundne variabler. Litt mengdelære fra 1.3 | |
03.09.2004 | Tore Langholm | Auditorium 3 SB | Fra 1.6: Mer formelt om predikatlogikk | |
08.09.2004 | Tore Langholm | Auditorium 2 SB | Normalformer. Funksjons-symboler. | |
10.09.2004 | Tore Langholm | Auditorium 3 SB | Preneks normalform. Hornklausuler. Avsluttende fra kapittel 1. | |
15.09.2004 | Tore Langholm | Auditorium 2 SB | Fra avsnitt 2.1 i læreboka | Ark som oppsummerer analysetremetoden for utsagnslogikk deles ut på forelesningen. |
17.09.2004 | Tore Langholm | Auditorium 3 SB | Mer om analysetrær for utsganslogikk: Om hvordan vi sjekker oppfyllbarhet, og om logisk konsekvens. Og litt mer om HVORFOR metoden virker. | Denne timen så vi mer inngående på hvorfor reglene er som de er, og vi argumenterte for at et utsagn er gyldig hvis og bare hvis analysetreet over utsagnet lukker seg. Dermed forberedte vi oss på teoristoff som kommer (i en litt annen og mer generell form) i avsnitt 2.4., særlig side 92 og 93, under de to ”problemene” 45 og 46.Vi snakket også litt om induksjonsbevis; dette blir antakelig ikke pensum. |
22.09.2003 | Tore Langholm | Auditorium 2 SB | Fra avsnitt 2.2 i læreboka: Vi ser på analysetrær for predikatlogikk uten likhet og uten funksjonssymboler. | Ark som oppsummerer analysetremetoden for predikatlogikk uten likhet og uten funksjonssymboler, deles ut på forelesningen. |
24.09.2004 | Tore Langholm | Auditorium 3 SB | Fra avsnitt 2.2 i læreboka: Vi ser på likhet. | |
29.09.2004 | Tore Langholm | Auditorium 2 SB | Fra avsnitt 2.2 i læreboka: Vi ser på funksjonssymboler og på bevisstrategien øverst side 81. | |
01.10.2004 | Tore Langholm | Auditorium 3 SB | Fra avsnitt 2.3 i læreboka | |
06.10.2004 | Tore Langholm | Auditorium 2 SB | Fra avsnitt 2.4 i læreboka | |
08.10.2004 | Ingen forelesning i dette kurset | |||
13.10.2004 | Eksamen 16-18 | Auditorium 2 SB | Pensum gjennomgått så langt | Teller 40% av kursets karakter |
15.10.2004 | Ingen forelesning i dette kurset | |||
20.10.2004 | Tore Langholm | Auditorium 2 SB | Fra avsnitt 3.1 i læreboka | |
22.10.2004 | Tore Langholm | Auditorium 3 SB | Fra avsnitt 3.1 i læreboka | |
27.10.2004 | Tore Langholm | Auditorium 2 SB | Fra avsnitt 3.2 i læreboka | |
29.10.2004 | Tore Langholm | Auditorium 3 SB | Fra avsnitt 3.2 i læreboka | |
03.11.2004 | Tore Langholm | Auditorium 2 SB | Fra avsnitt 3.3 i læreboka | |
05.11.2004 | Ingen forelesning i dette kurset | |||
10.11.2004 | Herman Ruge Jervell | Auditorium 2 SB | Fra avsnitt 3.4 i læreboka | |
12.11.2004 | Herman Ruge Jervell | Auditorium 3 SB | Fra avsnitt 3.4 i læreboka | |
17.11.2004 | Tore Langholm | Auditorium 2 SB | Fra avsnitt 4.1 i læreboka | |
19.11.2004 | Tore Langholm | Auditorium 3 SB | Fra avsnitt 4.1 i læreboka | Et notat om stakkautomater (pdf ) ble dessuten utdelt og gjennomgått på forelesningen. |
24.11.2003 | Tore Langholm | Auditorium 2 SB | Fra avsnitt 4.2 i læreboka | |
26.11.2004 | Tore Langholm | Auditorium 3 SB | Fra avsnitt 4.3 i læreboka | |
01.12.2004 | Tore Langholm | Auditorium 2 SB | Fra avsnitt 4.4 og 5.1 i læreboka | Vi noterte en feil side 179 i læreboka: Ikkedeterministiske automater kan simuleres på akkurat samme måte som deterministiske. Disjunksjonen i den første setningen i Program kan rettes til en konjunksjon, se for øvrig dette notatet. (pdf ) |
03.12.2004 | Tore Langholm | Auditorium 3 SB | Fra avsnitt 5.2 i læreboka. Hvis vi får tid, ser også litt på en gammel eksamen. |
Undervisningsplan
Publisert 7. mars 2005 17:20