**Concrete Abstractions: An Introduction to Computer Science Using Scheme**

by Max Hailperin, Barbara Kaiser, Karl Knight

**Publisher**: Course Technology 1998**ISBN/ASIN**: 0534952119**ISBN-13**: 9780534952112**Number of pages**: 670

**Description**:

This text covers the basics of programming and data structures, and gives first-time computer science students the opportunity to not only write programs, but to prove theorems and analyze algorithms as well.

Download or read it online for free here:

**Download link**

(2.5MB, PDF)

## Similar books

**A New Kind of Science**

by

**Stephen Wolfram**-

**Wolfram Media**

Starting from a collection of simple computer experiments -- illustrated in the book by striking computer graphics -- Wolfram shows how their unexpected results force a whole new way of looking at the operation of our universe.

(

**13570**views)

**Mathematical Foundations of Computer Science**

by

**Susan Rodger**-

**Duke University**

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.

(

**16502**views)

**Foundations of Computation**

by

**Carol Critchlow, David Eck**-

**Hobart and William Smith Colleges**

The book covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers automata, formal languages, and grammar that would ordinarily be encountered in an upper level course.

(

**15254**views)

**Delftse Foundations of Computation**

by

**Stefan Hugtenburg, Neil Yorke-Smith**-

**TU Delft Open**

This is a textbook for a one quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to CS.

(

**6112**views)