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: Foundations of Computer Science: C EditionFoundations of Computer Science: C Edition
by - 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.
(27228 views)
Book cover: How to think like a Computer Scientist (C++ Version)How to think like a Computer Scientist (C++ Version)
by
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.
(26532 views)
Book cover: Computer Science: Abstraction to ImplementationComputer Science: Abstraction to Implementation
by - Harvey Mudd College
This book is intended for a second course in computer science, one emphasizing principles wherever it seems possible. It is not limited to programming, it attempts to use various programming models to explicate principles of computational systems.
(25280 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.
(28797 views)