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-12403
Ansökan stängd. Sen anmälan öppnar 15 juli 2022.

Studietakt
50%
Undervisningstid
Dag
Studieort
Göteborg
Undervisningsform
Campus
Undervisningsspråk
Svenska
Start/slut
-
Ansökan öppen
-
Anmälningskod
GU-12402
Ansökan stängd. Sen anmälan öppnar 15 juli 2022.

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 165 hp (33 %)