Skip to main content

ID1015 Logic for Computer Science 7.5 credits

The course includes, for example, translation of texts in natural language to predicate logic, modal logic and temporal logic, deduction of formulas in modal logic, and methods for automatic theorem proving.

Course offering missing for current semester as well as for previous and coming semesters
Headings with content from the Course syllabus ID1015 (Autumn 2010–) are denoted with an asterisk ( )

Content and learning outcomes

Course contents

(i) An extensive discussion of the concepts and tools of various logics.

(ii) An assignment where the students use logics for modelling and analysis.

Intended learning outcomes

On successful completion of this module students should be able to:

1. translate texts in natural language to predicate logic, modal logic and temporal logic.

2. deduce formulas in predicate logic using the various methods.

3. deduce formulas in modal logic.

4. utilise methods for automatic theorem proving.

5. create conceptual models in e.g., UML from system descriptions.

6. formally analyse and verify such descriptions.

Course disposition

No information inserted

Literature and preparations

Specific prerequisites

Completed upper secondary education including documented proficiency in Swedish corresponding to Swedish B and English corresponding to English A. For students who received/will receive their final school grades after 31 December 2009, there is an additional entry requirement for mathematics as follows: documented proficiency in mathematics corresponding to Mathematics A. And the specific requirements of mathematics, physics and chemistry corresponding to Mathematics D, Physics B and Chemistry A.

Recommended prerequisites

Three years of upper secondary school or equivalent and a TOEFL test result, minimum score 173(CBT), 500(PBT) or 61(iBT) or an IELTS test result with an overall band score of minimum 5,0 and no band score below 4,5. The English test is COMPULSORY for all applicants except citizens of Australia, Canada, Ireland, New Zealand, United Kingdom and USA. At KTH we make exemption from requirements in Swedish when the course is given in English or other foreign language.

Prior knowledge in basic logic, mathematics or similar is recommended.


No information inserted



Logic – Basics and Beyond, G. Davies, L. Ekenberg and J. Thorbiörnson

Upplaga:  Förlag:  År:

ISBN: ISBN 91-89278

<>Complementary web-based materials

Examination and completion

If the course is discontinued, students may request to be examined during the following two academic years.

Grading scale

A, B, C, D, E, FX, F


  • PRO1 - Project Assignment, 4,0 hp, betygsskala: P, F
  • TEN1 - Examination, 3,5 hp, betygsskala: A, B, C, D, E, FX, F

Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.

The examiner may apply another examination format when re-examining individual students.

Written exam (3,5 hp) and hand-in (4 hp).

The grades on the written exam are  A/B/C/D/E/Fx/F and on the hand-in pass or fail (P/F).

Other requirements for final grade

To pass the course, the student needs to pass on both the written exam and the hand in. The grade associated with the course is only based on the student's result on the written exam.

Opportunity to complete the requirements via supplementary examination

No information inserted

Opportunity to raise an approved grade via renewed examination

No information inserted


Profile picture Magnus Boman

Ethical approach

  • All members of a group are responsible for the group's work.
  • In any assessment, every student shall honestly disclose any help received and sources used.
  • In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.

Further information

Course web

Further information about the course can be found on the Course web at the link below. Information on the Course web will later be moved to this site.

Course web ID1015

Offered by

ICT/Software and Computer Systems

Main field of study


Education cycle

First cycle

Add-on studies

No information inserted


Magnus Boman

Supplementary information

The course is canceled from fall 2011