Logik: Formella språk - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Logik: Formella språk

Grundnivå | 7.5 hp | Kurskod: LC1510
HT 2020
50% Dag
Göteborg
Period: 31 augusti 2020 - 2 november 2020
VT 2021
50% Dag
Göteborg
Period: 18 januari 2021 - 24 mars 2021
Öppnar 15 september GU-22408

Om kursen

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.

Kursplan

LC1510

Behörighet och urval

Förkunskapskrav: Grundläggande behörighet

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

Studievägledning

 

studievagledning@flov.gu.se

Institution

Institutionen för filosofi, lingvistik och vetenskapsteori
Box 200
40530 Göteborg
Besöksadress: Renströmsgatan 6

Sidansvarig: Pontus Sundén
Sidan uppdaterades: 2020-02-18 14:41

Tipsa en vän
Sidan i utskriftsvänlig version

Sidansvarig: Pontus Sundén|Sidan uppdaterades: 2019-01-10
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?