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

**Essentials of Theoretical Computer Science**

by

**F. D. Lewis**-

**University of Kentucky**

This text is a broad introduction to the field, presented from a computer science viewpoint for computer scientists. This was designed to be used in a one-semester course for senior computer science majors or first year masters students.

(

**12333**views)

**Handbook of Knowledge Representation**

by

**Frank van Harmelen, Vladimir Lifschitz, Bruce Porter**-

**Elsevier Science**

Knowledge Representation is concerned with encoding knowledge on computers to enable systems to reason automatically. The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation.

(

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

(

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

(

**17589**views)