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

by

**Chris Bourke**-

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

(

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

(

**9590**views)

**A Balanced Introduction to Computer Science**

by

**David Reed**-

**Prentice Hall**

The book covers concepts in computing that are most relevant to the beginning student, including computer terminology, the Internet and World Wide Web, the history of computing, the organization and manufacture of computer technology, etc.

(

**32804**views)

**Concrete Abstractions: An Introduction to Computer Science Using Scheme**

by

**Max Hailperin, Barbara Kaiser, Karl Knight**-

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

(

**17801**views)