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

**Insight into Theoretical and Applied Informatics**

by

**Andrzej Yatsko, Walery Suslow**-

**De Gruyter Open**

The objective of this book is to provide the reader with all the necessary elements to get him or her started in the modern field of informatics and to allow him or her to become aware of the relationship between key areas of computer science.

(

**7178**views)

**How to think like a Computer Scientist (C++ Version)**

by

**Allen B. Downey**

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.

(

**25828**views)

**Foundations of Computation**

by

**Carol Critchlow, David Eck**-

**Hobart and William Smith Colleges**

The book covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers automata, formal languages, and grammar that would ordinarily be encountered in an upper level course.

(

**15841**views)

**Computer Science Logo Style**

by

**Brian Harvey**-

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

(

**20914**views)