Göm menyn

729G06 Programmering och logik : Logik

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. Observera att dessa är skelett, och att egna anteckningar från föreläsningarna kan krävas!

Vad? Innehållsskiss Material/läsning
v4 Fö1 Vad är logik? Satslogik, syntax och semantik. Satslogik (Wikipedia)
"Det satslogiska språket", Sjögren s11-30.
Fö2 Satslogik, logisk konsekvens (och intro till naturlig deduktion).
v5 Le1 Satslogik - formalisering, tolkningar, härledning. Lektionsuppgifter, lösningsförslag.
Fö3 Varför räcker inte satslogik? Predikatlogik, syntax och semantik. Senare slides!
Sjögren 66-75, 81-82 (ej Prenex), översiktligt 76-79
Bennet 21-26.
v6 Fö4 Att bevisa (eller motbevisa). Sjögren 85-96
Le2 Predikatlogik - syntax, modeller. Lektionsuppgifter, lösningsförslag.
Fö5 Naturlig deduktion (forts), inledande bevisstrategier.
Le3 Inledande naturlig deduktion (I). Lektionsuppgifter, lösningsförslag.
v7 Fö6 Fler bevisstrategier, IdI, IdE
Le4 Naturlig deduktion (II). Existensiell kvantifikator Lektionsuppgifter, tips, lösningsförslag.
Le5 Naturlig deduktion (III). Blandningar Lektionsuppgifter, tips, lösningsförslag.
v8 Fö7 Metalogik, vad man kan bevisa mekaniskt och utblick. Bennet, kap 7 (översiktligt, begreppsnivå snarare än att kunna alla symboler utantill. Ej 7.3)
Le6 Naturlig deduktion (IV). Lektionsuppgifter, tips, lösningsförslag.
Le7 Naturlig deduktion, metalogik (V). Lektionsuppgifter, tips, lösningsförslag.
v9 Le8 Repetition Tentamen 150312
Le9 Tentamen 150814
v10 Le10 Tentamen 150424
Le11 Tentamen eller kompletterande uppgifter
Fö8 Sammanfattning och frågor

Gamla tentor


Sidansvarig: Jody Foo
Senast uppdaterad: 2016-03-24