Формальное описание функционального логико-математического моделирования динамических систем
Автор: Кравченко Вячеслав Александрович, Ширапов Дашадондок Шагдарович, Чимитов Доржи Намсараевич
Журнал: Вестник Бурятского государственного университета. Математика, информатика @vestnik-bsu-maths
Рубрика: Математическое моделирование и обработка данных
Статья в выпуске: 3, 2017 года.
Бесплатный доступ
Статья посвящена формальному описанию принципов построения логико-математических моделей динамических систем при использовании аппарата функциональных грамматик. В качестве логической системы применяется лямбда-исчисление, являющееся теоретической основой функциональных грамматик и функциональных языков программирования.
Математическое моделирование, задача моделирование, база знаний, функциональные грамматики, лямбда-исчисление
Короткий адрес: https://sciup.org/14835228
IDR: 14835228 | DOI: 10.18101/2304-5728-2017-3-32-39
Список литературы Формальное описание функционального логико-математического моделирования динамических систем
- Кравченко В.А., Могнонов П.Б., Чимитов Д.Н. Представление знаний в функциональных грамматиках//Вестник Сибирского государственного аэрокосмического университета им. Академика М.Ф.Решетнева. -Красноярск: Изд-во Сиб. гос. аэрокосмич. ун-та, 2011. №5 (38). с. 55-61.
- Кравченко В.А. Моделирование поиска решения с помощью функциональных грамматик//Вестник Бурятского государственного университета. -Улан-Удэ: Изд-во Бурятского госуниверситета, 2012. №9. с. 33-41.
- Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика. Пер. с англ.-М.: Мир, 1985. -606 с.
- Кубенский А. А. Функциональное программирование -М.: Издательство Юрайт, 2017. -348 с.
