Articles liés à A Basis for Theoretical Computer Science
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag New York Inc.
- Date d'édition1981
- ISBN 10 0387905731
- ISBN 13 9780387905730
- ReliureRelié
- Langueanglais
- Nombre de pages228
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 53,49
EUR 26,14 expédition depuis Etats-Unis vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour A Basis for Theoretical Computer Science
Image d'archives
A Basis for Theoretical Computer Science (Monographs in Computer Science)
Edité par
Springer, 1981
ISBN 10 : 0387905731
ISBN 13 : 9780387905730
Ancien ou d'occasion
Couverture rigide
Vendeur : medimops, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. N° de réf. du vendeur M00387905731-V
Quantité disponible : 1 disponible(s)
Image d'archives
A Basis for Theoretical Computer Science (Monographs in Computer Science)
Edité par
Springer, 1981
ISBN 10 : 0387905731
ISBN 13 : 9780387905730
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.15. N° de réf. du vendeur G0387905731I3N00
Quantité disponible : 1 disponible(s)
Image d'archives
A Basis for Theoretical Computer Science (Monographs in Computer Science)
Edité par
Springer, 1981
ISBN 10 : 0387905731
ISBN 13 : 9780387905730
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.15. N° de réf. du vendeur G0387905731I3N00
Quantité disponible : 1 disponible(s)
Image d'archives
A Basis for Theoretical Computer Science
Edité par
Springer, 1981
ISBN 10 : 0387905731
ISBN 13 : 9780387905730
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur GRP90343868
Quantité disponible : 2 disponible(s)
Image d'archives
A Basis for Theoretical Computer Science
Edité par
Springer, 1981
ISBN 10 : 0387905731
ISBN 13 : 9780387905730
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 5817599-6
Quantité disponible : 1 disponible(s)
Image d'archives
Texts and Monographs in Computer Science: A Basis for Theoretical Computer Science
Edité par
Springer, 1984
ISBN 10 : 0387905731
ISBN 13 : 9780387905730
Ancien ou d'occasion
Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. 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. N° de réf. du vendeur 8658969
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
A Basis for Theoretical Computer Science
Edité par
Springer-Verlag, New York, 1981
ISBN 10 : 0387905731
ISBN 13 : 9780387905730
Ancien ou d'occasion
Couverture rigide
Vendeur : Book Happy Booksellers, Portland, OR, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good-. Third Printing. 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. N° de réf. du vendeur 015214
Quantité disponible : 1 disponible(s)
Image d'archives
A Basis for Theoretical Computer Science (Monographs in Computer Science)
Vendeur : Toscana Books, AUSTIN, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. N° de réf. du vendeur Scanned0387905731
Quantité disponible : 1 disponible(s)
Image d'archives
A Basis for Theoretical Computer Science (Monographs in Computer Science)
Vendeur : The Book Spot, Sioux Falls, MN, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : New. N° de réf. du vendeur Abebooks17289
Quantité disponible : 1 disponible(s)