Select Page

Building Blocks for Theoretical Computer Science

Building Blocks for Theoretical Computer Science

This book teaches two different sorts of things, woven together. It 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. These include propositional and predicate logic, sets, functions, relations, modular arithmetic, counting, graphs, and trees. And, finally, it gives a brief introduction to some key topics in theoretical computer science: algorithm analysis and complexity, automata theory, and computability.

Formal mathematics is relevant to computer science in several ways. First, it is used to create theoretical designs for algorithms and prove that they work correctly. This is especially important for methods that are used frequently and/or in applications where we don’t want failures (aircraft design, Pentagon security, ecommerce). Only some people do these designs, but many people use them. The users need to be able to read and understand how the designs work.

Second, the skills you learn in doing formal mathematics correspond closely to those required to design and debug programs. Both require keeping track of what types your variables are. Both use inductive and/or recursive design. And both require careful proofreading skills. So what you learn in this class will also help you succeed in practical programming courses.

Third, when you come to design complex real software, you’ll have to document what you’ve done and how it works. This is hard for many people to do well, but it’s critical for the folks using your software. Learning how to describe mathematical objects clearly will translate into better skills describing computational objects.

Building Blocks for Theoretical Computer Science

by Margaret M. Fleck (PDF, Online reading) – 21 chapters

Building Blocks for Theoretical Computer Science by Margaret M. Fleck

About The Author

John

My name is John Eye and I’m obssessed with ebooks, loves to procrastinate, a bookworm and one that loves to share with the world what free ebooks have to offer.

Leave a reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Subscribe To Our Newsletter

Subscribe To Our Newsletter

Join our mailing list to receive the latest posts and news.

You have Successfully Subscribed!

Pin It on Pinterest

Shares
Share This