Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

Водопьянов, В. К.
    Алгебра слабо эквивалентных преобразований алгоритмов [Текст] / В.К. Водопьянов // Автоматизированные системы управления : тематич. сб. науч. трудов / под ред. Э. В. Лысенко. — Х. : ХАИ, 1981. — С. 73.

- Анотація:

В работе удалось решить проблему слабой эквивалентности алгоритмов для класса вычислительных алгоритмов путем разработки специального исчысления и соответствущей аксиоматической системы для организации дедуктивных выводов.

- Є складовою частиною документа:

- Теми документа

  • УДК // Алгоритми
  • Праці співробітників ХАІ // Водоп'янов В.К./Водопьянов В.К.
  • Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт