Syllabus:

CS4: Logic for computer science, 7.5 Credits

Swedish name: DV4: Datavetenskaplig logik

This syllabus is valid: 2015-05-11 valid to 2022-10-30 (newer version of the syllabus exists)

Course code: 5DV163

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, Fail

Responsible department: Department of Computing Science

Established by: Faculty Board of Science and Technology, 2014-08-19

Literature

Valid from: 2016 week 25

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
Valid from: 2015 week 33

Material som tillhandahålls av institutionen/Material provided by the department
Inst för datavetenskap/Dept. of Computing Science :