Building Blocks for Theoretical Computer Science
by Margaret M. Fleck
Publisher: University of Illinois, Urbana-Champaign 2013
Number of pages: 271
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:
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.
by 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.
by 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.
by Carol Critchlow, David Eck - Hobart and William Smith Colleges
The book covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers automata, formal languages, and grammar that would ordinarily be encountered in an upper level course.