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
Lösningsförslag till föreläsningarna

Föreläsning 1 - Syntax (slides)
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.12a, 3.2.13e, 3.3.5, 3.4.4a, 3.5.1bcfg

Föreläsning 2 - Semantik (slides)
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 (slides)
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 (slides)
Ingen läsning

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 (slides)
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 datorspel (slides)
Ingen läsning

Lektion 6
Övning Tentan från 2009-08-14 (PDF) (lösningsförslag)

Gamla tentor

20101222 (lösningsförslag)
20100826 (lösningsförslag)
20100129 (lösningsförslag)
20091218 (lösningsförslag)
20090814 (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)