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
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
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
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
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
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)

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-01-15