Till KTH:s startsida Till KTH:s startsida

Visa version

Version skapad av Johan Karlander 2016-11-30 11:03

Visa < föregående | nästa >
Jämför < föregående | nästa >

Föreläsningar

Föreläsningsbilder kommer finnas för nedladdning från denna sida senast dagen innan respektive föreläsning.

# Innehåll Boken Bilder
1 Introduktion till logik s 1-5 F1
2 Satslogik: syntax, naturlig deduktion 1.2, 1.3

F2

regler

3 Satslogik: semantik 1.4 F3
4 Predikatlogik: introduktion, syntax 2.1, 2.2 F4
5 Predikatlogik: naturlig deduktion 2.3

F5

regler

6 Mängder och andra diskreta strukturer Se fotnot 1 F6
7 Predikatlogik: semantik, sundhet, fullständighet, avgörbarhet 2.4, 2.5, 2.6 F7
8 Predikatlogik: axiomatiseringar Se fotnot 2 F8
9 Matematisk induktion 1.4.2, 1.4.3 F9
10 Strukturell induktion Strukturell induktion F10
11 Temporallogik: syntax och semantik 3.1, 3.4 F11
12 Temporallogik: modellprovning -

F12

regler

13 Hoare-logik och programspecifikation 4.2

F13

regler

14 Gästföreläsning: SAT-lösning och beviskomplexitet -
15 Hoare-logik och programspecifikation 4.3

Fotnot 1: Mängder och relationer är egentligen sådant som brukar läras ut i en kurs i diskret matematik. För denna kurs räcker materialet som presenteras på föreläsningsbilderna. Om man föredrar att läsa en text snarare än föreläsningsbilder kan man läsa här och här.

Fotnot 2: Peanos axiom förklaras bra här (dock mycket mer utförligt än vad som krävs i kursen). För den som vill veta mer om axiomatiseringar och Gödels teorem kan man konsultera Peter Smith: Introduction to Gödel's theorems, 2nd edition (Cambridge). Här är kapitel 1 (rekommenderad läsning: sid 1-4).