DD1350 Logik för dataloger


Ordningsföljd, veckovis:
  1. F1, F2, Ö1
  2. F3, F4, Ö2
  3. F5, F6, Ö3
  4. F7, F8, Ö4, L1
  5. F9, F10, Ö5, L2
  6. F11, F12, Ö6
  7. F13, F14, Ö7, L3,
  8. F15, L4

1. Föreläsningar

  1. Introduktion till logik, kursorganisation
  2. Satslogik: Naturlig deduktion
  3. Satslogik: Syntax och semantik
  4. Predikatlogik: Syntax
  5. Predikatlogik: Naturlig deduktion
  6. Predikatlogik: Semantik
  7. Resolution och Logikprogrammering
  8. Resolution och Logikprogrammering
  9. Induktion: Matematisk och fullständig induktion
  10. Induktion: Induktiva definitioner och strukturell induktion
  11. Temporallogik: Syntax och semantik
  12. Temporallogik: Modellprovning
  13.  Hoare-logik: Programsemantik och programspecifikation
  14.  Hoare-logik: Programverifikation
  15.  Sammanfattning, förberedelse till tentamen

2. Övningar

  1. Satslogik: Naturlig deduktion
  2. Predikatlogik: Semantiska tablåer
  3. Predikatlogik: Naturlig deduktion
  4. Kontrollskrivning 1
  5. Induktion
  6. Hoare-logik
  7. Kontrollskrivning 2

3. Laborationer

Labb1: Logikprogrammering
Labb2: Temporallogik och modellprovning
  1. Labb1 hjälp
  2. Labb1 redovisning
  3. Labb2 hjälp
  4. Labb2 redovisning