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

by Peter Van Roy, Seif Haridi - 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.
(26892 views)

by Carol Critchlow, David Eck - 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.
(16156 views)

by Ian Wienand - bottomupcs.com
Computer Science from the Bottom Up: a free, online book designed to teach computer science from the bottom end up. Topics covered include binary and binary logic, operating systems internals, toolchain fundamentals and system library fundamentals.
(17238 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.
(10123 views)