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:
2018-12-31
valid to
2019-01-06
(newer version of the syllabus exists)
Syllabus for courses starting before 2019-01-06
Course code:
1FL109
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, 2018-09-03
Literature
The literature list is not available through the web. Please contact the faculty.