Зведений каталог бібліотек Києва

 

В1
А456Матросов, В. М.
    Алгоритмы вывода теорем метода векторных функций Ляпунова [Текст] : монография / АН СССР, Сибирское отделение, Иркутский вычислительный центр; под ред.: Матросова В. М. — Новосибирск : Наука, 1981. — 271 с. : ил. 17 + табл. 11.


- Ключові слова:

рівняння диференціальне, уравнение дифференциальное, differential equation ; математика вища, математика высшая, higher mathematics

- Анотація:

В монографии впервые излагаются алгоритмы вывода теорем о динамических свойствах систем с вектор-функциями Ляпунова на базе принципа сравнения в математический теории систем, позврлившие осуществит машинный вывод теорем методом вектор-функций Ляпунова и получить на ЭВМ сотня теорем, являющихся полными или модификациями и обобщениями известных.

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

  • ББК науковий // Диференціальні рівняння
  • ББК науковий // Теорія ймовірностей. Математична статистика



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