**Building Blocks for Theoretical Computer Science**

by Margaret M. Fleck

**Publisher**: University of Illinois, Urbana-Champaign 2013**Number of pages**: 271

**Description**:

This book teaches you how to read and write mathematical proofs. It provides a survey of basic mathematical objects, notation, and techniques which will be useful in later computer science courses. And, finally, it gives a brief introduction to some key topics in theoretical computer science: algorithm analysis and complexity, automata theory, and computability.

Download or read it online for free here:

**Download link**

(1.1MB, PDF)

## Similar books

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

(

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

(

**25887**views)

**Foundations of Computer Science**

by

**Lawrence C Paulson**-

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

(

**23188**views)

**Foundations of Computer Science: C Edition**

by

**Al Aho, Jeff Ullman**-

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

(

**25430**views)