Foundations of Computer Science
by Hans-Peter Bischof
1998
Description:
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.
Download or read it online for free here:
Read online
(online html)
Similar books
Computer Science from the Bottom Upby Ian Wienand - bottomupcs.com
Computer Science from the Bottom Up: a free, online book designed to teach computer science from the bottom end up. Topics covered include binary and binary logic, operating systems internals, toolchain fundamentals and system library fundamentals.
(18875 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.
(14986 views)
Common LISP: A Gentle Introduction to Symbolic Computationby 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.
(30621 views)
Foundations of Computationby 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.
(17919 views)