HUMIT1750 - H?st 2004

Undervisningsplan

DatoUndervises avStedTemaKommentarer / ressurser
18.08.2004Tore Langholm? Onsdag kl. 16:15 -18, Auditorium 2 Sophus Bugges hus ? Introduksjon og gjennomgang av kursopplegget? ?
20.08.2004Tore Langholm? Fredag kl. 09:15 -10, Auditorium 3 Sophus Bugges hus ? Litt om utsagnslogikk? ?
25.08.2004Tore Langholm? Auditorium 2 SB ? Ut avsnitt 1.1 i l?reboka og inn i 1.2: Innledende om kvantorer? ?
27.08.2004Tore Langholm ? Auditorium 3 SB ? Videre fra 1.2: Relasjoner? ?
01.09.2004Tore Langholm? Auditorium 2 SB? Videre fra 1.2: Om frie og bundne variabler. Litt mengdel?re fra 1.3? ?
03.09.2004Tore Langholm? Auditorium 3 SB? Fra 1.6: Mer formelt om predikatlogikk? ?
08.09.2004Tore Langholm? Auditorium 2 SB? Normalformer. Funksjons-symboler.? ?
10.09.2004Tore Langholm? Auditorium 3 SB? Preneks normalform. Hornklausuler. Avsluttende fra kapittel 1.? ?
15.09.2004Tore Langholm? Auditorium 2 SB? Fra avsnitt 2.1 i l?reboka? Ark som oppsummerer analysetremetoden for utsagnslogikk deles ut p? forelesningen.?
17.09.2004Tore 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.2003Tore 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.2004Tore Langholm? Auditorium 3 SB? Fra avsnitt 2.2 i l?reboka: Vi ser p? likhet.? ?
29.09.2004Tore Langholm? Auditorium 2 SB? Fra avsnitt 2.2 i l?reboka: Vi ser p? funksjonssymboler og p? bevisstrategien ?verst side 81.? ?
01.10.2004Tore Langholm ? Auditorium 3 SB? Fra avsnitt 2.3 i l?reboka? ?
06.10.2004Tore Langholm ? Auditorium 2 SB? Fra avsnitt 2.4 i l?reboka? ?
08.10.2004? Ingen forelesning i dette kurset ? ? ?
13.10.2004Eksamen 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.2004Tore Langholm? Auditorium 2 SB? Fra avsnitt 3.1 i l?reboka? ?
22.10.2004Tore Langholm? Auditorium 3 SB? Fra avsnitt 3.1 i l?reboka? ?
27.10.2004Tore 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.2004Tore Langholm? Auditorium 2 SB? Fra avsnitt 3.3 i l?reboka? ?
05.11.2004? Ingen forelesning i dette kurset? ? ?
10.11.2004Herman Ruge Jervell? Auditorium 2 SB? Fra avsnitt 3.4 i l?reboka ? ?
12.11.2004Herman Ruge Jervell? Auditorium 3 SB ? Fra avsnitt 3.4 i l?reboka? ?
17.11.2004Tore Langholm? Auditorium 2 SB? Fra avsnitt 4.1 i l?reboka ? ?
19.11.2004Tore 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.2003Tore Langholm? Auditorium 2 SB? Fra avsnitt 4.2 i l?reboka? ?
26.11.2004Tore Langholm? Auditorium 3 SB? Fra avsnitt 4.3 i l?reboka? ?
01.12.2004Tore 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.2004Tore Langholm? Auditorium 3 SB? Fra avsnitt 5.2 i l?reboka. Hvis vi f?r tid, ser ogs? litt p? en gammel eksamen.? ?
Publisert 7. mars 2005 17:20
Del p? e-post