Syllabus:
Logic and formal methods, 7.5 credits
Swedish name:
Logik och formella metoder
This syllabus is valid:
2022-05-30
and until further notice
Course code:
1FL126
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
Established by:
Faculty director of studies, Faculty of arts, 2021-11-30
Required Knowledge
General entry requirements and Mathematics 2a or 2b or 2c, Civics 1b or 1a1+1a2Literature
Diskret matematik och diskreta modeller
Eriksson Kimmo, Gavel Hillevi
2. uppl. : Lund : Studentlitteratur : 2013 : 327 s. :
ISBN: 9789144089997
Mandatory
Search the University Library catalogue
Parsons Terence
An Exposition of Symbolic Logic: With Kalish-Montague Derivations
2013 :
Mandatory
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