Computer science seeks to provide a scientific basis for the study of inform a- tion processing, the solution of problems by algorithms, and the design and programming of computers. The last forty years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the development of mathematical techniques ...
Read More
Computer science seeks to provide a scientific basis for the study of inform a- tion processing, the solution of problems by algorithms, and the design and programming of computers. The last forty years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the development of mathematical techniques to allow the rigorous specification of program, process, and machine. The present volume is one of a series, The AKM Series in Theoretical Computer Science, designed to make key mathe- matical developments in computer science readily accessible to under- graduate and beginning graduate students. Specifically, this volume takes readers with little or no mathematical background beyond high school algebra, and gives them a taste of a number of topics in theoretical computer science while laying the mathematical foundation for the later, more detailed, study of such topics as formal language theory, computability theory, programming language semantics, and the study of program verification and correctness. Chapter 1 introduces the basic concepts of set theory, with special emphasis on functions and relations, using a simple algorithm to provide motivation. Chapter 2 presents the notion of inductive proof and gives the reader a good grasp on one of the most important notions of computer science: the recursive definition of functions and data structures.
Read Less
Add this copy of A Basis for Theoretical Computer Science to cart. $23.00, good condition, Sold by Book Happy Booksellers rated 5.0 out of 5 stars, ships from Portland, OR, UNITED STATES, published 1981 by Springer-Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good- 220pp; Silver cloth boards with red & black titling to front & spine, wear to base of spine, text unmarked, binding is tight, VG-condition. Texts and Monographs in Computer Science series. With 49 figures.
Add this copy of A Basis for Theoretical Computer Science (Monographs in to cart. $40.03, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1981 by Springer.
Add this copy of Texts and Monographs in Computer Science: a Basis for to cart. $41.86, good condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1984 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 600grams, ISBN: 0387905731.
Add this copy of A Basis for Theoretical Computer Science (Monographs in to cart. $75.29, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1981 by Springer.
Add this copy of A Basis for Theoretical Computer Science (the Akm to cart. $86.99, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2011 by Springer.
