Accession Number : ADA187079

Title :   An Algebraic Approach to a Calculus of Functional Differences: Fixed Differences and Integrals,

Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s) : MacLennan, Bruce J

PDF Url : ADA187079

Report Date : Sep 1987

Pagination or Media Count : 33

Abstract : 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)). The author introduces 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 present report uses algebraic methods to establish preliminary results pertaining to fixed differences, that is, functional differences that do not depend on the value of the argument x. Keywords: Theorems; Integrals.

Descriptors :   *CALCULUS, *ALGEBRAIC FUNCTIONS, INTEGRALS, INTEGRATION, INVERSION, OPERATION, REASONING, RECURSIVE FUNCTIONS, THEOREMS

Subject Categories : Numerical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE