Logic:Formal Languages
University of Gothenburg
Startdatum:
Slutdatum:
Studietakt: 50 %
Publicerad utbildningskatalog
Logic:Formal Languages
Utbildningsinformation från den publicerade källan. Utbildningen och dess tidsbundna tillfällen hålls åtskilda.
Utbildningsfakta
Kod: LC1510
Kursen är en introduktion till logikämnet och ger baskunskaper om formella språk, särskilt predikatlogik och satslogik. Tyngdpunkten ligger på färdighet snarare än abstraktion och du lär dig att hantera logiska formler. Vidare presenteras begrepp som bevisbarhet och logisk konsekvens och du lär dig olika sätt att analysera slutledningar. Kursen ingår som obligatorisk delkurs på fortsättningskursen i teoretisk filosofi. Kursen förutsätter inte matematiska färdigheter, men det är en fördel om man har vana att läsa matematisk text.
Behörighet
General entrance requirements
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-01-17T06:57:14