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 2025
-
Scope
7.5 credits
Time
2025-11-10 - 2026-01-18 (part time 50%)
Education level
First cycle
Course type
Freestanding course
Application code
MDU-21159
Language
English
Study location
Västerås
Course syllabus & literature
See course plan 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