INF3170 - V?r 2006

Undervisningsplan

DatoUndervises avStedTemaKommentarer / ressurser
23.01.2006Christian Mahesh Hansen, Roger Antonsen? Lille auditorium? Introduksjon, mengdel?re, utsagnslogikk.? Husk obligatorisk oppm?te!

Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel

Aktuelle avsnitt fra Gallier: 2.1.1 [Cartesian product = kryssprodukt], 2.1.2 [vi definerer funksjoner som totale funksjoner], 2.1.8, 3.1, 3.2.1.?

30.01.2006Christian Mahesh Hansen? Lille auditorium? Mengdel?re (forstetter). Induktive definisjoner. Utsagnslogikk (fortsetter): syntaks, semantikk, induksjonsbevis, sekventkalkyle.? Fredag: oblig 1 utleveres.

Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel

Aktuelle avsnitt fra Gallier: 3.3 [Hx i Gallier tilsvarer v?re semantiske operatorer med hatt over. v med hatt over i Gallier tilsvarer v?re boolske valuasjoner.], 3.4.1.?

06.02.2006Christian Mahesh Hansen? Lille auditorium? Utsagnslogikk (fortsetter): sekventkalkyle og sunnhet.? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel

Aktuelle avsnitt fra Gallier: 3.4.1 ["deduction tree" = utledning], 3.4.2 [Gallier definerer sekventer der Gamma og Delta er sekvenser, i motsetning til v?re multimengder. Galler bruker implikasjonstegn (venstrepil) der vi bruker sekventtegn. Gallier bruker en liggende U (med ?pningen mot venstre) som implikasjonstegn. "inference rule" = slutningsregel. "principal formula" = hovedformel. "side formulae" = aktive formler.], 3.4.3, 3.4.4 [Galliers definisjon av aksiom krever ikke at felles formel A m? v?re atom?r. "proof tree" = bevis, "deduction tree" = utledning. Gallier definerer utledninger/bevis ved ? starte med l?vsekventene for deretter ? generere nye konklusjoner nedover, alts? det motsatte av hva vi gj?r.], 3.4.5.?

13.02.2006Arild Waaler? Lille auditorium? Intuisjonistisk utsagnslogikk: syntaks og Kripke-semantikk. Sekventkalkylen LJ. Sunnhet av LJ med hensyn p? Kripke-modeller. Konsistens.? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel

Fredag: innleveringsfrist oblig 1.?

20.02.2006Roger Antonsen? Lille auditorium? Utsagnslogikk (fortsetter): kompletthet av LK. F?rsteordens logikk: syntaks? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel Aktuelle avsnitt fra Gallier: 3.3.5 NP-Complete Problems, 3.4.7 Completeness of the Gentzen System G' [Gallier gj?r kompletthet annerledes enn oss. V?r metode er en endelig versjon av hva som gj?res for f?rste-ordens logikk.] 3.5.5 Hintikka Sets [V?r konstruksjon er Hintikkamengder i forkledning.] 5.1, 5.2.1-3 First-Order Logic ?
27.02.2006Christian Mahesh Hansen? Lille auditorium? F?rsteordens logikk: syntaks og semantikk? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel

Fredag: oblig 2 utleveres.?

06.03.2006Roger Antonsen? Lille auditorium? F?rsteordens logikk: semantikk og diverse? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel ?
13.03.2006Roger Antonsen? Lille auditorium? F?rsteordens logikk: sekventkalkyle og sunnhet? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel

Fredag: innleveringsfrist oblig 2.?

20.03.2006--------? --------? --------? Undervisningsfri uke.?
27.03.2006Roger Antonsen? Lille auditorium? F?rsteordens logikk: kompletthet? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel

Fredag: innleveringsfrist oblig 2.

Fredag: oblig 3 utleveres.?

03.04.2006Christian Mahesh Hansen? Lille auditorium? Automatisk beviss?k: introduksjon, substitusjoner og unifisering? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel?
10.04.2006--------? --------? --------? P?skeferie.?
17.04.2006--------? --------? --------? P?skeferie.

Fredag: innleveringsfrist oblig 3.?

24.04.2006Christian Mahesh Hansen? Lille auditorium? Automatisk beviss?k: fri-variabel sekventkalkyle og sunnhet? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel??
01.05.2006--------? --------? --------? Offentlig h?ytidsdag.?
08.05.2006Herman Ruge Jervell? Lille auditorium? Snitteliminasjon? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel?
15.05.2006Christian Mahesh Hansen? Lille auditorium? Automatisk beviss?k: inkrementell lukking? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel??
22.05.2006Christian Mahesh Hansen? Lille auditorium? Automatisk beviss?k: matriser og koblingskalkyle? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel?
29.05.2006Roger Antonsen? Lille auditorium? Avanserte emner? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel ?
05.06.2006--------? --------? --------? 2. pinsedag.?
12.06.2006Christian Mahesh Hansen, Roger Antonsen? Lille auditorium? Repetisjon? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel

Husk eksamen 14. juni!

Det blir skriftlig eksamen i kurset. For mer informasjon, se her .

Lykke til!?

Publisert 2. jan. 2006 16:18 - Sist endret 12. juni 2006 18:17
Del p? e-post