Подробное описание документа
Васюков А. Н.
Логико-алгебраические методы решения геометрических задач и разработка программного обеспечения САПР / Васюков А. Н., Комаров Ю. А., Янович И. А. ; Академия наук Украинской ССР, Институт кибернетики им. В. М. Глушкова ; отв. ред. Скурихин В. И. - Киев : Наукова думка, 1991. - 138 с. : ил. - Библиогр.:
В книге изложен общий подход к решению широкого класса задач вычислительной геометрии, основанный на формализации задач как формул теории вещественно замкнутых полей и применении разрешающего алгоритма этой теории. Описана параметрическая модель геометрического объекта и реализующий её язык, в рамках которых можно формализовать процесс конструирования.
Рассчитана на математиков-прикладников и инженерно-технических работников в области САПР. Она также может быть полезна в качестве основы для подготовки спецкурсов на факультетах прикладной математики и кибернетики университетов.
681.5 Автоматика. Теория, методы расчета и аппаратура систем автоматического управления и регулирования. Техническая кибернетика. Техника автоматизации1 экз.![]()
- Преподавательский абонемент ауд.313, ГУК, ауд. 313
- Читальный зал ауд.313, ГУК, ауд. 313
