Constructivity in Computer Science: Summer Symposium, San Antonio, Tx, June 19-22, 1991. Proceedings

by Myers, J. Paul Jr.
5 out of 5 Customer Rating
ISBN: 9783540556312
Availability:
$78.44

Available Offers

20% Off in Cart
See Details
Offer Details
Get 20% off on pre-owned items, available in store and online. Offer valid May 25-27, 2024. This offer cannot be combined with other discounts or coupons and does not apply to previous purchases. Offer cannot be used to buy gift cards or items labeled as 'New' on HPB.com. Sale prices will be reflected in your cart.
Pickup at HPB West Lane Avenue Out of stock at HPB West Lane Avenue Check other stores
FREE
Ship to Me
$3.99

Overview

Mathematicians have long recognized the distinction between an argument showing that an interesting object exists and a procedure for actually constructing the object. Computer science adds a new dimension of interest in constructivity, since a computer program is a formal description of a constructive procedure that can be executed automatically. It has beenover a decade since a conference was devoted to constructivity, and never before has one been held specifically relating computer science to constructivity. Thus, this proceedings volume is the most concentrated offering ever produced of the diverse ways in which constructivity and computer science are related. The papers cover semantics and type theory, logic and theorem proving, real and complex analysis, topology and combinatorics, nonconstructive graph-theoretical techniques, and curriculum and pedagogic issues. The book offers a concentrated view of the many ways in which constructivity has assumed importance in computer science, and contains results available nowhere else.
  • Format: Trade Paperback
  • Author: Myers, J. Paul Jr.
  • ISBN: 9783540556312
  • Condition: Used
  • Dimensions: 9.21 x 0.56
  • Number Of Pages: 253
  • Publication Year: 1992

Customer Reviews