M2001 - M2001

M2001 это модульный образовательный математический язык программирования для разработки и представления математических алгоритмов, от современной дискретной до классической непрерывной математики. M2001 построен на семантической структуре, основанной на теория категорий и имеет синтаксис, аналогичный синтаксису Паскаль или же Модула-2.

Он разработан исключительно для педагогических целей, поэтому эффективность и простота реализации были гораздо менее важны при его разработке, чем универсальность и диапазон применения. Он был создан, чтобы сыграть важную роль в формировании формальной алгоритмической основы для студентов-математиков первого курса колледжа.

Обзор

На основе многоуровневой схемы ввода данных M2001 включает в себя набор из восьми вычислительные типы и еще шесть структурированные типы. Над этими двумя, соответственно, коллекциями математические классы и из абстрактные классы были построены, последние включают наиболее часто используемые абстрактные типы данных в Информатика:

  матричный полином рациональный стек очередь список powerseries последовательность дерево граф орграф МАТЕМАТИЧЕСКИЕ КЛАССЫ                      АБСТРАКТНЫЕ КЛАССЫ            | | | | | | + ------------------------- + --------------------- + | | | набор суммы продукта строка экспоненциальный подобласть СТРУКТУРНЫЕ ВИДЫ                                      | | | логический символ натуральный целочисленный рациональный сложный текст ВЫЧИСЛИТЕЛЬНЫЕ ВИДЫ

Два нижних уровня схемы набора текста M2001 были основаны на более раннем экспериментальном названии Язык программирования CAT.

Рекомендации

Модульный язык математического программирования Рональда Э. Пратера [1]