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

Kursen ges inte som fristående kurs detta läsår, men kan ingå i program/kurspaket. För information kontakta institutionen.

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

Studievägledning

Peter Johnsen
Kontaktformulär
031 - 786 5213
Renströmsgatan 6

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?

Denna text är utskriven från följande webbsida:
http://utbildning.gu.se/kurser/kurs_information/?courseid=LOG130
Utskriftsdatum: 2020-05-28