Logo

Delftse Foundations of Computation

Small book cover: Delftse Foundations of Computation

Delftse Foundations of Computation
by

Publisher: TU Delft Open
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.

Home page url

Download or read it online for free here:
Download link
(5.1MB, PDF)

Similar books

Book cover: Foundations of Computer ScienceFoundations of Computer Science
by - 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.
(16159 views)
Book cover: Insight into Theoretical and Applied InformaticsInsight into Theoretical and Applied Informatics
by - De Gruyter Open
The objective of this book is to provide the reader with all the necessary elements to get him or her started in the modern field of informatics and to allow him or her to become aware of the relationship between key areas of computer science.
(2905 views)
Book cover: A Computer Science Tapestry: Exploring Computer Science with C++A Computer Science Tapestry: Exploring Computer Science with C++
by - 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.
(15041 views)
Book cover: Advances in Knowledge RepresentationAdvances in Knowledge Representation
by - InTech
A compilation of research works on topics such as concept theory, positive relational algebra and k-relations, structured, visual and ontological models of knowledge representation, and detailed descriptions of applications to various domains.
(7773 views)