Logo

Mathematical Foundations of Computer Science

Small book cover: Mathematical Foundations of Computer Science

Mathematical Foundations of Computer Science
by

Publisher: Duke University

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.

Home page url

Download or read it online for free here:
Download link
(multiple PDF, PS files)

Similar books

Book cover: Delftse Foundations of ComputationDelftse Foundations of Computation
by - 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.
(865 views)
Book cover: The Fourth Paradigm: Data-Intensive Scientific DiscoveryThe Fourth Paradigm: Data-Intensive Scientific Discovery
by - 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.
(12612 views)
Book cover: Computer Science Introduction to Wolfram MathematicaComputer Science Introduction to Wolfram Mathematica
by - Ryerson University
The book is an introduction to Wolfram Mathematica written in computer science spirit, using this language not just for mathematics and equation solving but for all sorts of computer science examples and problems from the standard CS101 exercises...
(3829 views)
Book cover: Common LISP: A Gentle Introduction to Symbolic ComputationCommon LISP: A Gentle Introduction to Symbolic Computation
by - Benjamin-Cummings Pub Co
This is a gentle introduction to Common Lisp for students taking their first programming course. No prior mathematical background beyond arithmetic is assumed. There are lots of examples, the author avoided technical jargon.
(18016 views)