Mathematical Foundations of Computer Science
by Susan Rodger
Publisher: Duke University 1998
Description:
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.
Download or read it online for free here:
Download link
(multiple PDF, PS files)
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.
(13868 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.
(13868 views)
A Machine Made this Book: Ten Sketches of Computer Science
by John Whitington - Coherent Press
Using examples from the publishing industry, Whitington introduces the fascinating discipline of Computer Science to the uninitiated. Chapters: Putting Marks on Paper; Letter Forms; Storing Words; Looking and Finding; Typing it In; Saving Space; etc.
(7088 views)
by John Whitington - Coherent Press
Using examples from the publishing industry, Whitington introduces the fascinating discipline of Computer Science to the uninitiated. Chapters: Putting Marks on Paper; Letter Forms; Storing Words; Looking and Finding; Typing it In; Saving Space; etc.
(7088 views)
A New Kind of Science
by Stephen Wolfram - Wolfram Media
Starting from a collection of simple computer experiments -- illustrated in the book by striking computer graphics -- Wolfram shows how their unexpected results force a whole new way of looking at the operation of our universe.
(13588 views)
by Stephen Wolfram - Wolfram Media
Starting from a collection of simple computer experiments -- illustrated in the book by striking computer graphics -- Wolfram shows how their unexpected results force a whole new way of looking at the operation of our universe.
(13588 views)
Handbook of Knowledge Representation
by 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.
(12438 views)
by 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.
(12438 views)