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