Mathematical Foundations of Computer Science
by Susan Rodger
Publisher: Duke University 1998
Description:
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.
Download or read it online for free here:
Download link
(multiple PDF, PS files)
Similar books
Foundations of Computer Science: C Editionby Al Aho, Jeff Ullman - W. H. Freeman
Aho and Ullman have created a C version of their groundbreaking text. This book combines the theoretical foundations of computing with essential discrete mathematics. It follows the same organizations, with all examples and exercises in C.
(29464 views)
A New Kind of Scienceby Stephen Wolfram - 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.
(16736 views)
Delftse Foundations of Computationby Stefan Hugtenburg, Neil Yorke-Smith - TU Delft Open
This 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 CS.
(9080 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.
(22513 views)