Foundations of Computation
by Carol Critchlow, David Eck
Publisher: Hobart and William Smith Colleges 2011
Number of pages: 256
The first half of the course covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers material on automata, formal languages, and grammar that would ordinarily be encountered in an upper level course in theoretical computer science.
Home page url
Download or read it online for free here:
by Christine Alvarado, et al. - Harvey Mudd College
Our objective is to provide an introduction to computer science as an intellectually vibrant field rather than focusing exclusively on computer programming. We emphasize concepts and problem-solving over syntax and programming language features.
by Tony Hey, Stewart Tansley, Kristin Tolle - Microsoft Research
The Fourth Paradigm, the collection of essays expands on the vision of pioneering computer scientist Jim Gray for a new, fourth paradigm of discovery based on data-intensive science and offers insights into how it can be fully realized.
by Peter Van Roy, Seif Haridi - The MIT Press
Covered topics: concurrency, state, distributed programming, constraint programming, formal semantics, declarative concurrency, message-passing concurrency, forms of data abstraction, building GUIs, transparency approach to distributed programming.
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.