Stockholm university
Gå till denna sida på svenska webben

Logic for Computer Science

This course is an introduction to the principles of correct reasoning as they are manifested in various uses of languages.

Normal analysis can compensate for the usual ambiguity of normal human reasoning and uncertainties of the human cognition.  Furthermore, it can increase the understanding of human communication and assist in avoiding many misunderstandings and misconceptions in real life situations and facilitate the analysis of argumentation and decision-making.

The course focuses on formal logic and practical applications thereof with the purpose of getting a better capacity to understand many fallacies in reasoning and to practice deductive thinking. To be able to do this, some knowledge of formal languages and rules of deduction is inevitable.

  • Course structure

    Teaching format

    The teaching consists of lectures and supervision.


    The course is examined as follows: 

    • written examination
    • written assignments 


  • Schedule

    The schedule will be available no later than one month before the start of the course. We do not recommend print-outs as changes can occur. At the start of the course, your department will advise where you can find your schedule during the course.
  • Course literature

    Note that the course literature can be changed up to two months before the start of the course.

  • Contact

    This course is part of a programme and is not available for application as a stand-alone course.

    Find more information about Master’s programmes here

    If you are a student at one of our Master’s programmes and have questions about the course, please contact the student counsellors