Skip to content
Main menu hidden.

CS4: Logic for computer science, 7.5 Credits

Swedish name: DV4: Datavetenskaplig logik

This syllabus is valid: 2022-10-31 and until further notice

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

Revised by: Faculty Board of Science and Technology, 2022-09-09


Valid from: 2022 week 44

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