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

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

(

**9793**views)

**Foundations of Computation**

by

**Carol Critchlow, David Eck**-

**Hobart and William Smith Colleges**

The book covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers automata, formal languages, and grammar that would ordinarily be encountered in an upper level course.

(

**15262**views)

**Concrete Abstractions: An Introduction to Computer Science Using Scheme**

by

**Max Hailperin, Barbara Kaiser, Karl Knight**-

**Course Technology**

The book Concrete Abstractions covers the programming and data structures basics. It will give first-time computer science students the opportunity to not only write programs, but to prove theorems and analyze algorithms as well.

(

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

(

**7853**views)