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

(

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

(

**10151**views)

**Foundations of Computer Science**

by

**Lawrence C Paulson**-

**University of Cambridge**

This text teaches programming and presents some fundamental principles of computer science, especially algorithm design. The programming in this course is based on the language ML and mostly concerns the functional programming style.

(

**15365**views)

**A New Kind of Science**

by

**Stephen Wolfram**-

**Wolfram Media**

Starting from a collection of simple computer experiments -- illustrated in the book by striking computer graphics -- Wolfram shows how their unexpected results force a whole new way of looking at the operation of our universe.

(

**7678**views)