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)
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:
Pass with distinction, Pass, Fail
Responsible department:
Department of Computing Science
Established by:
Faculty Board of Science and Technology, 2014-08-19
Literature
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
Material som tillhandahålls av institutionen/Material provided by the department
Inst för datavetenskap/Dept. of Computing Science :