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: A Computer Science Tapestry: Exploring Computer Science with C++A Computer Science Tapestry: Exploring Computer Science with C++
by - McGraw - Hill
This book is designed for a first course in computer science that uses C++ as the programming language. The goal was to leverage the best features of the language using sound practices of programming and pedagogy in the study of computer science.
(14416 views)
Book cover: A Machine Made this Book: Ten Sketches of Computer ScienceA Machine Made this Book: Ten Sketches of Computer Science
by - Coherent Press
Using examples from the publishing industry, Whitington introduces the fascinating discipline of Computer Science to the uninitiated. Chapters: Putting Marks on Paper; Letter Forms; Storing Words; Looking and Finding; Typing it In; Saving Space; etc.
(2872 views)
Book cover: Introduction to High-Performance Scientific ComputingIntroduction to High-Performance Scientific Computing
by - University of Texas
A computational scientist needs knowledge of several aspects of numerical analysis and discrete mathematics. This text covers: computer architecture, parallel computers, machine arithmetic, numerical linear algebra, applications.
(10019 views)
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.
(8700 views)