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
How to think like a Computer Scientist (C++ Version)by Allen B. Downey
This book teaches you to think like a computer scientist - to combine the best features of mathematics, natural science, and engineering, to use formal languages to denote ideas, to observe the behavior of complex systems, form hypotheses, etc.
(26367 views)
Concrete Abstractions: An Introduction to Computer Science Using Schemeby Max Hailperin, Barbara Kaiser, Karl Knight - Course Technology
The book Concrete Abstractions covers the programming and data structures basics. It will give first-time computer science students the opportunity to not only write programs, but to prove theorems and analyze algorithms as well.
(20760 views)
The Fourth Paradigm: Data-Intensive Scientific Discoveryby Tony Hey, Stewart Tansley, Kristin Tolle - Microsoft Research
The Fourth Paradigm, the collection of essays expands on the vision of pioneering computer scientist Jim Gray for a new, fourth paradigm of discovery based on data-intensive science and offers insights into how it can be fully realized.
(19026 views)
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.
(17594 views)