?
Программные средства поддержки практикума по функциональному программированию
.
Agamirzian I., Иванов А. С., В кн. : Записки научных семинаров ЛОМИ. : Л. : Наука, 1981.
Рассматриваются механизмы моделирования абстрактных классов данных и структур управления через процедурные конструкции. ...
Added: February 8, 2017
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
Легалов А. И., Непомнящий О. В., Рыженко И. Н., Известия ЮФУ. Технические науки 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
Петренко А. А., Suvorov A., Шаякбаров Н. Ф., Пермь : Издательство Пермского национального исследовательского политехнического университета, 2022
Рассмотрены вопросы, касающиеся языков функционального программирования: особенности применения, синтаксис, функции. Приведено большое количество содержательных примеров решения задач, демонстрирующих возможности языков функционального программирования.
Предназначено студентам образовательных учреждений высшего образования, обучающимся по специальностям направлений «Информатика и вычислительная техника», «Программная инженерия», а также лицам, самостоятельно изучающим функциональное программирование. ...
Added: October 25, 2022
Pavolotsky A. V., Левицкая Н. И., В кн. : Образование и наука: проблемы и перспективы развития. : Махачкала : Махачкалинский инновационный университет, 2014. С. 192-211.
В статье рассматриваются вопросы развития алгоритмического мышления студентов, изучающих информатику, на примере овладения ими технологий функционального программирования ...
Added: February 22, 2015
Zykov S. V., Юрайт, 2023
Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. Первый раздел курса посвящен основам функционального подхода к программированию на основе языка F#, второй — основам объектно-ориентированного подхода на примере ...
Added: June 5, 2023
Zykov S. V., Юрайт, 2017
Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированных сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей учебника является формирование точки зрения на современную теорию и практику программирования. ...
Added: March 21, 2018
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
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
Zykov S. V., Ай Пи Ар Медиа, 2022
Данное учебное пособие базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернет-ориентированной архитектурной платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования в различных парадигмах. Целью издания является формирование адекватного взгляда на современное программирование. Первая часть книги посвящена основам функционального подхода к программированию на основе языка ...
Added: June 5, 2023
Lesovskaya I. N., Kurak M. V., М. : Издательский дом ВВИА им. проф. Н.Е.Жуковского, 2005
Added: November 24, 2008
Zykov S. V., М. : Юрайт, 2015
Книга базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET, обеспечивающей практически прозрачную инте- грацию кода на языках программирования различных типов. Целью издания является формирование адекватного мировоззрения на современное программирование. Первая часть книги посвящена основам функционального подхода к программированию на основе языка F#. Вторая ...
Added: February 12, 2016