Mathematical Logic for Computer Science
Mälardalen University
Startdatum:
Slutdatum:
Studietakt: 50 %
Publicerad utbildningskatalog
Mathematical Logic for Computer Science
Utbildningsinformation från den publicerade källan. Utbildningen och dess tidsbundna tillfällen hålls åtskilda.
Utbildningsfakta
Kod: 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>
Behörighet
Discrete Mathematics, 7.5 credits, of which 3 credits must be completed at the beginning of the course, or the equivalent.
Utbildningstillfällen
Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.
Källa och uppdatering
Hämtad: .
Publicerad: .
Visa källversion
Publiceringsversion: 8e217193-f5fa-4778-b085-a4521fd03e8d
Kontrollsumma: 1b0dc54c0fc8a359f83ba9dc8f9d468479ce432de4c03bce3b8b33dd67fe3f6c
Senast ändrad enligt källan: 2025-03-14T10:53:44