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

Logisk teori

Avancerad nivå | 15 hp | Kurskod: LOG110
HT 2019
50% Dag
Göteborg
Period: 2 september 2019 - 19 januari 2020
UNDERVISNINGSSPRÅK: Engelska
Kommentar: Observera att undervisningsspråket är justerat mot tidigare utannonserat
Stängd GU-15960

Om kursen

Kursen ger en stabil grund i logikens teoribildning genom en utförlig presentation av syntax, semantik och bevissystem för satslogik och klassisk första ordningens predikatlogik. Som exempel på andra logiker presenteras andra ordningens logik och intuitionistisk logik inklusive fullständighetssatser. Grundläggande bevisteori introduceras och leder fram till ett bevis av normalisering för naturlig deduktion. I kursen ingår även Gödels ofullständighetssatser samt grundläggande rekursionsteori. Kursen förutsätter inga matematiska färdigheter, men det är en fördel om man har vana att läsa matematisk text.

Kursplan

LOG110

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.

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: 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?