Text

Mathematical Logic for Computer Science

  • Credits 7.5  credits
  • Education level First cycle
  • Study location Västerås
  • Course code MMA130
  • Main area Mathematics/Applied Mathematics

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