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

Show earlier/later versions of this syllabus Hide revision history for this syllabus

Syllabus for courses starting before

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/level 2a or 2b or 2c, Civics 1b or 1a1+1a2/level 1b or 1a1+1a2

Literature

Valid from: 2024-11-18

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

Parsons Terence
An Exposition of Symbolic Logic: With Kalish-Montague Derivations
2013 :
Mandatory

Valid from: 2024 week 47

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

Valid from: 2022 week 45

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