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.

18/2 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

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

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

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

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

25/3 Lektion 3
Övning 6.2.5gd, 6.4.1bdc

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

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

15/4 Föreläsning 5 - Bivillkor och problemlösning (OH-bilder)
Ingen läsning
Lösningsförslag till exempeluppgifterna

22/4 Föreläsning 6 - Uppsamling och repetition (OH-bilder)
Repetera Sjögren 36-49, 85-96.
Lösningsförslag till exempeluppgifterna

29/4 Föreläsning 7 - Metalogik och utblick (OH-bilder)
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)

6/5 Lektion 5
Repetitionsuppgifter. Uppgifter, Lösningsförslag.

21/5 Lektion 6
Ö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

28/5 Lektion 7
Ö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)
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-29