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: A Computer Science Tapestry: Exploring Computer Science with C++A Computer Science Tapestry: Exploring Computer Science with C++
by - 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.
(11919 views)
Book cover: Concrete Abstractions: An Introduction to Computer Science Using SchemeConcrete Abstractions: An Introduction to Computer Science Using Scheme
by - 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.
(14002 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...
(3539 views)
Book cover: GRE Computer Science Test Practice BookGRE Computer Science Test Practice Book
- Educational Testing Service
This book contains one actual, full-length GRE Computer Science Test and test-taking strategies. The test consists of about 70 multiple-choice questions, some of which are grouped in sets and based on diagrams, graphs, and program fragments.
(11110 views)