**Foundations of Computation**

by Carol Critchlow, David Eck

**Publisher**: Hobart and William Smith Colleges 2011**Number of pages**: 256

**Description**:

The first half of the course covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers material on automata, formal languages, and grammar that would ordinarily be encountered in an upper level course in theoretical computer science.

Download or read it online for free here:

**Download link**

(1.7MB, PDF)

## Similar books

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

(

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

(

**3419**views)

**Computer Science: Abstraction to Implementation**

by

**Robert M. Keller**-

**Harvey Mudd College**

This book is intended for a second course in computer science, one emphasizing principles wherever it seems possible. It is not limited to programming, it attempts to use various programming models to explicate principles of computational systems.

(

**20525**views)

**Computer Science I**

by

**Chris Bourke**-

**University of Nebraska - Lincoln**

A draft of text book for Computer Science I, covering CS1 topics in a generic manner using psuedocode with supplemental parts for specific languages. Computer Science is not programming. Programming is a necessary skill, but it is only the beginning.

(

**6447**views)