Tillfället ingår inte i den aktuella katalogen. Uppgifterna är bevarade från en tidigare publicering. Kontrollera aktuellt utbud hos anordnaren.
Umeå University
Logic and formal methods
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…
- Högskoleutbildning
- Uppgift saknas
- 25 mars 2027
- Uppgift saknas
- Uppgift saknas
- 50 %
Översikt
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.
Antagningspoäng
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
Texten återges från Susa-underlaget. Antagningsdata gör ingen egen mappning mellan GY11 och GY25 och bedömer inte personlig behörighet.
Källa, mått och datakvalitet
- Källa
- Skolverket Susa-navet
- Period
- 2027-03-25
- Mått
- Behörighetstext återgiven från publicerat Susa-underlag; ingen personlig behörighetsbedömning.
- Population
- Utbildningstillfälle e.uoh.umu.1fl126.1300g.20271
- Senaste kontroll
- 2026-09-23T10:39:22.250813+00:00
- Begränsning
- GY11 och GY25 mappas inte av Antagningsdata. Grundläggande och särskilda villkor separeras inte utan strukturerat underlag.
Utbildningens innehåll
Studiernas upplägg
Ansökan och viktiga datum
- Utbildningen startar
- Utbildningen slutar
Lön och lönefördelning
Vanliga yrken efter utbildningen
Studenterna
Geografisk bakgrund
Tidigare gymnasieskolor och program
Genomströmning och utfall
Om anordnaren
Källor och datakvalitet
Utbildningsfakta för valt tillfälle kommer från Skolverket Susa-navet.
Hämtad . Publicerad . Tider visas i svensk tid.
Källidentitet och publiceringsversion
- Publiceringsversion
- 8e217193-f5fa-4778-b085-a4521fd03e8d
- Utbildningsidentitet hos källan
- i.uoh.umu.1fl126.1300g.20271
- Tillfällesidentitet hos källan
- e.uoh.umu.1fl126.1300g.20271
- Utbildningsformens källkod
- HS
- Utbildningskod hos källan
- 1FL126
- Ändringstid enligt källan
- 2026-01-28T08:15:30
Anordnare, utbildning och utbildningstillfälle är separata identiteter. Uppgifter om ansökan bör kontrolleras på den officiella webbplatsen. Kompletterande statistik har inte hämtats från denna källa.