Philosophy of Computer Science: An Introductory Course by William J. Rapaport

A textbook on the philosophy of computer science. It is based on a course the author created for the Department of Computer Science and Engineering and the Department of Philosophy at the State University of New York at Buffalo

Download

Introduction to Computing - Explorations in Language, Logic, and Machines by David Evans

Focuses on how to describe information processes by defining procedures, how to analyze the costs required to carry out a procedure, and the fundamental limits of what can and cannot be computed mechanically

Download