Book Review:
Book Description
This book contains the essentials of theoretical computer science. There might be a bit more, but this is a broad introduction to the field. And, it is presented from a computer science viewpoint for computer scientists. It does not come from one of the strongholds of mathematics even though a great deal of mathematical logic lurks within.
This book covers some definitions of computing since readers must know what it is they are studying. So, several models of computation are presented including a RISC machine. And, the theory that ties it together is not omitted. Quickly following is a portion concerning things which are not computable (the unsolvability chapter) since readers also must know what they are not studying. In addition, the material on unsolvability is important for historic reasons as well as a being a mechanism for introducing concepts which aid in precise analytical thought. Besides, some of these concepts form an important portion of algorithm complexity.
At this point this book will get specific and looks at classes of machines that execute set recognition algorithms. As a counterpoint, this book also examines classes of grammars which generate these sets of strings. Pointers to applications such as circuit design, compiling, and translation are provided. These are very practical chapters since even though the material is presented as theory, applications abound.
The final fling is a study of how difficult it all was. This ties into algorithm analysis and is very central to many of our endeavors in computer science. The concepts here (in particular NP-completeness) intrude upon much of the practical work in business, government, and industry. This material is essentialif one is to know when to apply heuristics to problems.
Intended Audience
This book was designed to be used in a one-semester course for senior computer science majors or first year masters students. (But there is enough material here for two quarters.) It covers the basics of the theory of computation and should provide some of the tools used in program verification, translation and compiling, and the analysis of algorithms. An effort was made to provide precise, logical, mathematical arguments with a minimum of pain. Whenever points could be made in the language of computer science, they were. Whenever something could be computed, the procedure was presented in algorithmic language. This is a text for computer scientists though all that will are welcome to indulge.
 add to del.icio.us
 Digg Freebookzone.com!
You may use anyone of the download options
Missing Link?, Report It and try these 2 + 1 alternates...
Similar Book titles in CS -> Theory section:
Introduction to Computer Science I
Foundations of Computer Science
An Introduction to the Theory of Computation (Principles of Computer Science Series)
How to Think Like a Computer Scientist: Learning with Python
How to Think Like a Computer Scientist: Learning with LOGO
How to Think Like a Computer Scientist: Learning with Java
How to Think Like a Computer Scientist: Learning with Cpp
Computer Organization and Design Fundamentals
Categories, Types And Structures - An Introduction to Category Theory for The Working Computer Scientist
How Computers Work: Processor and Main Memory
The Secret Guide to Computers, 29th Edition
Trapped in the Net: The Unanticipated Consequences of Computerization
Quantitative System Performance - Computer System Analysis Using Queueing Network Models
Capability-Based Computer Systems
Ballard and Brown's Computer Vision
A College Student's Guide to Computers in Education
Similar Book titles in Other sections:
Section: Finance and Accounting
The Essentials of Finance and Accounting for Nonfinancial Managers
Essentials of Payroll Management and Accounting
Section: Bio-Chemistry
Chemistry of Health - National Institute of General Medical Sciences
Inside the Cell - National Institute of General Medical Sciences
Structures of Life - National Institute of General Medical Sciences
Section: Data Structures and Algorithms
Introduction to Computer Graphics
Concepts, Techniques, and Models of Computer Programming
Design and Analysis of Computer Algorithms
Computers, Graphics, & Learning
Structure and Interpretation of Computer Programs - 2nd Edition
Show all..
Section: Multimedia & Game Development
Simulating Humans: Computer Graphics Animation and Control
So you want to be a Computer Game Developer?
Section: CS -> Hardware
Computer Architecture Tutorial
Advanced Computer Architecture Notes
Advanced Computer Architecture Tutorials
Computer Structures: Principles and Examples
Computer Structures: Readings and Examples
Show all..
Section: DB -> Oracle
Oreilly Oracle Essentials Oracle Database 10g 3rd Edition
Section: Computer Hardware
The Hand-Me-Down PC: Upgrading and Repairing Personal Computers
Beginning Computer Hardware Guide
Scott Mueller Library - Computer Dictionary
Build Your Own Laptop - An Impractical Guide to Building a Laptop Computer
Computer Repair with Diagnostic Flowcharts
Show all..
Section: Logic Design and Architecture
Computer Aids for VLSI Design, Second Edition
Section: Internet
Computer Security Basics 2nd Edition
Section: Advanced Java
Introduction to Computer Science Using Java
Section: Java Enterprise Edition
J2EE Servlet Essentials
Section: Java Language
Essentials of the Java Programming Language, Part 1
Essentials of the Java Programming Language, Part 2
Sun Certified Java Programmer Pre-Exam Essentials
Section: Life & Health
The Mind At Night - The New Science Of How And Why We Dream
Section: Mathematics
Mathematical Foundations of Computer Science
Vector Math for 3D Computer Graphics - An Interactive Tutorial
The Unknowable (Discrete Mathematics and Theoretical Computer Science)
Logic for Computer Science: Foundations of Automatic Theorem Proving
Numerical Methods for Electrical and Computer Engineers
Show all..
Section: Miscellaneous
The Art of Computer Game Design
Computer Vision and Image Processing
Academic Careers for Experimental Computer Scientists and Engineers
Moths to the Flame : The Seductions of Computer Technology
OASIS OpenDocument Essentials
Show all..
Section: Microsoft Certifications
Networking Essentials Plus, Third Edition
Section: Microsoft .(dot) net
.NET Framework Essentials
Visual Basic Essentials
C# Essentials
Section: Networking
Introduction to Computer, Internet & Network Systems Security
Cisco IOS Essentials
Computer Networks and Internets
Computer Networks
Design and Validation of Computer Protocols
Show all..
Section: GNU/Linux OS
Slackware Linux Essentials, Second Edition
Ubuntu Linux Essentials
Fedora Linux Essentials
Ubuntu Desktop Essentials
OpenSUSE Desktop Essentials
Show all..
Section: Physics
Frontiers in High Energy Density Physics: The X-Games of Contemporary Science
Stephen Hawking: A Life in Science
Connecting Quarks with the Cosmos: Eleven Science Questions for the New Century
Storms from the Sun: The Emerging Science of Space Weather
Section: Assembly Language
The Art of Computer Programming
Section: C++ Language
C++ Essentials
Section: Other Programming
Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
Common Lisp: An Interactive Approach (Principles of Computer Science Series)
Stack Computers: the new wave
Section: Ruby Programming
Ruby Essentials
Section: Scripting
Concrete Abstractions: An Introduction to Computer Science Using Scheme
Section: Smalltalk
The Art and Science of Smalltalk
Section: Redbooks
Maximo Asset Management Essentials V7.1 Implementer's Guide
Section: Redpapers
IBM Sales Center With Computer Telephony Integration
IBM Maximo Asset Management Essentials: Rapid Engagement Guide
Section: Redpapers Draft
IBM Sales Center for WebSphere Commerce with Computer Telephony Integration
Section: Software Engineering
Supercomputers: Directions in Technology and Applications
Section: Web Programming
Servlet Essentials
JavaScript Essentials
PHP Essentials
MySQL Essentials
Section: XML, XSL & UML
XForms Essentials
Similar Books from Amazon :
|
|
