BSU Bulletin. Mathematics, Informatics
Bibliographic description:
, , FORMAL DESCRIPTION OF FUNCTIONAL LOGICAL- MATHEMATICAL MODELING OF DYNAMIC SYSTEMS // BSU Bulletin. Mathematics, Informatics. - 2017. №3. . - С. 32-39.
Title:
FORMAL DESCRIPTION OF FUNCTIONAL LOGICAL- MATHEMATICAL MODELING OF DYNAMIC SYSTEMS
Financing:
Codes:
Annotation:
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.
Keywords:
mathematical modeling; modeling problem; knowledge base; functional grammars; lambda calculus.
List of references:
Article.pdf