Logical theory
University of Gothenburg
Startdatum:
Slutdatum:
Studietakt: 50 %
Publicerad utbildningskatalog
Logical theory
Utbildningsinformation från den publicerade källan. Utbildningen och dess tidsbundna tillfällen hålls åtskilda.
Utbildningsfakta
Kod: LOG111
The course provides a solid foundation in the theory formation of logic through a comprehensive presentation of syntax, semantics and proof systems for propositional logic and classical first-order predicate logic. As examples of other logics, second-order and intuitionistic logic are presented together with completeness results. Basic proof theory is introduced and lead up to a proof of normalisation for natural deduction. Gödel's incompleteness theorems and basic recursion theory are also included. The course does not require mathematical skills, but it is an advantage if you have the habit of reading mathematical text.
Behörighet
Admission to the course requires successful completion of - at least 60 credits in total in the subject areas mathematics, logic, computer science or formal linguistics, or - at least 90 credits in philosophy or linguistics, and at least 30 credits in total in the subject areas mathematics, logic, computer science or formal linguistics, or equivalent knowledge. 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: 2025-09-09T07:02:21