Яхонтов С.
| |
Библиография книг автора
 |
Яхонтов С.
FLINSPACE конструктивные вещественные числа и функции
Книга содержит подробное обсуждение конструктивных вещественных чисел и функций с ограниченной емкостной сложностью вычисления рациональных приближений....
|
Нет в наличии |
 |
Косовская Т.
Косовский Н.К.
Яхонтов С.
Эффективные по времени и памяти алгоритмические приближения чисел и функций. Учебное пособие
Учебное пособие содержит подробное обсуждение алгоритмических вещественных и комплексных чисел и функций с ограниченной сложностью вычисления рационально-значных приближений. В качестве основной вычислительной модели для определения алгоритмических чисел и функций используется машина Тьюринга....
|
Нет в наличии |
 |
Яхонтов С.
Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие | Яхонтов Сергей Викторович
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ....
|
от 679 руб. |