Logo

Building Blocks for Theoretical Computer Science

Small book cover: Building Blocks for Theoretical Computer Science

Building Blocks for Theoretical Computer Science
by

Publisher: University of Illinois, Urbana-Champaign
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.

Home page url

Download or read it online for free here:
Download link
(1.1MB, PDF)

Similar books

Book cover: Foundations of Computer ScienceFoundations of Computer Science
by
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)
Book cover: The Fourth Paradigm: Data-Intensive Scientific DiscoveryThe Fourth Paradigm: Data-Intensive Scientific Discovery
by - 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)
Book cover: Concrete Abstractions: An Introduction to Computer Science Using SchemeConcrete Abstractions: An Introduction to Computer Science Using Scheme
by - 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)
Book cover: Computer Science: Abstraction to ImplementationComputer Science: Abstraction to Implementation
by - 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)