Navigated to
Syllabus:

Logic and formal methods, 7.5 credits

The course is discontinued from 2025-05-08

Swedish name: Logik och formella metoder
This syllabus is valid: 2008-01-21 valid to 2016-01-17 (newer version of the syllabus exists)
Syllabus for courses starting before 2016-01-17
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: Pass with distinction, Pass, Fail
Responsible department: Department of Historical, Philosophical and Religious Studies

Literature

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

Diskret matematik och diskreta modeller. n D. 1
Eriksson Kimmo, Gavel Hillevi
Lund : Studentlitteratur : 2002 : ix, [1], 355 s. :
ISBN: 91-44-02465-7
Mandatory
Search the University Library catalogue

Diskret matematik och diskreta modeller. n D. 1
Eriksson Kimmo, Gavel Hillevi
Lund : Studentlitteratur : 2002 : ix, [1], 355 s. :
ISBN: 91-44-02465-7
Mandatory
Search the University Library catalogue