Verwandte Artikel zu A Basis for Theoretical Computer Science (Monographs...

A Basis for Theoretical Computer Science (Monographs in Computer Science) - Hardcover

 
9780387905730: A Basis for Theoretical Computer Science (Monographs in Computer Science)

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

Gebraucht kaufen

Zustand: Gut
Gut/Very good: Buch bzw. Schutzumschlag...
Diesen Artikel anzeigen

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

Suchergebnisse für A Basis for Theoretical Computer Science (Monographs...

Beispielbild für diese ISBN

Arbib, M.A., Kfoury, A.J.
Verlag: Springer, 1981
ISBN 10: 0387905731 ISBN 13: 9780387905730
Gebraucht Hardcover

Anbieter: medimops, Berlin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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. Artikel-Nr. M00387905731-V

Verkäufer kontaktieren

Gebraucht kaufen

EUR 7,30
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Arbib, M. a.; Kfoury, A. J.; Moll, R. N.
Verlag: Springer, 1981
ISBN 10: 0387905731 ISBN 13: 9780387905730
Gebraucht Hardcover

Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.15. Artikel-Nr. G0387905731I3N00

Verkäufer kontaktieren

Gebraucht kaufen

EUR 11,58
Währung umrechnen
Versand: EUR 7,69
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Arbib, M. a.; Kfoury, A. J.; Moll, R. N.
Verlag: Springer, 1981
ISBN 10: 0387905731 ISBN 13: 9780387905730
Gebraucht Hardcover

Anbieter: ThriftBooks-Dallas, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.15. Artikel-Nr. G0387905731I3N00

Verkäufer kontaktieren

Gebraucht kaufen

EUR 11,58
Währung umrechnen
Versand: EUR 7,69
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Arbib, Michael A.
Verlag: Springer, 1981
ISBN 10: 0387905731 ISBN 13: 9780387905730
Gebraucht Hardcover

Anbieter: Better World Books, Mishawaka, IN, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Artikel-Nr. GRP90343868

Verkäufer kontaktieren

Gebraucht kaufen

EUR 11,58
Währung umrechnen
Versand: EUR 8,26
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Arbib, Michael A.
Verlag: Springer, 1981
ISBN 10: 0387905731 ISBN 13: 9780387905730
Gebraucht Hardcover

Anbieter: Better World Books, Mishawaka, IN, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Good. Used book that is in clean, average condition without any missing pages. Artikel-Nr. 5817599-6

Verkäufer kontaktieren

Gebraucht kaufen

EUR 11,58
Währung umrechnen
Versand: EUR 8,26
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Arbib, M.A. et al
Verlag: Springer, 1984
ISBN 10: 0387905731 ISBN 13: 9780387905730
Gebraucht Hardcover

Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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. Artikel-Nr. 8658969

Verkäufer kontaktieren

Gebraucht kaufen

EUR 21,75
Währung umrechnen
Versand: EUR 6,60
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb