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 2024
-
Apply for freestanding course to Mathematical Logic for Computer Science to Autumn semester 2024 (part time 50%) to Mathematical Logic for Computer Science to Autumn semester 2024 (part time 50%) Apply for programme course
Scope
7.5 credits
Time
2024-11-11 - 2025-01-19 (part time 50%)
Education level
First cycle
Course type
Freestanding course, Programme 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