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

(

**16831**views)

**A Computer Science Tapestry: Exploring Computer Science with C++**

by

**Owen L. Astrachan**-

**McGraw - Hill**

This book is designed for a first course in computer science that uses C++ as the programming language. The goal was to leverage the best features of the language using sound practices of programming and pedagogy in the study of computer science.

(

**15530**views)

**Introduction to Computer Science using Java**

by

**Bradley Kjell**-

**Central Connecticut State University**

The text for a first course in computer science using the programming language Java. It covers the fundamentals of programming and of computer science. It is assumed that you have the Java version 5.0 or later and a text editor such as Notepad.

(

**22899**views)

**Introduction to High-Performance Scientific Computing**

by

**Victor Eijkhout**-

**University of Texas**

A computational scientist needs knowledge of several aspects of numerical analysis and discrete mathematics. This text covers: computer architecture, parallel computers, machine arithmetic, numerical linear algebra, applications.

(

**10879**views)