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 2019
50% Dag
Göteborg
Period: 2 september 2019 - 4 november 2019
Stängd GU-15900
VT 2020
50% Dag
Göteborg
Period: 20 januari 2020 - 25 mars 2020

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

Kursen ges vid

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

Sidansvarig: Kerstin Eiman
Sidan uppdaterades: 2018-06-15 12:12

Tipsa en vän
Sidan i utskriftsvänlig version

Sidansvarig: Kerstin Eiman|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?