Preliminary investigation of a calculus of functional differences
Subtitle: fixed differences
By: Bruce J. MacLennan
Contributors: Naval Postgraduate School (U.S.)
Publisher: Naval Postgraduate School
Published: 1986
Place of publication: Monterey, California
Language: eng
Number of pages: 25
Subjects: Calculus
Description: This document introduces a notion of functional differences in which the difference of a function f with respect to a function h is that function g that describes how the value of f changes when its argument is altered by h: f(h x) = g(f x). It also introduce the inverse operation of functional integration and derive useful properties of both operations. The result is a calculus that facilitates derivation and reasoning about recursive programs. This is illustrated in a number of simple examples. The author presents preliminary results pertaining to fixed differences, that is, functional differences that do not depend on the value of the argument x.
Notes: Title from cover.

"Prepared for: Chief of Naval Research, Arlington, VA 22217"--Cover.

"February 1986"--Cover.

"NPS52-86-010"--Cover.

DTIC Identifiers: Functional differences, PE61153N.

Includes bibliographical references (p. 24).

"Approved for public release; distribution unlimited"--Cover.

Technical report; 1986.

aq/aq cc:9116 02/25/98