On Heaviside Binary Logic: a Mathematical Characterization and its Applications

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.