Syllabus, Foundations of Logic and Model Theory

Syllabus:

Foundations of Logic and Model Theory, 7.5 Credits

Swedish name: Grundläggande logik och modellteori

This syllabus is valid: 2011-06-13 valid to 2011-10-30 (newer version of the syllabus exists)

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

Valid from: 2011 week 39

Ben-Ari Mordechai
Mathematical logic for computer science
2. uppl. : London : Springer : 2001 : xiv, 304 s :
ISBN: 1-85233-319-7
Mandatory
Valid from: 2011 week 24

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