**Delftse Foundations of Computation**

by Stefan Hugtenburg, Neil Yorke-Smith

**Publisher**: TU Delft Open 2018**ISBN-13**: 9789463660839**Number of pages**: 176

**Description**:

Delftse Foundations of Computation 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 computer science. It has no prerequisites other than a general familiarity with computer programming.

Download or read it online for free here:

**Download link**

(5.1MB, PDF)

## Similar books

**Foundations of Computer Science**

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.

(

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

(

**11208**views)

**Essentials of Theoretical Computer Science**

by

**F. D. Lewis**-

**University of Kentucky**

This text is a broad introduction to the field, presented from a computer science viewpoint for computer scientists. This was designed to be used in a one-semester course for senior computer science majors or first year masters students.

(

**13404**views)

**A Balanced Introduction to Computer Science**

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.

(

**34595**views)