Högskola och universitet hos Umeå universitet, 7,5 högskolepoäng.
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.