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

 

Доценко, В. А.
    Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів [Текст] / В.А. Доценко // . — С. 655-662.


- Анотація:

Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто приклади застосування конструктивного алгоритму зворотного методу для секвенцій різного вигляду, а також випадку, коли застосування конструктивного алгоритму зворотного методу не є ефективним.

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

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

  • УДК // Обчислювальна математика. Числовий аналіз
  • УДК // Точна механіка та автоматика



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