Syllabus:

Logic and formal methods, 7.5 Credits

Swedish name: Logik och formella metoder

This syllabus is valid: 2018-12-31 valid to 2019-01-06 (newer version of the syllabus exists)

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: Three-grade scale

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.