Read While You Wait - Get immediate ebook access, if available*, when you order a print book

The AKM Series in Theoretical Computer Science

A Basis for Theoretical Computer Science

Authors: Arbib, M.A., Kfoury, A.J., Moll, R.N.

Free Preview

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-1-4613-9455-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-1-4613-9457-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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.

Table of contents (6 chapters)

Table of contents (6 chapters)

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-1-4613-9455-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-1-4613-9457-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
A Basis for Theoretical Computer Science
Authors
Series Title
The AKM Series in Theoretical Computer Science
Copyright
1981
Publisher
Springer-Verlag New York
Copyright Holder
Springer-Verlag New York Inc.
eBook ISBN
978-1-4613-9455-6
DOI
10.1007/978-1-4613-9455-6
Softcover ISBN
978-1-4613-9457-0
Edition Number
1
Number of Pages
VIII, 220
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.