Logic for Computer Science
Log in to your course web
You are not logged in KTH, so we cannot customize the content.
Starting June 1, 2025, it will no longer be possible to edit content on the course web, and students will no longer be added. Existing material will remain.
Read more here: The course web's sunset on June 1
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