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
Revised by: Faculty Board of Science and Technology, 2022-09-09
Literature
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 Mandatory Search the University Library catalogue
