Подробное описание документа

   Логико-алгебраические методы решения геометрических задач и разработка программного обеспечения САПР. - 1991. - 138 с.

Аннотация

В книге изложен общий подход к решению широкого класса задач вычислительной геометрии, основанный на формализации задач как формул теории вещественно замкнутых полей и применении разрешающего алгоритма этой теории. Описана параметрическая модель геометрического объекта и реализующий её язык, в рамках которых можно формализовать процесс конструирования.
Рассчитана на математиков-прикладников и инженерно-технических работников в области САПР. Она также может быть полезна в качестве основы для подготовки спецкурсов на факультетах прикладной математики и кибернетики университетов.

УДК

681.5 Автоматика. Теория, методы расчета и аппаратура систем автоматического управления и регулирования. Техническая кибернетика. Техника автоматизации

Предметные рубрики

• Геометрия прикладная
• Программное обеспечение автоматизированных систем проектирования

Общее кол-во в фондах

1 экз.

Заказать в читальный зал

Заявка на закупку

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313