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.
Assessment
The course is examined as follows:
- written examination
- written assignments
Examiner
-
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
