Artificial intelligence

Abstract: The research is dedicated to the formal refinements of general notion of function as a computational procedure. The strongest level of abstraction is adopted: all objects are treated as “black box”. The notion of function as a procedure makes it possible to revise generic notion of abstract algorithm, as it becomes it’s derivative. The general properties of such algorithms are considered. It is proven that classes of functionprocedures and abstract algorithms are closed under regular compositions. A generic solution for the tabulated algorithms analysis problem is proposed

Keywords:

References: