BSU bulletin. Mathematics, Informatics
, , FORMAL DESCRIPTION OF FUNCTIONAL LOGICAL- MATHEMATICAL MODELING OF DYNAMIC SYSTEMS // BSU bulletin. Mathematics, Informatics. - 2017. №3. . - С. 32-39.
FORMAL DESCRIPTION OF FUNCTIONAL LOGICAL- MATHEMATICAL MODELING OF DYNAMIC SYSTEMS
The article presents a formal description of the principles of building logical-mathematical models for dynamic systems using the apparatus of functional grammars. Lambda calculus, which is the theoretical basis of functional grammars and functional programming languages, has been used as a logical system.
mathematical modeling; modeling problem; knowledge base; functional grammars; lambda calculus.
List of references: