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
Computational and Inferential Thinking: The Foundations of Data Scienceby Ani Adhikari, John DeNero
Data Science is about drawing useful conclusions from large and diverse data sets through exploration, prediction, and inference. Our primary tools for exploration are visualizations and descriptive statistics, for prediction are machine learning ...
(9517 views)
Rough set data analysis: A road to non-invasive knowledge discoveryby Ivo Düntsch, Günther Gediga - 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.
(16702 views)
A Computer Science Tapestry: Exploring Computer Science with C++by Owen L. Astrachan - McGraw - Hill
This book is designed for a first course in computer science that uses C++ as the programming language. The goal was to leverage the best features of the language using sound practices of programming and pedagogy in the study of computer science.
(20306 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.
(19762 views)