BSU bulletin
Mathematics, Informatics
LoginРУСENG

BSU bulletin. Mathematics, Informatics

Bibliographic description:
Kravchenko V. A.
,
Shirapov D. S.
,
Chimitov D. N.
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:
DOI: 10.18101/2304-5728-2017-3-32-39UDK: 510.66
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: