Logic and formal methods

Education facts

Code: 1FL126

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.

Entry requirements

General entry requirements + Mathematics 2a or 2b or 2c or level 2a or 2b or 2c, Civics 1b or 1a1+1a2 or level 1b or 1a1+1a2

Education offerings

Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.

• Logic and formal methods

  Umeå University

  Start date: 25 March 2027

  End date: 6 June 2027

  Pace of study: 50 %