ПРОГРАММНЫЕ СИСТЕМЫ: ТЕОРИЯ И ПРИЛОЖЕНИЯ

12+

Электронный научный журнал Института программных систем имени А.К. Айламазяна Российской академии наук

Титульная страница
О журнале
Редакция
Процесс публикации
Научная этика
Авторам
Выпуски журнала
Архив выпусков

Статьи представлены в формате PDF

Для чтения файлов в формате PDF рекомендуется
программа Adobe Reader

 


• Содержание выпуска •
• Информационные системы в медицине •
• Математические основы программирования •

Математические основы программирования

Ответственные за рубрику: д.ф.-м.н. Непейвода Н.Н.

Слева для каждой статьи показаны: присвоенный статье порядковый номер; дата поступления статьи в редакцию; количество страниц статьи в формате А5; ссылка на полный текст статьи в формате PDF .

 

18

Поступила в редакцию 04.08.2014

Подписана в печать 29.09.2014

24 с.

PDF

Мешвелиани С.Д.
O зависимых типах и интуиционизме в программировании математики
 

Обсуждается практическая возможность доказуемого программирования математики на основе подхода конструктивизма и применения языка с зависимыми типами (dependent types, proof carrying code). Принципы конструктивизма и доказуемого программирования объясняются на примерах. Рассмотрение опирается на опыт реализации на языке Agda небольшой библиотеки вычислительной алгебры, включающей арифметику области остатков R/(b) для евклидова кольца R.
Ключевые слова: конструктивная математика, алгебра, зависимые типы, Coq, Agda, Haskell.

Ссылка на статью обязательна

 http://psta.psiras.ru/read/psta2014_3_27-50.pdf

• Содержание выпуска •
• Информационные системы в медицине •
• Математические основы программирования •

 

Адрес редакции: 152021, Ярославская обл., Переславский район, село Веськово, ул. Петра Первого, д. 4 "а"
Тел.: (4852) 695-228.       E-mail: info@psta.psiras.ru.      Сетевой адрес издания: http://psta.psiras.ru

© Электронный научный журнал «Программные системы: теория и приложения» (дизайн) 2010-2017
© Институт программных систем имени А.К. Айламазяна РАН  2010-2018