Новые поступления (книга в стадии обработки) Котов, В. Е. Теория схем программ [Текст] / В. Е. Котов. - М. : Наука, 1991. - 248 с. ; 20см. - ISBN 5-02-013974-2 : 4.80 р.
Рубрики: Математика--Вычислительная математика Кл.слова (ненормированные): математика -- вычислительная математика -- теоретическое программирование -- вычислимость -- разрешимость -- графы -- конечные автоматы -- стандартные схемы -- схемы программ -- рекурсивные схемы -- обогащенные схемы -- структурированные схемы Аннотация: Проведено систематизированное изложение раздела теоретического программирования, изучающего неинтерпретированные модели программ- их схемы, отражающие структурные особенности программ и в определенной мере абстрагирующиеся от их функциональной сущности. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Информационно-вычислительные проблемы автоматизации научных исследований [Текст] : сборник / Акад. наук СССР. - М. : Наука, 1983. - 225 с. : ил. ; 21 см. - Библиогр.: с. 248 (7 назв.). - 1.90 р.
Рубрики: Наука--Научный труд Кл.слова (ненормированные): ЯЗЫК ПРОГРАММИРОВАНИЯ -- МАТЕМАТИЧЕСКИЕ МОДЕЛИ -- СТАТИСТИЧЕСКИЙ АНАЛИЗ -- РЕКУРСИВНЫЕ СХЕМЫ -- ИСПОЛЬЗОВАНИЕ ЭВМ -- АЛГОРИТМ РАСЧЕТА -- КОДИРОВАНИЕ ИЗОБРАЖЕНИЙ Аннотация: В книге рассматриваются вопросы, связанные с автоматизацией научных исследований на основе вычислительных систем коллективного пользования. Дан анализ проблем создания локальных автоматизированных информационных систем, использования баз данных и математического обеспечения. Исследованы пути выполнения оптимальных систем управления многофункциональными робототехническими комплексами. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |