Logisk teori - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se
Under morgonen den 21 november går det inte att söka efter kursplaner och litteraturlistor pga en uppdatering.
Onsdag 20 november 21:54

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