Hoppa till huvudinnehåll
Länkstig

Logik: Formella språk

Kurs
LC1510
Grundnivå
7,5 högskolepoäng (hp)
Studietakt
50%
Undervisningstid
Dag
Studieort
Göteborg
Undervisningsform
Campus
Undervisningsspråk
Svenska
Start/slut
-
Ansökan öppen
-
Anmälningskod
GU-22408
Ansökan stängd

Om utbildningen

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.

Det är institutionen för filosofi, lingvistik och vetenskapsteori som ger kursen. Länk till institutionens sidor.

Behörigheter och urval

Förkunskapskrav

Grundläggande behörighet

Urval

Betyg (34 %), högskoleprov (33 %) och högskolepoäng, max 225 hp (33 %).

För antagning till sommaren 2021 och framåt gäller följande urval: betyg (34 %), högskoleprov (33 %) och högskolepoäng, max 165 hp (33 %)