Monday, 26 August 2013

Introduction to Logic in Computing Science by H. James Hoover, Piotr Rudnicki Publisher: University of Alberta 2002

Number of pages: 205
Description:
The goal of this course is to introduce you to the logical and mathematical tools for reasoning about algorithms. Being able to effectively use these tools makes the difference between being a programming hack and a computing scientist.

No comments:

Post a Comment