Mathematical Logic
Uppsala University
Uppsala
Startdatum:
Slutdatum:
Studietakt: 33 %
Publicerad utbildningskatalog
Mathematical Logic
Utbildningsinformation från den publicerade källan. Utbildningen och dess tidsbundna tillfällen hålls åtskilda.
Utbildningsfakta
Kod: 1MA213
The course deals with the formal language of first-order logic, basic model theory and recursion theory. Since logic has applications in computer science, this course is also recommended for students in computer science who want to expand their knowledge in mathematics.
Behörighet
60 credits in mathematics. Participation in Basic Ring Theory or Set Theory.
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: 2026-03-09T12:14:23