Apress NBA

Theoretical Introduction to Programming

By Bruce Ian Mills

  • eBook Price: $59.95
Buy eBook Buy Print Book

Theoretical Introduction to Programming Cover Image

  • Add to Wishlist
  • ISBN13: 978-1-8462-8021-4
  • 369 Pages
  • User Level: Science
  • Publication Date: December 27, 2005
  • Available eBook Formats: PDF
Full Description
Including easily digested information about fundamental techniques and concepts in software construction, this book is distinct in unifying pure theory with pragmatic details. Driven by generic problems and concepts, with brief and complete illustrations from languages including C, Prolog, Java, Scheme, Haskell and HTML. This book is intended to be both a how-to handbook and easy reference guide. Discussions of principle, worked examples and exercises are presented. All concepts outside introductory programming are explained with clear demarcation and dependencies so the experienced programmer can quickly locate material. Readable in a linear manner, with short mono-thematic to encourage dipping and reference. Also included are sections on open problems in software theory and practice. While little other than a novice programmer's knowledge is explicitly assumed, a certain conceptual maturity, either through commercial programming or academic training is required – each language is introduced and explained briefly as needed.
Table of Contents

Table of Contents

  1. The Abstract Rational Outlook.
  2. A Grab
  3. bag of Computational Models.
  4. Some Formal Technology.
  5. Limitations on Exact Knowledge.
  6. Some Orthodox Languages.
  7. Arithmetic Computation.
  8. Repetitive Computation.
  9. Temporal Interaction.
  10. Container Datatypes.
  11. End
  12. notes and Candle
  13. wax.

If you think that you've found an error in this book, please let us know by emailing to editorial@apress.com . You will find any confirmed erratum below, so you can check if your concern has already been addressed.
No errata are currently published