Beskjeder

Klargj?ring: Oppgavesett 13 er ogs? pensum.

Siste forelesning i dag! Runder av forrige gang, og oppsummerer semesteret.

Det blir alts? forelesning mandag den 14. mai, om det skulle v?re noe tvil om det. Vi gjennomg?r siste del av pensum og ser p? noen anvendelser.

PENSUM er van Dalen til og med kapittel 3.3, untatt fra side 123 og stoffet om Skolem-L?wenheim i 3.2, og Avigad til og med 7.3. Generelt tar van Dalen for seg noe stoff og eksempler her og der som vi overhodet ikke har v?rt innom, og dette vil det ikke bli spurt om p? eksamen. Bruk Avigad som rettesnor, hvis noe fra van Dalen ikke nevnes med ett ord i Avigad vil det ikke bli spurt om p? eksamen.

OBLIG 4: Som vi har snakket om blir oblig 4 eksamen fra i fjor, den ligger n? under Ukeoppgaver.

Frist er Mandag 21. mai. Den vil gjennong?s p? gruppetimen tirsdagen etter, s? det er ikke mulig ? f? utsettelse.

Det vil heller ikke v?re mulig ? levere p?nytt, eventuelt vil det bli gitt sv?rt kort frist, siden alt m? v?re godkjent f?r 1. juni.

Som kompensasjon vil vi v?re liberale med hint og hjelp, om det trengs.

Det er ikke f?rt opp forelesning den 30. p? planen, men det f?r st? for planens del. Jeg foreleser som vanlig. Derimot f?r jeg ikke endret planen, uvisst hvorfor..

Oppgavesett 12 til 1. mai lagt ut. N? er jo det en fridag, s? Peter kan vel tenkes ? kikke p? noe av det allerede i morgen og gruppetimen etter. Oppgavesett 13 er ogs? lagt ut. Her finner dere mange av definisjonene som vi gikk igjennom i dagens forelesning, til sammen med ?velser for ? forst? dem bedre. (Det er ingen obligoppgaver.)

I dagens forelesning tok vi sunnhetsteoremet og begynte p? kompletthetsteoremet, van Dalen 3.1 og Avigad 6.3. Neste uke gj?r vi ferdig kompletthetsteoremet, og tar det viktige kompakthetsteoremet, van Dalen 3.2 og Avigad 7.2.

For de som gikk glipp av dagens forelesning pga feks hjemme-eksamen s? er det aller viktigste ? f? med seg definisjonene av teori, aksiomer, konservativ utvidelse o.l. Oppgavesett 13 dekker dette stoffet.

Oppgavesett 11 lagt ut. Det inneholder tre oppgaver til Oblig 3. Det runder av Oblig 3, som har frist 2. mai, alts? onsdag om to uker. Oppgavesettene med obligoppgaver for tre'ern er da 9, 10 og 11.

Paaskefri! Ingen forelesning mandag den 2. april! Beklager sein beskjed.

Neste uke vil Peter ta naturlig deduksjon for f?rsteordens logikk, dvs van Dalen 2.8-2.10 og Avigad 6.1-6.2. Da har vi dekket ganske mye nytt stoff p? kort tid, s? f?r vi g?r inn p? kompletthet o.l. vil vi g? tilbake litt og se p? definerbarhet og g? igjennom noen eksempler og anvendelser.

Gruppel?rer har satt fristen for ? levere Oblig 2 til midnatt p? tirsdag (og ikke i gruppetimen slik jeg skrev, men om man vil levere p? papir er det jo fortsatt praktisk ? levere da).

Oppgavesett 9 lagt ut. Dette er til tirsdag 20. mars. Merk: Det er to obligoppgaver, de er til Oblig 3, IKKE til oblig 2 som har frist den 20. mars. Merk ogs? at dette settet etterhvert g?r litt ut over det vi tok i forelesning i dag (meningen er naturligvis at man er s? framp? i lesingen av Avigad og van Dalen at dette ikke gj?r noe, men det kan jo ogs? hende at man ikke er helt ferdig med oblig 2 enn? slik at det uansett ikke vil regnes s? mye av dette f?r etter neste forelesning).

I dag gikk vi gjennom syntaks og begynte p? semantikk for f?rsteordens logikk, dvs Avigad til og med 5.2 og van Dalen til og med 2.4. Dette gj?res ferdig neste gang, og om vi rekker det begynner vi p? naturlig deduksjon. Les Avigad t.o.m. 6.1 og van Dalen t.o.m. 2.7.

Oblig2-detaljer: Omfatter oppgave 14 fra oppgavesett 5, 2 og 11 fra oppgavesett 6, 1 fra oppgavesett 7 og 1 og 2 fra oppgavesett 8. Leveres tirsdag 20. mars i gruppetimen (eller f?r).

Oppgavesett med de siste obligoppgavene for oblig 2 lagt ut. Frist for oblig 2 om to uker.

Vi rakk ikke ? begynne p? predikatlogikk i dag, det blir tema neste forelesning. Les stoffet i Avigad 5.1-5.2 og van Dalen 2.1. Det kommer et lite ukeoppgavesett i morgen, det inneholder siste obligoppgave for oblig2. Innleveringsfrist for Oblig 2 er tirsdag om to uker, men det anbefales ? utnytte at det er f? ukeoppgaver til neste uke og gj?re det ferdig til da.

Oppgavesett 7 lagt ut. Den har ¨¦n obligoppgave. Ellers er den litt mindre enn vanlig, de mest relevante oppgavene for denne ukas forelesning kom allerede i Oppgavesett 6, s? regn heller mer fra den.

Neste gang vil vi gj?re ferdig algebraiske modeller og begynne p? predikatlogikk, dvs p? stoffet i Avigad 5.1-5.2 og van Dalen 2.1.

Forelesningen i morgen 27. februar vil ogs? introdusere en masse begreper (partielt ordnet mengde, gitter, etc) som vil bli brukt n?r vi senere skal se p? f?rsteordens logikk.

Ukeoppgavesett 6 lagt ut. Merk at oppgave 2 og 11 er oblig. (Merk ogs? at oppgave 9 er "tenk p? til neste gang"-oppgaven fra forelesningen sist.)

Vi ble nesten ferdige med kompletthetsbeviset. Neste uke gj?r vi det ferdig og avslutter utsangslogikkdelen ved ? kikke p? andre m?ter ? tolke utsagn p?, spesielt algebraiske modeller. Dette st?r ikke i pensum. Det betyr en liten lesepause, som man kan (b?r) bruke til ? lese det man har hoppet over i pensum til n? og regne flere oppgaver. Selv om algebraiske modeller ikke kommer p? eksamen anbefales det ? komme og h?re p? forelesningen. Det kan v?re veldig nyttig ? ha sett alternativer til mengdel?rebasert semantikk.

Oppgavesett 5 lagt ut.

Vi har dekket van Dalen 1.4 og 1.6 (Avigad opp til 4.3 og 4.7). Merk at vi ser p? "eller" som et primitivt (ikkedefinert) konnektiv. Slutningsreglene for "eller" st?r i 1.6. van Dalen (Avigad 4.7).

Neste uke vil vi vise sunnhet og kompletthet for setningslogikk, stoffet som st?r i van Dalen 1.5 og Avigad 4.4-4.6. (Vi blir antageligvis ikke ferdige med kompletthet f?r uken etter).

Mer om Oblig:

Vi setter opp Devilry s? man kan levere elektronisk der. Man kan ogs? levere p? papir, i gruppetimen tirsdag (f?r frist) eller i en leveringsboks i administrasjonen i l?pet av fredagen.

Oblig1 best?r alts? av: Oppgave 5 og 9 fra Ukeoppgavesett 2, Oppgave 3 fra Ukeoppgavesett 3 og Oppgave 12 fra Ukeoppgavesett 4.

Frist fredag 17. februar.

Rettelse: Ukeoppgave 4 til neste tirsdag lagt ut n?, siden gruppen har blitt flyttet til tirsdager. Obliginnlevering neste fredag, alts? den 17. februar. Praktiske detaljer om innlevering kommer senere. Oblig 1 er alts? de oppgavene fra ukeoppgavesett 2-4 som er merket med Oblig.

Vi ble ferdige med semantikken i dag. Neste uke begynner vi med naturlig deduksjon. Det betyr at pensum for neste ukes forelesning er van Dalen 1.4 og Avigad opp til og med 4.3. Ukeoppgaver kommert som vanlig f?r torsdag kveld.