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: Computer Science Logo StyleComputer Science Logo Style
by - The MIT Press
This series is for people who are interested in computer programming because it's fun. The three volumes use the Logo as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence.
(14322 views)
Book cover: Building Blocks for Theoretical Computer ScienceBuilding Blocks for Theoretical Computer Science
by - University of Illinois, Urbana-Champaign
This book provides a survey of basic mathematical objects, notation, and techniques useful in later computer science courses. It gives a brief introduction to some key topics: algorithm analysis and complexity, automata theory, and computability.
(7900 views)
Book cover: Foundations of Computer ScienceFoundations of Computer Science
by - University of Cambridge
This text teaches programming and presents some fundamental principles of computer science, especially algorithm design. The programming in this course is based on the language ML and mostly concerns the functional programming style.
(15364 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.
(18310 views)