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

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

(

**6954**views)

**A New Kind of Science**

by

**Stephen Wolfram**-

**Wolfram Media**

Starting from a collection of simple computer experiments -- illustrated in the book by striking computer graphics -- Wolfram shows how their unexpected results force a whole new way of looking at the operation of our universe.

(

**7098**views)

**Delftse Foundations of Computation**

by

**Stefan Hugtenburg, Neil Yorke-Smith**-

**TU Delft Open**

This is a textbook for a one quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to CS.

(

**1190**views)

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

(

**3770**views)