Mathematics III - Logic
Stockholm University
Startdatum:
Slutdatum:
Studietakt: 50 %
Publicerad utbildningskatalog
Mathematics III - Logic
Utbildningsinformation från den publicerade källan. Utbildningen och dess tidsbundna tillfällen hålls åtskilda.
Utbildningsfakta
Kod: MM5024
The course treats propositional and predicate logic, inductively defined sets, formal languages, substitution, semantics, natural deduction. The soundness and completeness with respect to the semantics is proved and applied on various problems.
Behörighet
Admission to the course requires knowledge equivalent to 60 credits in mathematics, where Mathematics II - Algebra and Combinatorics, 7.5 credits (MM5013), or equivalent, is included.
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-08-18T14:31:36