Logik för dataloger
Logga in till din kurswebb
Du är inte inloggad på KTH så innehållet är inte anpassat efter dina val.
Från och med den 1 juni 2025 upphör möjligheten att redigera innehåll i kurswebben och studenter slutar bli inlagda. Redan existerande material kvarstår.
Läs mer här: Kurswebbens solnedgång den första juni
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
