Mathematical Foundations of Computer Science
by Susan Rodger
Publisher: Duke University 1998
These lecture notes present an introduction to theoretical computer science including studies of abstract machines, the language hierarchy from regular languages to recursively enumerable languages, noncomputability and complexity theory.
Home page url
Download or read it online for free here:
(multiple PDF, PS files)
by Owen L. Astrachan - McGraw - Hill
This book is designed for a first course in computer science that uses C++ as the programming language. The goal was to leverage the best features of the language using sound practices of programming and pedagogy in the study of computer science.
by Lawrence C Paulson - University of Cambridge
This text teaches programming and presents some fundamental principles of computer science, especially algorithm design. The programming in this course is based on the language ML and mostly concerns the functional programming style.
by David Reed - Prentice Hall
The book covers concepts in computing that are most relevant to the beginning student, including computer terminology, the Internet and World Wide Web, the history of computing, the organization and manufacture of computer technology, etc.
by Hans-Peter Bischof
This text is an introduction to the formal study of computation. The course will provide students with a broad perspective of computer science and will acquaint them with various formal systems on which modern computer science is based.