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

(

**5110**views)

**Computational and Inferential Thinking: The Foundations of Data Science**

by

**Ani Adhikari, John DeNero**

Data Science is about drawing useful conclusions from large and diverse data sets through exploration, prediction, and inference. Our primary tools for exploration are visualizations and descriptive statistics, for prediction are machine learning ...

(

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

(

**21321**views)

**Computer Science Concepts in Scratch**

by

**Michal Armoni, Moti Ben-Ari**-

**Weizmann Institute of Science**

This book will familiarize you with the Scratch visual programming environment, focusing on using Scratch to learn computer science. Each concept is introduced in order to solve a specific task such as animating dancing images or building a game.

(

**5779**views)