Моделирование рекурсивных алгоритмов средствами теории типов Мартин-Лефа / Ռեկուրսիվ ընթացակարգերի մոդելավորումը Մարթին-Լյոֆի տիպերի տեսույան միջոցներում

Abstract

С усложнением создаваемых программных комплексов становится актуальным логический подход к автоматизации процесса создания моделей, т. е. построение логических моделей / Կառուցվող ծրագրային համակարգերի բարդացմանը զուգընթաց հրատապ է դառնում մոդելների ստեղծման ավտոմատացման նկատմամբ տրամաբանական մոտեցումը՝ տրամաբանական մոդելները