**Foundations of Computer Science**

by Hans-Peter Bischof

1998

**Description**:

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.

Download or read it online for free here:

**Read online**

(online html)

## Similar books

**Common LISP: A Gentle Introduction to Symbolic Computation**

by

**David S. Touretzky**-

**Benjamin-Cummings Pub Co**

This is a gentle introduction to Common Lisp for students taking their first programming course. No prior mathematical background beyond arithmetic is assumed. There are lots of examples, the author avoided technical jargon.

(

**26876**views)

**Introduction to High-Performance Scientific Computing**

by

**Victor Eijkhout**-

**University of Texas**

A computational scientist needs knowledge of several aspects of numerical analysis and discrete mathematics. This text covers: computer architecture, parallel computers, machine arithmetic, numerical linear algebra, applications.

(

**13714**views)

**Foundations 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.

(

**22868**views)

**Building Blocks for Theoretical Computer Science**

by

**Margaret M. Fleck**-

**University of Illinois, Urbana-Champaign**

This book provides a survey of basic mathematical objects, notation, and techniques useful in later computer science courses. It gives a brief introduction to some key topics: algorithm analysis and complexity, automata theory, and computability.

(

**11938**views)