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

**A Machine Made this Book: Ten Sketches of Computer Science**

by

**John Whitington**-

**Coherent Press**

Using examples from the publishing industry, Whitington introduces the fascinating discipline of Computer Science to the uninitiated. Chapters: Putting Marks on Paper; Letter Forms; Storing Words; Looking and Finding; Typing it In; Saving Space; etc.

(

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

(

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

(

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

(

**27259**views)