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

by Hans-Peter Bischof
This text is an introduction to the formal study of computation. The course will provide students with a broad perspective of computer science and will acquaint them with various formal systems on which modern computer science is based.
(14095 views)

by Tony Hey, Stewart Tansley, Kristin Tolle - Microsoft Research
The Fourth Paradigm, the collection of essays expands on the vision of pioneering computer scientist Jim Gray for a new, fourth paradigm of discovery based on data-intensive science and offers insights into how it can be fully realized.
(18823 views)

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.
(20585 views)

by Robert M. Keller - Harvey Mudd College
This book is intended for a second course in computer science, one emphasizing principles wherever it seems possible. It is not limited to programming, it attempts to use various programming models to explicate principles of computational systems.
(24889 views)