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
Building Blocks for Theoretical Computer Science
by Margaret M. Fleck - University of Illinois, Urbana-Champaign
This book provides a survey of basic mathematical objects, notation, and techniques useful in later computer science courses. It gives a brief introduction to some key topics: algorithm analysis and complexity, automata theory, and computability.
(12128 views)
by Margaret M. Fleck - University of Illinois, Urbana-Champaign
This book provides a survey of basic mathematical objects, notation, and techniques useful in later computer science courses. It gives a brief introduction to some key topics: algorithm analysis and complexity, automata theory, and computability.
(12128 views)
Introduction to Soft Computing
by Eva Volna - Bookboon
This book gives an introduction to Soft Computing, which aims to exploit tolerance for imprecision, uncertainty, approximate reasoning, and partial truth in order to achieve close resemblance with human like decision making.
(9308 views)
by Eva Volna - Bookboon
This book gives an introduction to Soft Computing, which aims to exploit tolerance for imprecision, uncertainty, approximate reasoning, and partial truth in order to achieve close resemblance with human like decision making.
(9308 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.
(18995 views)
- 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.
(18995 views)
Advances in Knowledge Representation
by Carlos RamÃrez Gutiérrez - 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.
(11249 views)
by Carlos RamÃrez Gutiérrez - 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.
(11249 views)