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

**Common LISP: A Gentle Introduction to Symbolic Computation**

by

**David S. Touretzky**-

**Benjamin-Cummings Pub Co**

This is a gentle introduction to Common Lisp for students taking their first programming course. No prior mathematical background beyond arithmetic is assumed. There are lots of examples, the author avoided technical jargon.

(

**27641**views)

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

(

**7403**views)

**Rough set data analysis: A road to non-invasive knowledge discovery**

by

**Ivo Düntsch, Günther Gediga**-

**Methodos Publishers (UK)**

In this book the authors present an overview of the work they have done on the foundations and details of data analysis, the first attempt to do this in a non-invasive way. It is a look at data analysis from many different angles.

(

**17036**views)

**Handbook of Knowledge Representation**

by

**Frank van Harmelen, Vladimir Lifschitz, Bruce Porter**-

**Elsevier Science**

Knowledge Representation is concerned with encoding knowledge on computers to enable systems to reason automatically. The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation.

(

**12775**views)