Proof theory
University of Gothenburg
Startdatum:
Slutdatum:
Studietakt: 50 %
Publicerad utbildningskatalog
Proof theory
Utbildningsinformation från den publicerade källan. Utbildningen och dess tidsbundna tillfällen hålls åtskilda.
Utbildningsfakta
Kod: LOG221
Beskrivning saknas i den publicerade källan.
Behörighet
For admission to the course successful completion of at least 7.5 credits of Logical theory (LOG111) or Logic in Computer Science (DAT060 or DIT201), or the equivalent, is required. English 6 or equivalent is also required.
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-01-27T08:33:42