СИСТЕМА АЛГЕБРАЇЧНОГО ПРОГРАМУВАННЯ

ПРИЗНАЧЕННЯ:

Для розроблення прикладних програм за допомогою мови алгебраїчного програмування APLAN.

ТЕХНІЧНІ ХАРАКТЕРИСТИКИ:

Cумісність із середовищами Linux та Windows, наявність on-line режиму.

РЕКОМЕНДОВАНА ГАЛУЗЬ ВИКОРИСТАННЯ:

Організації, які створюють системи верифікації, тестування, аналізу, трансформації програм.

ПЕРЕВАГИ:

Не має аналогів в Україні. Є найшвидшою у світі системою переписування термів порівняно з іншими світовими аналогами. Система має інтерфейси з усіма основними відомими системами автоматичного доказу теорем або системами алгебраїчного програмування, призначеними для розв’язання окремих задач.

 

ЯКЩО ВАС ЗАЦІКАВИЛА ДАНА РОЗРОБКА, БУДЬ-ЛАСКА,

НАПИШІТЬ НАМ

Залишити відповідь

Ваша e-mail адреса не оприлюднюватиметься. Обов’язкові поля позначені *