Logic and formal methods
Umeå University
Startdatum:
Slutdatum:
Studietakt: 50 %
Publicerad utbildningskatalog
Logic and formal methods
Utbildningsinformation från den publicerade källan. Utbildningen och dess tidsbundna tillfällen hålls åtskilda.
Utbildningsfakta
Kod: 1FL126
Kursen behandlar: *Logik* Språket för första ordningens predikatlogik, logisk sanning och logisk konsekvens, härledbarhet och bevisbarhet. *Matematik* Mängdlära, aritmetik, rekursion och induktion, relationer och funktioner. Studenterna kommer, i olika sammanhang, att få redogöra för kognitionsvetarens olika arbetsområden samt synliggöra kognitionsvetarens kompetenser och utbildningen för utomstående. På kursen genomförs två skriftliga prov: Matematik 3 hp och Logik 4,5 hp. Se vidare under Examination.
Behörighet
General entry requirements + Mathematics 2a or 2b or 2c or level 2a or 2b or 2c, Civics 1b or 1a1+1a2 or level 1b or 1a1+1a2
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-28T08:15:30