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
Introduction to High-Performance Scientific Computing
by Victor Eijkhout - University of Texas
A computational scientist needs knowledge of several aspects of numerical analysis and discrete mathematics. This text covers: computer architecture, parallel computers, machine arithmetic, numerical linear algebra, applications.
(13869 views)
by Victor Eijkhout - University of Texas
A computational scientist needs knowledge of several aspects of numerical analysis and discrete mathematics. This text covers: computer architecture, parallel computers, machine arithmetic, numerical linear algebra, applications.
(13869 views)
Common LISP: A Gentle Introduction to Symbolic Computation
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.
(27139 views)
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.
(27139 views)
Delftse Foundations of Computation
by Stefan Hugtenburg, Neil Yorke-Smith - TU Delft Open
This is a textbook for a one quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to CS.
(6122 views)
by Stefan Hugtenburg, Neil Yorke-Smith - TU Delft Open
This is a textbook for a one quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to CS.
(6122 views)
Computer Science Logo Style
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.
(20250 views)
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.
(20250 views)