
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