729G06 Programmering och logik

Logik

Läsanvisningar

Introduktion till predikatlogik av Jörgen Sjögren
Första ordningens logik av Christian Bennet
Uppgifter till lektionerna (från Christian Bennets bok)
Lösningsförslag till lektionerna

OH-bilder från föreläsningarna kommer att göras tillgängliga nedan i anslutning till respektive föreläsning.

Föreläsning 1 - Syntax (OH-bilder)
Läsning Sjögren 2-4, 7-10, 11-29
Läsning Bennet 1, 2.1-2, 3.1-5

Lektion 1
Övning 2.3.1bcdeh, 3.1.1acb, 3.2.6a, 3.2.13e, 3.3.5, 3.4.4a, 3.5.1bcfg

Föreläsning 2 - Semantik (OH-bilder)
Läsning Sjögren 50-81
Läsning Bennet 4.1-3, 5.1-2

Lektion 2
Övning 5.1.9 (konstruera en modell för formlerna i Gamma), 5.1.10

Föreläsning 3 - Bevis (OH-bilder)
Läsning Sjögren 36-49, 85-96
Läsning Bennet 6.2-3

Lektion 3
Övning 6.2.5gd, 6.4.1bdc

Föreläsning 4 - Bevisstrategier (OH-bilder)
Ingen läsning
Lösningsförslag till exempeluppgifterna

Lektion 4
Övning 6.4.2d, 6.4.1e, 6.4.1f, 6.4.2a, 6.4.1i

Föreläsning 5 - Bivillkor och metalogik
Läsning Sjögren 97-103 (t.o.m. Teorem 3), 109 (bara Korollarium 2)
Läsning Bennet 7.1, 7.2 (bara sats 2.1)

Lektion 5
Övning 6.4.3a, 6.4.3b, 6.4.3c, 6.4.3f, 6.4.3g, 5.1.5, exempel 1 sid 4, exempel 2 sid 4

Föreläsning 6 - Repetition och utblick
Ingen läsning

Lektion 6
Övning Tentan från 2009-08-14 (PDF)

Lektion 7
Fri övning. Använd gamla tentor och se till att räkna på sådant ni behöver hjälp med.

Lektion 8
Fri övning. Använd gamla tentor och se till att räkna på sådant ni behöver hjälp med.

Gamla tentor

20101222 (lösningsförslag)
20100826 (lösningsförslag)
20100129 (lösningsförslag)
20091218 (lösningsförslag)
20090429 (lösningsförslag)
20090326 (lösningsförslag)
20080813 (lösningsförslag) (bevis med nya boken)
20080328 (lösningsförslag) (bevis med nya boken)
20080307 (lösningsförslag) (bevis med nya boken)

Sidansvarig: Jody Foo
Senast uppdaterad: 2013-04-03