Computer Science Logo Style
by Brian Harvey
Publisher: The MIT Press 1997
Number of pages: 1068
This series is for people, adults and teenagers, who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence.
Home page url
Download or read it online for free here:
Download link 1
Download link 2
Download link 3
(multiple PDF files)
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 Susan Rodger - Duke University
These lecture notes present an introduction to theoretical computer science including studies of abstract machines, the language hierarchy from regular languages to recursively enumerable languages, noncomputability and complexity theory.
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 Margaret M. Fleck - University of Illinois, Urbana-Champaign
This book provides a survey of basic mathematical objects, notation, and techniques useful in later computer science courses. It gives a brief introduction to some key topics: algorithm analysis and complexity, automata theory, and computability.