Содержание
1 Введение
1.1 Цель и предмет исследования .
1.2 История и аналоги
1.3 Основные результаты, выносимые на защиту.
2 Математические основы Построителя
2.1 Что содержит Построитель
2.2 Некоторые сведения о применяемых алгоритмах
2.2.1 Действия с перестановками
2.2.2 Дроби .
2.2.3 Линейная алгебра
2.2.4 Арифметика многочленов.
2.2.5 Факторизация многочленов.
2.2.6 Базис Гребнера.
2.2.7 Симметрические функции
2.3 х кольца .
2.3.1 Многочлены над севклидовым кольцом .
2.3.2 Прямая сумма колец.
2.3.3 Кольцо остатков .
2.3.4 Преобразования описаний колец
2.3.5 йхдействия в программах
2.4 Усиление способа Л Л Л Григорьева
разложения на простые множители в Ра,у
2.4.1 Нахождение неприводимого множителя многочлена из х
для конечного поля Р
2.4.2 Обоснование правильности алгоритма.
2.4.3 Оценка сложности
2.5 Выводы .
3 Общие требования к языку программирования
3.1 Гибкость стратегии вычисления .
3.2 Функциональность.
3.3 Богатые средства задания типов.
3.4 Категорность
3.5 Поддержка полиморфизма
3.6 Поддержка стандартных отображений между областями
3.7 Выразимость свойств значений.
3.7.1 Категории алгебраической библитеки проекта.
3.7.2 О логическом программировании в языках ,
3.7.3 О применении правил, равенств .
3.8 Выводы
4 Параметрические алгебраические области
4.1 Архитектура библиотеки основной алгебры .
4.1.1 Ключевые черты проекта.
4.1.2 Категории, представленные в проекте
4.1.3 Начальный пример.
4.1.4 Использование подхода образца.
4.1.5 Смысл случаев для параметрической области .
4.2 О расширении языка зависимыми типами
5 Заключение
Список литературы
- Київ+380960830922