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

12+

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

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

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

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

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

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

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

Поступила в редакцию 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