Constructivity in Computer Science

Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings

By: J.Paul Jr. Myers (Editor), Michael J. O'Donnell (Editor)

Write A Review

Paperback | 24 June 1992

At a Glance

Paperback
268 Pages

Dimensions(cm)
23.39 x 15.6 x 1.42

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Discrete Mathematics Mathematical Foundation Mathematical Logic Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Applied Mathematics Computer Science Artificial Intelligence Computer Architecture & Logic Design

Compilers & Interpreters

Semantics
Connecting Formal Semantics to Constructive Intuitions	p. 1
Kripke Semantics for Dependent Type Theory and Realizability Interpretations	p. 22
Types
Reflective Semantics of Constructive Type Theory: Preliminary Report	p. 33
Are Subsets Necessary in Martin-Lof Type Theory?	p. 46
Development Transformation Based on Higher Order Type Theory	p. 58
Logic
Classical Proofs as Programs: How, What, and Why	p. 71
Classical Type Theory	p. 89
Axiomatization of Calculus of Constructions	p. 108
A Logical View of Assignments	p. 131
Nonconstructive Techniques
Constructivity Issues in Graph Algorithms	p. 150
Topology
Constructive Topology and Combinatorics	p. 159
Reals
Implementing Constructive Real Analysis: Preliminary Report	p. 165
Examples of Semicomputable Sets of Real and Complex Numbers	p. 179
Curriculum / Pedagogy
Bringing Mathematics Education into the Algorithmic Age	p. 199
The Type Structure of CAT	p. 218
A Simple and Powerful Approach for Studying Constructivity, Computability, and Complexity	p. 228
Author Index	p. 247
Table of Contents provided by Blackwell. All Rights Reserved.

Constructivity in Computer Science

Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

A Brief History of Information Networks from the Stone Age to AI

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Python All-in-One For Dummies

3rd Edition

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

Agentic AI For Dummies

For Dummies (Computer/Tech)

Audio Effects

Theory, Implementation and Application

Audio Effects

Theory, Implementation and Application

Decoding Despair

How AI is Reshaping Psychiatry

Generative AI for Communications Systems

Fundamentals, Applications, and Prospects

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

A Practitioner's Guide to Advancing Behavioral Health Care with Artificial Intelligence

AI for Business

A Guide to AI Adoption

Handbook on Integrating Smart Technologies for Sustainable Development

Smart Technologies for Engineers and Scientists

Artificial Intelligence and Higher Education

The Impact of AI on Business Students' Learning

Integrated Energy Systems with a Carnot Battery

A Pathway to Low-Carbon Energy Systems

The AI Cybersecurity Handbook

What Art Is Now

Creativity in the Age of AI

This product is categorised by