Logik och formella metoder, 7,5 hp

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.