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
Mathematical Foundations of Computer Scienceby Susan Rodger - Duke University
These lecture notes present an introduction to theoretical computer science including studies of abstract machines, the language hierarchy from regular languages to recursively enumerable languages, noncomputability and complexity theory.
(19204 views)
GRE Computer Science Test Practice Book- Educational Testing Service
This book contains one actual, full-length GRE Computer Science Test and test-taking strategies. The test consists of about 70 multiple-choice questions, some of which are grouped in sets and based on diagrams, graphs, and program fragments.
(21689 views)
Handbook of Knowledge Representationby 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.
(14998 views)
Rough set data analysis: A road to non-invasive knowledge discoveryby 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.
(19040 views)