Verwandte Artikel zu A Basis for Theoretical Computer Science (Monographs...
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer-Verlag New York Inc.
- Erscheinungsdatum1981
- ISBN 10 0387905731
- ISBN 13 9780387905730
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten228
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 27,96
EUR 26,31 für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für A Basis for Theoretical Computer Science (Monographs...
Beispielbild für diese ISBN
A Basis for Theoretical Computer Science (Monographs in Computer Science)
Anbieter: medimops, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers M00387905731-V
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
A Basis for Theoretical Computer Science
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.15. Bestandsnummer des Verkäufers G0387905731I3N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
A Basis for Theoretical Computer Science
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.15. Bestandsnummer des Verkäufers G0387905731I3N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
A Basis for Theoretical Computer Science
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers GRP90343868
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
A Basis for Theoretical Computer Science
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers 5817599-6
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Texts and Monographs in Computer Science: A Basis for Theoretical Computer Science
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 8658969
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
A Basis for Theoretical Computer Science (Monographs in Computer Science)
Anbieter: Toscana Books, AUSTIN, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Bestandsnummer des Verkäufers Scanned0387905731
Anzahl: 1 verfügbar
Foto des Verkäufers
A Basis for Theoretical Computer Science
Verlag:
Springer-Verlag, New York, 1981
ISBN 10: 0387905731
ISBN 13: 9780387905730
Gebraucht
Hardcover
Anbieter: Book Happy Booksellers, Portland, OR, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers 015214
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
A Basis for Theoretical Computer Science (Monographs in Computer Science)
Anbieter: The Book Spot, Sioux Falls, MN, USA
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: New. Bestandsnummer des Verkäufers Abebooks17289
Anzahl: 1 verfügbar