Welcome to E-Books Directory
This is a freely downloadable e-book.

Introduction to Logic in Computing Science

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.

 Download or read it online here:

Download link

 (620KB, PDF)