Formal description of functional logical-mathematical modeling of dynamic systems
Автор: Kravchenko V.A., Shirapov D. Sh., Chimitov D.N.
Журнал: Вестник Бурятского государственного университета. Математика, информатика @vestnik-bsu-maths
Рубрика: Математическое моделирование и обработка данных
Статья в выпуске: 3, 2017 года.
Бесплатный доступ
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
Короткий адрес: https://sciup.org/14835228
IDR: 14835228 | DOI: 10.18101/2304-5728-2017-3-32-39
