Logik och formella metoder 7,5 hp

Om kursen

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.