?
Программные средства поддержки практикума по функциональному программированию
.
В данной работе характеризуются программные средства, разработанные в поддержку практикума по функциональному программированию, проводимого у студентов кафедры алгоритмических языков факультета ВМК МГУ. Программные средства включают интерпретатор для языка Рефал-2У, среду разработки рефал-программ, а также средство пошаговой интерпретации и визуализации выражений языка Хаскель. Реализованные средства предназначены в первую очередь для использования начинающими программистами – студентами 3 курса, изучающими языки Рефал-2 и Хаскель.
Мыльников Л. А., Салтыкова А. Д., Научно-техническая информация. Серия 2: Информационные процессы и системы 2024 № 12 С. 1–8
Рассматривается необходимость получения объективных оценок эффективности организации процессной деятельности на основе цифровых двойников. Описана методика установления соответствия между структурно-функциональными моделями в нотации EPM (Event-driven Process Methodology) и знаково-символьным описанием, которое может быть переведено на язык программирования на основе группы правил. Приведены примеры получения знаково-символьного описания и программ на языке R по заданной структурно-функциональной модели, а ...
Добавлено: 15 марта 2025 г.
Зыков С. В., Ай Пи Ар Медиа, 2022.
Данное учебное пособие базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернет-ориентированной архитектурной платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования в различных парадигмах. Целью издания является формирование адекватного взгляда на современное программирование. Первая часть книги посвящена основам функционального подхода к программированию на основе языка ...
Добавлено: 5 июня 2023 г.
Зыков С. В., Юрайт, 2023.
Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. Первый раздел курса посвящен основам функционального подхода к программированию на основе языка F#, второй — основам объектно-ориентированного подхода на примере ...
Добавлено: 5 июня 2023 г.
Петренко А. А., Суворов А. О., Шаякбаров Н. Ф., Пермь: Издательство Пермского национального исследовательского политехнического университета, 2022.
Рассмотрены вопросы, касающиеся языков функционального программирования: особенности применения, синтаксис, функции. Приведено большое количество содержательных примеров решения задач, демонстрирующих возможности языков функционального программирования.
Предназначено студентам образовательных учреждений высшего образования, обучающимся по специальностям направлений «Информатика и вычислительная техника», «Программная инженерия», а также лицам, самостоятельно изучающим функциональное программирование. ...
Добавлено: 25 октября 2022 г.
Поспелов И. Г., Жукова А. А., , in: 2020 European Control Conference (ECC).: Institute of Electrical and Electronics Engineers Inc., 2020. P. 1129–1134.
Добавлено: 8 декабря 2020 г.
Легалов А. И., Непомнящий О. В., Рыженко И. Н., Известия ЮФУ. Технические науки 2018 Т. 202 № 8 С. 38–47
Одним из актуальных направлений развития технологий проектирования сверхбольших интегральных схем и вычислительных систем на их основе является высокоуровневый синтез. При описании проекта на верхних уровнях закладываются концепции общесистемного взгляда на организацию всего процесса проектирования. Поэтому на первый план выходит развитие маршрутов и технологий, базирующихся на принципах высокоуровневого, архитектурно независимого проектирования, позволяющих осуществлять формирование комплексного подхода ...
Добавлено: 29 октября 2020 г.
Зыков С. В., Юрайт, 2017.
Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированных сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей учебника является формирование точки зрения на современную теорию и практику программирования. ...
Добавлено: 21 марта 2018 г.
Сошников Д. В., Kirilenko I., , in: 10th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR 2014.: M.: Association for Computing Machinery (ACM), 2014.
Добавлено: 17 августа 2017 г.
M.: Association for Computing Machinery (ACM), 2014.
Добавлено: 17 августа 2017 г.
I. R. Agamirzyan, Ivanov A. S., , in: Journal of Soviet Mathematics.: Springer, 1984.
Добавлено: 8 февраля 2017 г.
Агамирзян И. Р., Иванов А. С., В кн.: Записки научных семинаров ЛОМИ.: Л.: Наука, 1981.
Рассматриваются механизмы моделирования абстрактных классов данных и структур управления через процедурные конструкции. ...
Добавлено: 8 февраля 2017 г.
Зыков С. В., М.: Юрайт, 2015.
Книга базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET, обеспечивающей практически прозрачную инте- грацию кода на языках программирования различных типов. Целью издания является формирование адекватного мировоззрения на современное программирование. Первая часть книги посвящена основам функционального подхода к программированию на основе языка F#. Вторая ...
Добавлено: 12 февраля 2016 г.
Паволоцкий А. В., Левицкая Н. И., В кн.: Образование и наука: проблемы и перспективы развития.: Махачкала: Махачкалинский инновационный университет, 2014. С. 192–211.
В статье рассматриваются вопросы развития алгоритмического мышления студентов, изучающих информатику, на примере овладения ими технологий функционального программирования ...
Добавлено: 22 февраля 2015 г.
Лесовская И. Н., Курак М. В., М.: Издательский дом ВВИА им. проф. Н.Е.Жуковского, 2005.
Добавлено: 24 ноября 2008 г.