On Heaviside Binary Logic: a Mathematical Characterization and its
Applications
- Giovanni Iacovelli ,
- Claudio Iacovelli
Abstract
In this work, the existence of a correspondence between fundamental
programming language control structures and mathematical formulation is
proven. The proposed interpretation is given through a well-defined
logical circuit analytical expression. Relevant geometrical applications
having wide implications in engineering branches are presented together
with a new Penalty Method for constrained optimization problems
handling.