Logik för dataloger
Logga in till din kurswebb
Du är inte inloggad på KTH så innehållet är inte anpassat efter dina val.
Kurswebben har varit stängt för redigering sedan första juni 2025 och kommer stängas ned helt första oktober 2026. Utifrån hur kurswebben har använts finns det några olika alternativ för ersättare:
- Sidan "Inför kursval" i Om kursen
- Kurs-PM (i Om kursen)
- Publikt utrymme i Canvas
Är du intresserad av mer information om detta, kontakta e-learning@kth.se.
Kursen ger en introduktion till matematisk logik och dess tillämpningar inom datalogi. Du får lära dig:
- använda logik för att formalisera egenskaper hos datastrukturer, algoritmer och datorsystem
- genomföra bevis för att härleda slutsatser utifrån givna premisser
- behärska olika bevistekniker, såsom naturlig deduktion, induktion. s.k. Hoare-logik för programverifikation, och temporal-logik för systemverifikation
- förstå hur logiska formler kan ges en precis matematisk (modell-teoretisk) innebörd
- behärska grunderna för automatisk deduktion
- förstå och resonera kring viktiga egenskaper hos bevissystem, såsom sundhet, fullständighet och avgörbarhet
