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
A New Kind of Scienceby 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.
(13592 views)
Handbook of Knowledge Representationby Frank van Harmelen, Vladimir Lifschitz, Bruce Porter - Elsevier Science
Knowledge Representation is concerned with encoding knowledge on computers to enable systems to reason automatically. The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation.
(12441 views)
A Machine Made this Book: Ten Sketches of Computer Scienceby John Whitington - 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.
(7092 views)
Computer Science Concepts in Scratchby Michal Armoni, Moti Ben-Ari - Weizmann Institute of Science
This book will familiarize you with the Scratch visual programming environment, focusing on using Scratch to learn computer science. Each concept is introduced in order to solve a specific task such as animating dancing images or building a game.
(7873 views)