Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Feasible Mathematics

Feasible Mathematics

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780817634834
Condition
New
Product Description

A so-called "effective" algorithm may require arbitrarily large finite amounts of time and space resources, and hence may not be practical in the real world. A "feasible" algorithm is one which only requires a limited amount of space and/or time for execution; the general idea is that a feasible algorithm is one which may be practical on today's or at least tomorrow's computers. There is no definitive analogue of Church's thesis giving a mathematical definition of feasibility; however, the most widely studied mathematical model of feasible computability is polynomial-time computability. Feasible Mathematics includes both the study of feasible computation from a mathematical and logical point of view and the reworking of traditional mathematics from the point of view of feasible computation. The diversity of Feasible Mathematics is illustrated by the. contents of this volume which includes papers on weak fragments of arithmetic, on higher type functionals, on bounded linear logic, on sub recursive definitions of complexity classes, on finite model theory, on models of feasible computation for real numbers, on vector spaces and on recursion theory. The vVorkshop on Feasible Mathematics was sponsored by the Mathematical Sciences Institute and was held at Cornell University, June 26-28, 1989.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

British Foreign Policy, 194556

$54.99

Balancing River Health and Hydropower Requirements in the Lancang River Basin

$109.99

Formal Methods: Applications and Technology

$39.99

Introduction to Software Quality

$59.99

Infernal Devices

$11.24

50 Jahre Universitts-Informatik in Mnchen

$84.99

Surgically Facilitated Orthodontic Therapy

$299.99

Grundkurs Theoretische Physik 5 Quantenmechanik

$44.99

Die Neuen Arzneidrogen aus dem Pflanzenreiche

$59.99

Essential Community Medicine

$39.99

The Wisdom of the Lotus Sutra

$44.99

Advanced Controllers for Smart Cities

$109.99

Philosophy in Mind

$169.99

Der Werdegang eines Ingenieurs

$59.99

Public Sector Criminological Research

$139.99

Natur-, Ingenieur- und Wirtschaftswissenschaften

$69.99

In-vitro-Fertilisation ein umstrittenes Experiment

$69.99

Joint Security Management: organisationsbergreifend handeln

$39.99

Catalysis and the Mechanism of Methane Conversion to Chemicals

$169.99

Cross-Cultural Communication

$139.00

Die Drehschwingungen des Zweirad-Kettentriebes bei innerer Erregung

$39.99

Microsoft Dynamics 365 for Finance and Operations, Enterprise Edition

$59.99

Entrepreneurship in a Time of Social Justice Advocacy

$169.99

EBO

$84.99

Handbuch Europarecht

$179.00

ber Denken und Handeln

$49.99

Gabler Kompakt-Lexikon Unternehmensgrndung

$129.99

Critical Sermons of the Zen Tradition

$54.99

Stochastic Ordering and Dependence in Applied Probability

$54.99

Aktivisten der Normalbiographie

$39.99

Quality of Life and Well-Being for Residents in Long-Term Care Communities

$64.99

Marian Evans (George Eliot)

$19.99

Sequencing Grade 3 Differentiation Pack

$5.99

Indovation

$109.99

Politics, Religion and the Song of Songs in Seventeenth-Century England

$54.99

9th International Conference on Automated Deduction

$84.99

Minds, Brains, and Doxa for Inclusive Entrepreneurship

$169.99

The Projected Subgradient Algorithm in Convex Optimization

$39.99

Fractional-order Modeling and Control of Dynamic Systems

$109.99

Biomarkers of Radiation in the Environment

$109.00