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: Rough set data analysis: A road to non-invasive knowledge discoveryRough set data analysis: A road to non-invasive knowledge discovery
by - 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.
(16750 views)
Book cover: Introduction to Computer Science using JavaIntroduction to Computer Science using Java
by - 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.
(27487 views)
Book cover: Foundations of ComputationFoundations of Computation
by - 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.
(15327 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.
(11307 views)