Logic for Computer Science
7.5 credits cr.
- Gå till denna sida på svenska webben
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.
The teaching consists of lectures and supervision.
The course is examined as follows:
- written examination
- written assignments
ScheduleThe 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 literatureNote that the course literature can be changed up to two months before the start of the course.
This course is part of a programme and is not available for application as a stand-alone course.
If you are a student at one of our Master’s programmes and have questions about the course, please contact the student counsellors