Вестник БГУ. Математика, информатика
Библиографическое описание:
,
,
ФОРМАЛЬНОЕ ОПИСАНИЕ ФУНКЦИОНАЛЬНОГО ЛОГИКО- МАТЕМАТИЧЕСКОГО МОДЕЛИРОВАНИЯ ДИНАМИЧЕСКИХ СИСТЕМ // Вестник БГУ. Математика, информатика. - 2017. №3. . - С. 32-39.
Заглавие:
ФОРМАЛЬНОЕ ОПИСАНИЕ ФУНКЦИОНАЛЬНОГО ЛОГИКО- МАТЕМАТИЧЕСКОГО МОДЕЛИРОВАНИЯ ДИНАМИЧЕСКИХ СИСТЕМ
Финансирование:
Коды:
Аннотация:
Статья посвящена формальному описанию принципов построения логико-математических моделей динамических систем при использовании аппарата функциональных грамматик. В качестве логической системы применяется лямбда-счисление, являющееся теоретической основой функциональных грамматик и функциональных языков программирования.
Ключевые слова:
математическое моделирование; задача моделирования; база знаний; функциональные грамматики; лямбда-исчисление.
Список литературы:
Кравченко В. А., Могнонов П. Б., Чимитов Д. Н. Представление знаний в функциональных грамматиках // Вестник Сибирского государственного аэрокосмического университета им. М. Ф. Решетнева. 2011.
№5(38). С. 55–61.
Кравченко В. А. Моделирование поиска решения с помощью функциональных грамматик // Вестник Бурятского государственного университета. 2012. № 9. С. 33–41.
Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика: пер. с англ. М.: Мир, 1985. 606 с.
Кубенский А. А. Функциональное программирование.М.: Юрайт, 2017. 348 с.