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:
An electronic book for teaching Computational Science and Engineering. The intended audience are students in science and engineering at the advanced undergraduate level and higher. Tutorials for networking and visualization software are included.
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 Brian Harvey - The MIT Press
This series is for people who are interested in computer programming because it's fun. The three volumes use the Logo as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence.
by David S. Touretzky - Benjamin-Cummings Pub Co
This is a gentle introduction to Common Lisp for students taking their first programming course. No prior mathematical background beyond arithmetic is assumed. There are lots of examples, the author avoided technical jargon.