On Heaviside Binary Logic: a Mathematical Characterization and its Applications
preprintposted on 30.09.2020, 10:52 by Giovanni Iacovelli, Claudio Iacovelli
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.