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