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.
(30421 views)
Book cover: Computer Science IComputer Science I
by - University of Nebraska - Lincoln
A draft of text book for Computer Science I, covering CS1 topics in a generic manner using psuedocode with supplemental parts for specific languages. Computer Science is not programming. Programming is a necessary skill, but it is only the beginning.
(13359 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.
(28103 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.
(23123 views)