"False"
Skip to content
printicon
Main menu hidden.
Syllabus:

Logic and formal methods, 7.5 Credits

Swedish name: Logik och formella metoder

This syllabus is valid: 2016-01-18 and until further notice

Course code: 1FL069

Credit points: 7.5

Education level: First cycle

Main Field of Study and progress level: Philosophy: First cycle, has less than 60 credits in first-cycle course/s as entry requirements

Grading scale: Three-grade scale

Responsible department: Department of Historical, Philosophical and Religious Studies

Revised by: Head of Department of Historical, Philosophical and Religious Studies, 2016-01-19

Literature

Valid from: 2017 week 9

Diskret matematik och diskreta modeller
Eriksson Kimmo, Gavel Hillevi
2. uppl. : Lund : Studentlitteratur : 2013 : 327 s. :
ISBN: 9789144089997
Mandatory
Search the University Library catalogue

Language, Proof and Logic med tillhörande programvara
Barker-Plummer D, Barwise J, Etchemendy J
Chicago: The University of Chicago Press : 2011 :
Mandatory