Syllabus:

Foundations of Logic and Model Theory, 7.5 credits

Swedish name: Grundläggande logik och modellteori

This syllabus is valid: 2009-01-19 valid to 2011-06-12 (newer version of the syllabus exists)

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

Syllabus for courses starting after 2020-08-24

Syllabus for courses starting between 2011-10-31 and 2020-08-23

Syllabus for courses starting between 2011-06-13 and 2011-10-30

Syllabus for courses starting before 2011-06-12

Course code: 5DV102

Credit points: 7.5

Education level: First cycle

Main Field of Study and progress level: Computing Science: First cycle, has less than 60 credits in first-cycle course/s as entry requirements

Grading scale: Pass with distinction, Pass with merit, Pass, Pass with distinction, Pass, Fail

Responsible department: Department of Computing Science

Literature

Valid from: 2011 week 1

Logic in computer science : modelling and reasoning about systems
Huth Michael, Ryan Mark
2. ed. : Cambridge : Cambridge Univ. Press : 2004 : xiv, 427 s. :
ISBN: 0-521-54310-X
Mandatory
Search the University Library catalogue

Valid from: 2009 week 4

Logic in computer science : modelling and reasoning about systems
Huth Michael, Ryan Mark
2. ed. : Cambridge : Cambridge Univ. Press : 2004 : xiv, 427 s. :
ISBN: 0-521-54310-X
Search the University Library catalogue