Göm menyn

729G06 Programmering och logik : Logik

Sidan uppdateras!

Sidan uppdateras inför vårens föreläsningar! Informationen är därför ungefärlig.

Informationen om kurslitteratur nedan är aktuell.

Kurslitteratur

För den som vill ha lite bredvidläsning utanför kursen, rekommenderas Ben-Ari - Mathematical logic for Computer Scientists (alternativlänk om du är ej på LiU-nätverk). Vi kommer inte att använda den boken här, dock.

Föreläsningar

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 (och satslogik) [småjustering]
OH Kursinformation
Läsning Bennet 1, 2.1-2, 3.1-5
Läsning Sjögren 2-4, 7-10, 11-29
Lektion 1 (lösningsförslag le 1)

Föreläsning 2 - Semantik
Läsning Bennet 4.1-3, 5.1-2
Läsning Sjögren 50-81
Lektion 2 lösningsförslag le 2
Errata 4c: Skrivfel. Ska vara Ax Q(x) som inte följer. Ex Q(x) är sant. Nu uppdaterat i uppgiftshäfte.

Föreläsning 3 - Bevis. Satslogik och naturlig deduktion
Läsning Bennet 6.2-3
Läsning Sjögren 36-49, 85-96
Lektion 3

Föreläsning 4 - Bevisstrategier
Ingen läsning
Lektion 4

Föreläsning 5 - Fler bevisstrategier
Ingen läsning
Användbara satslogiska konsekvenser (Tommy Färnqvist)
Lektion 5

Föreläsning 6 - Bivillkor och problemlösning
Ingen läsning
Lektion 6

Föreläsning 7 - Uppsamling och repetition. Problemlösning
Repetera Bennet 6.2-3, Sjögren 36-49, 85-96.
Lektion 7
Övning Tentan från 2009-08-14 (PDF) (lösningsförslag)
Lektion 8
Gamla tentor

Föreläsning 8 - Metalogik och utblick
Läsning Bennet 7.1, 7.2 (bara sats 2.1)
Läsning Sjögren 97-103 (t.o.m. Teorem 3), 109 (bara Korollarium 2)
Lektion 9
Gamla tentor
Lektion 10
Gamla tentor/Frågestund

Lektion 9
Gamla tentor
Lektion 10
Gamla tentor/Frågestund

-->

Gamla tentor

20130920 (lösningsförslag)
20130816 (lösningsförslag)
20130603 (lösningsförslag)
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: Annika Silvervarg
Senast uppdaterad: 2015-01-29