?
Функциональное и логическое программирование. Учебно-методическое пособие
M. :
Издательство ВВИА им. проф. Н.Е.Жуковского, 2005.
Lesovskaya I. N., Kurak M. V.
Language:
Russian
Mylnikov L., Saltykova A., Научно-техническая информация. Серия 2: Информационные процессы и системы 2024 № 12 С. 1–8
Рассматривается необходимость получения объективных оценок эффективности организации процессной деятельности на основе цифровых двойников. Описана методика установления соответствия между структурно-функциональными моделями в нотации EPM (Event-driven Process Methodology) и знаково-символьным описанием, которое может быть переведено на язык программирования на основе группы правил. Приведены примеры получения знаково-символьного описания и программ на языке R по заданной структурно-функциональной модели, а ...
Added: March 15, 2025
Петренко А. А., Suvorov A., М.: Общество с ограниченной ответственностью «Научно-издательский центр ИНФРА-М», 2025.
В учебнике рассмотрены вопросы, которые касаются языков логического программирования: особенности применения, синтаксис, функции. Приведено большое количество содержательных примеров решения задач, демонстрирующих возможности языков логического программирования. Соответствует требованиям федеральных государственных образовательных стандартов высшего образования последнего поколения. Для студентов высших учебных заведений, обучающихся по направлениям подготовки «Информационные технологии автоматизированных систем», «Программная инженерия», «Прикладная информатика, а также лиц, ...
Added: January 20, 2025
Zykov S. V., Ай Пи Ар Медиа, 2022.
Данное учебное пособие базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернет-ориентированной архитектурной платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования в различных парадигмах. Целью издания является формирование адекватного взгляда на современное программирование. Первая часть книги посвящена основам функционального подхода к программированию на основе языка ...
Added: June 5, 2023
Zykov S. V., Юрайт, 2023.
Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. Первый раздел курса посвящен основам функционального подхода к программированию на основе языка F#, второй — основам объектно-ориентированного подхода на примере ...
Added: June 5, 2023
Петренко А. А., Suvorov A., Шаякбаров Н. Ф., Пермь: Издательство Пермского национального исследовательского политехнического университета, 2022.
Рассмотрены вопросы, касающиеся языков функционального программирования: особенности применения, синтаксис, функции. Приведено большое количество содержательных примеров решения задач, демонстрирующих возможности языков функционального программирования.
Предназначено студентам образовательных учреждений высшего образования, обучающимся по специальностям направлений «Информатика и вычислительная техника», «Программная инженерия», а также лицам, самостоятельно изучающим функциональное программирование. ...
Added: October 25, 2022
Pospelov I. G., Zhukova A., , in: 2020 European Control Conference (ECC).: Institute of Electrical and Electronics Engineers Inc., 2020. P. 1129–1134.
This paper presents the approach to solving optimal control problems that appear in economic models using the Lagrange's multipliers method. This method is not as widely used as it might be, taking into accounts its benefits and convenience. The power of this method for intertemporal general equilibrium allows building complex structural models of the whole ...
Added: December 8, 2020
Легалов А. И., Непомнящий О. В., Рыженко И. Н., Известия ЮФУ. Технические науки 2018 Т. 202 № 8 С. 38–47
The problem of high-level design of complex functional circuits and systems intended for implementation in the form of VLSI is considered. The basic shortcomings of existing approaches are revealed and a conceptually new method of project synthesis is proposed. The method is based on the functional-streaming paradigm of parallel computing, it allows for implementation of ...
Added: October 29, 2020
Zykov S. V., Юрайт, 2017.
Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированных сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей учебника является формирование точки зрения на современную теорию и практику программирования. ...
Added: March 21, 2018
Soshnikov D. V., Kirilenko I., , in: 10th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR 2014.: M.: Association for Computing Machinery (ACM), 2014.
Added: August 17, 2017
M.: Association for Computing Machinery (ACM), 2014.
Added: August 17, 2017
I. R. Agamirzyan, Ivanov A. S., , in: Journal of Soviet Mathematics.: Springer, 1984.
The article considers the use of the procedure mechanism with procedure type parameters in modular organization of programs and program systems. Descriptions of modules realizing various types of abstractions with the aid of this mechanism are demonstrated. The notion of a mixed abstraction is introduced and a method of its realization by the procedure mechanism ...
Added: February 8, 2017
Agamirzian I., Иванов А. С., В кн.: Записки научных семинаров ЛОМИ.: Л.: Наука, 1981.
Рассматриваются механизмы моделирования абстрактных классов данных и структур управления через процедурные конструкции. ...
Added: February 8, 2017
Zykov S. V., М.: Юрайт, 2015.
Книга базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET, обеспечивающей практически прозрачную инте- грацию кода на языках программирования различных типов. Целью издания является формирование адекватного мировоззрения на современное программирование. Первая часть книги посвящена основам функционального подхода к программированию на основе языка F#. Вторая ...
Added: February 12, 2016
Bolshakova E. I., Баева Н. В., Груздева Н. В., В кн.: Программные системы и инструменты: Тематический сборник, № 16.: М.: МАКС Пресс, 2015.
В данной работе характеризуются программные средства, разработанные в поддержку практикума по функциональному программированию, проводимого у студентов кафедры алгоритмических языков факультета ВМК МГУ. Программные средства включают интерпретатор для языка Рефал-2У, среду разработки рефал-программ, а также средство пошаговой интерпретации и визуализации выражений языка Хаскель. Реализованные средства предназначены в первую очередь для использования начинающими программистами – студентами 3 ...
Added: December 16, 2015
Pavolotsky A. V., Левицкая Н. И., В кн.: Образование и наука: проблемы и перспективы развития.: Махачкала: Махачкалинский инновационный университет, 2014. С. 192–211.
В статье рассматриваются вопросы развития алгоритмического мышления студентов, изучающих информатику, на примере овладения ими технологий функционального программирования ...
Added: February 22, 2015
Парамонов А. И., В кн.: Научно-техническая конференция студентов, аспирантов и молодых специалистов МИЭМ, посвященная 50-летию МИЭМ.: М.: Московский государственный институт электроники и математики, 2012. С. 124–124.
В статье рассматривается подсистема верификации в реализации SWI-PROLOG. ...
Added: April 4, 2013