Syllabus:
CS4: Logic for computer science, 7.5 credits
Swedish name:
DV4: Datavetenskaplig logik
This syllabus is valid:
2022-10-31
and until further notice
Syllabus for courses starting after 2022-10-31
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
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