Mathematical Logic for Computer Science
Mälardalen University
Start date:
End date:
Pace of study: 50 %
Published education catalogue
Mathematical Logic for Computer Science
Education information from the published source. The education record and its time-bound offerings are kept separate.
Education facts
Code: MMA130
<p>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. </p>
Entry requirements
Discrete Mathematics, 7.5 credits, of which 3 credits must be completed at the beginning of the course, or the equivalent.
Education offerings
Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.
Source and updates
Retrieved: .
Published: .
Show source version
Publication version: 8e217193-f5fa-4778-b085-a4521fd03e8d
Checksum: 1b0dc54c0fc8a359f83ba9dc8f9d468479ce432de4c03bce3b8b33dd67fe3f6c
Last changed according to the source: 2025-03-14T10:53:44