Computer Programming Abstract
computer programming abstract
As axiomatization?
The precise definition in my notes … "A declaration of their properties rigorously abstract from the real world and are shared by the manipulation of real world itself and represennt symbols. "I do not understand this, can someone explain this in the context of computer programs please?? Any help much appreciated! 
Main Entry: axiomatization part expression: n Definition: the process of system definition of mathematics by a set of axioms Example: The Boolean logic of propositions has many different axiomatizations are formally equivalent. So in terms of programming, which would collapse mathematical terms, which are produced through a program.