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: Mathematical Foundations of Computer ScienceMathematical Foundations of Computer Science
by - 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.
(8312 views)
Book cover: CS for AllCS for All
by - Harvey Mudd College
Our objective is to provide an introduction to computer science as an intellectually vibrant field rather than focusing exclusively on computer programming. We emphasize concepts and problem-solving over syntax and programming language features.
(4438 views)
Book cover: A New Kind of ScienceA New Kind of Science
by - Wolfram Media
Starting from a collection of simple computer experiments -- illustrated in the book by striking computer graphics -- Wolfram shows how their unexpected results force a whole new way of looking at the operation of our universe.
(6115 views)
Book cover: Concepts, Techniques, and Models of Computer ProgrammingConcepts, Techniques, and Models of Computer Programming
by - The MIT Press
Covered topics: concurrency, state, distributed programming, constraint programming, formal semantics, declarative concurrency, message-passing concurrency, forms of data abstraction, building GUIs, transparency approach to distributed programming.
(16019 views)