View your schedule and courses
Edit content at umu.se
Swedish name: DV4: Datavetenskaplig logik
This syllabus is valid: 2015-05-11 valid to 2022-10-30 (newer version of the syllabus exists)
Syllabus for courses starting after 2022-10-31
Syllabus for courses starting before 2022-10-30
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: Three-grade scale
Responsible department: Department of Computing Science
Established by: Faculty Board of Science and Technology, 2014-08-19
Logic in computer science : modelling and reasoning about systemsHuth Michael, Ryan Mark2. ed. : Cambridge : Cambridge Univ. Press : 2004 : xiv, 427 s. : ISBN: 0-521-54310-XSearch the University Library catalogue
Material som tillhandahålls av institutionen/Material provided by the departmentInst för datavetenskap/Dept. of Computing Science :
