Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана

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

Васюков А. Н., Комаров Ю. А., Янович И. А.
   Логико-алгебраические методы решения геометрических задач и разработка программного обеспечения САПР / Васюков А. Н., Комаров Ю. А., Янович И. А. ; Академия наук Украинской ССР, Институт кибернетики им. В. М. Глушкова ; отв. ред. Скурихин В. И. - Киев : Наукова думка, 1991. - 138 с. : ил. - Библиогр.: с. 135-138. - ISBN 5-12-001272-8.

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

681.5 Автоматика. Теория, методы расчета и аппаратура систем автоматического управления и регулирования. Техническая кибернетика. Техника автоматизации
1 экз.
Вы можете получить данный документ в одном из следующих отделов
  1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
  2. Читальный зал ауд.313, ГУК, ауд. 313