Changes

Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)

Revision as of 04:16, 11 May 2008

47 bytes added , 04:16, 11 May 2008

mod lead

Line 1: Line 1:

−

A '''differential propositional calculus''' is a [[propositional calculus]] extended by a set of terms for describing processes that take place in a [[universe of discourse]] or transformations that map a source universe into a target universe.

+

A '''differential propositional calculus''' is a [[propositional calculus]] extended by a set of terms for describing aspects of change and difference, for example, processes that take place in a [[universe of discourse]] or transformations that map a source universe into a target universe.

==Casual introduction==

Jon Awbrey

12,089

edits