**Mathematical Foundations of Computer Science**

by Susan Rodger

**Publisher**: Duke University 1998

**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.

Download or read it online for free here:

**Download link**

(multiple PDF, PS files)

## Similar books

**Building Blocks for Theoretical Computer Science**

by

**Margaret M. Fleck**-

**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.

(

**7703**views)

**Concepts, Techniques, and Models of Computer Programming**

by

**Peter Van Roy, Seif Haridi**-

**The MIT Press**

Covered topics: concurrency, state, distributed programming, constraint programming, formal semantics, declarative concurrency, message-passing concurrency, forms of data abstraction, building GUIs, transparency approach to distributed programming.

(

**18901**views)

**Advances in Knowledge Representation**

by

**Carlos RamÃrez GutiÃ©rrez**-

**InTech**

A compilation of research works on topics such as concept theory, positive relational algebra and k-relations, structured, visual and ontological models of knowledge representation, and detailed descriptions of applications to various domains.

(

**7105**views)

**Computer Science Concepts in Scratch**

by

**Michal Armoni, Moti Ben-Ari**-

**Weizmann Institute of Science**

This book will familiarize you with the Scratch visual programming environment, focusing on using Scratch to learn computer science. Each concept is introduced in order to solve a specific task such as animating dancing images or building a game.

(

**3200**views)