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

Modallogik

Avancerad nivå | 7.5 hp | Kurskod: LOG130
HT 2019
50% Dag
Göteborg
Period: 5 november 2019 - 19 januari 2020
UNDERVISNINGSSPRÅK: Engelska
Kommentar: Observera att undervisningsspråket är justerat mot tidigare utannonserat

Om kursen

Kursen ger en huvudsakligen semantiskt orienterad introduktion till modern modal satslogik och Kripkesemantik. Den erbjuder både en solid matematisk grund och en introduktion till några av de många tillämpningar som finns inom exempelvis filosofi, metamatematik och datavetenskap. Kursen är huvudsakligen teoretiskt orienterad, men innehåller också rent färdighetstränande moment.

Kursplan

LOG130

Behörighet och urval

Förkunskapskrav: För tillträde till kursen krävs motsvarande kandidatexamen i något av ämnena filosofi, matematik, lingvistik, datavetenskap eller motsvarande. Bekantskap med grundläggande matematisk logik, upp till en presentation av fullständighetssatsen för första ordningens logik, förutsätts.

Urval: Högskolepoäng, max 225 hp

Studievägledning

Peter Johnsen
Kontaktformulär
031 - 786 5213
Olof Wijksgatan 6

Kursen ges vid

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

Sidansvarig: Pontus Sundén
Sidan uppdaterades: 2018-06-15 12:12

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?