Tracked shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada A Programming Approach to Computability
Type
Physical Book
Author
Publisher
Language
English
Pages
251
Format
Paperback
Dimensions
23.4 x 15.6 x 1.4 cm
Weight
0.37 kg.
ISBN13
9781461257516
Categories

A Programming Approach to Computability

Michael A. Arbib (Author) · A. J. Kfoury (Author) · Robert N. Moll (Author) · Springer · Paperback

A Programming Approach to Computability - Kfoury, A. J. ; Moll, Robert N. ; Arbib, Michael A.

Cheaper New Book Imported to Taiwan
Delivery: 28 Jul - 06 Aug Shipping: 12 to 14 business days.
NT$ 2,509
Faster New Book Imported to Taiwan
Delivery: 16 Jul - 24 Jul Shipping: 4 to 5 business days.
NT$ 3,050
NT$ 2,509

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "A Programming Approach to Computability"

Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its basic results were discovered by mathematical logicians prior to the development of the first stored-program computer. As a result, many texts on computability theory strike today's computer science students as far removed from their concerns. To remedy this, we base our approach to computability on the language of while-programs, a lean subset of PASCAL, and postpone consideration of such classic models as Turing machines, string-rewriting systems, and p. -recursive functions till the final chapter. Moreover, we balance the presentation of un solvability results such as the unsolvability of the Halting Problem with a presentation of the positive results of modern programming methodology, including the use of proof rules, and the denotational semantics of programs. Computer science seeks to provide a scientific basis for the study of information processing, the solution of problems by algorithms, and the design and programming of computers. The last 40 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 develop- ment of mathematical techniques to allow the rigorous specification of program, process, and machine.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews