Hoppa direkt till innehållet
printicon
Huvudmenyn dold.
Kursplan:

Logik och formella metoder, 7,5 hp

Engelskt namn: Logic and formal methods

Denna kursplan gäller: 2021-06-07 och tillsvidare

Kurskod: 1FL109

Högskolepoäng: 7,5

Utbildningsnivå: Grundnivå

Huvudområden och successiv fördjupning: Filosofi: Grundnivå, har mindre än 60 hp kurs/er på grundnivå som förkunskapskrav

Betygsskala: För denna kurs ges betygen VG Väl godkänd, G Godkänd, U Underkänd

Beslutad av: Utbildningsledaren för humanistiska fakulteten, 2018-09-03

Reviderad av: Prefekten för Institutionen för idé- och samhällsstudier, 2021-06-09

Innehåll

Kursen behandlar:

Logik
Språket för första ordningens predikatlogik, logisk sanning och logisk konsekvens, härledbarhet och bevisbarhet.

Matematik
Mängdlära, aritmetik, rekursion och induktion, relationer och funktioner.

Studenterna kommer, i olika sammanhang, att få redogöra för kognitionsvetarens olika arbetsområden samt synliggöra kognitionsvetarens kompetenser och utbildningen för utomstående.

På kursen genomförs två skriftliga prov: Matematik 3 hp och Logik 4,5 hp. Se vidare under Examination.

Förväntade studieresultat

Efter avslutad kurs förväntas studenten:

Kunskap och förståelse
-
behärska grundläggande begrepp inom mängdlära och aritmetik
-uppvisa en grundläggande förståelse för hur logik och matematik är en del av kognitionsvetenskap

Färdighet och förmåga
- kunna analysera den logiska formen hos en slutledning genom att översätta den till språket för första ordningens predikatlogik
- kunna visa att en slutledning är giltig genom att härleda dess slutsats från dess premisser
- kunna visa att en slutledning är ogiltig genom att konstruera en modell i vilken slutledningens premisser är sanna och dess slutsats falsk
- kunna lösa enkla uppgifter inom mängdlära och aritmetik
- uppvisa förmåga till hållbar argumentation och bevisföring

Behörighetskrav

Univ: Matematik B, Samhällskunskap A. Eller: Matematik 2a / 2b / 2c, Samhällskunskap 1b / 1a1+1a2 (områdesbehörighet 5/A5)

Undervisningens upplägg

Undervisningen sker i form av föreläsningar, lektioner, gruppövningar och laborationer. Uppnående av de förväntade studieresultaten förutsätter aktivt deltagande i undervisningen samt aktivt eget arbete.
Deltagande i kursen kräver tillgång till dator med windows 10 eller MacOS

Examination

Examinationen består av två skriftliga prov om 3 respektive 4,5 hp. På hel kurs sätts något av betygen Underkänd (U), Godkänd (G) eller Väl Godkänd (VG). Betyget sätts först när alla obligatoriska examinerande uppgifter är godkända. För att erhålla betyget VG på hel kurs krävs att båda de ingående skriftliga proven fått betyget VG. För betyget G krävs att de båda skriftliga proven minst fått betyget G.

Studerande som godkänts i prov har inte rätt att genomgå prövning för högre betyg. För de studerande som inte godkänts vid det ordinarie provtillfället anordnas ett omprov inom två månader efter ordinarie provtillfälle, samt ytterligare ett inom ett år, så kallat uppsamlingsprov. För prov som genomförs under maj och juni månad erbjuds första omprovet inom tre månader efter ordinarie provtillfälle.

I det fall att kursplan upphör att gälla eller genomgår större förändringar, garanteras studenter minst tre provtillfällen (inklusive ordinarie provtillfälle) enligt föreskrifterna i den kursplan som studenten ursprungligen varit kursregistrerad på under en tid av maximalt två år från det att tidigare kursplan upphört att gälla eller kursen slutat erbjudas. Studerande har rätt att avlägga prov maximalt fem gånger.

Studerande som två gånger underkänts i prov har rätt att hos humanistiska fakultetsnämnden begära att annan examinator utses att bestämma betyg.

Övriga föreskrifter

Kursen ingår i kurspaketet Vetenskapligt tänkande och vetenskapligt arbetssätt som utgör termin 2 av kandidatprogrammet i kognitionsvetenskap. Kursen kan även läsas som fristående kurs. Kursen kan ingå som en kurs på grundnivå i en kandidat-, magister- eller masterexamen.

Litteratur

Giltig från: 2021 vecka 23

Matematik

Diskret matematik och diskreta modeller
Eriksson Kimmo, Gavel Hillevi
2. uppl. : Lund : Studentlitteratur : 2013 : 327 s. :
ISBN: 9789144089997
Obligatorisk
Se bibliotekskatalogen Album
Läsanvisning: Ett urval ur kapitel 1-6 och 8

Logik

Language, Proof and Logic med tillhörande programvara
Barker-Plummer D, Barwise J, Etchemendy J
Chicago: The University of Chicago Press : 2011 :
Obligatorisk
Läsanvisning: Introduktionen och ett urval ur kapitel 1-13. OBS! Studenter måste köpa ett eget exemplar av boken för att få tillgång till den tillhörande programvara som används för både undervisning och examination.