Mathematical Logic for Computer Science
The aim of course is to introduce the basic concepts of mathematical logic necessary to continue studies in computer science, logic and mathematics. The course provides practice in logical thinking as well as the independent analysis and solution of logical problems.
Occasions for this course
Autumn semester 2026
-
Scope
7.5 credits
Time
2026-11-09 - 2027-01-17 (part time 50%)
Education level
First cycle
Course type
Freestanding course
Application code
MDU-10159
Language
English
Study location
Västerås
Course syllabus & literature
See course syllabus and literature list (MMA130)Specific requirements
Discrete Mathematics, 7.5 credits, of which 3 credits must be completed at the beginning of the course, or the equivalent.
Selection
Upper secondary (high school) grades, Swedish Scholastic Aptitude Test, University credits
Questions about the course?
If you have any questions about the course, please contact the Course Coordinator.