Значок книги

Вычислимость. Введение в теорию рекурсивных функций Н. Катленд ; перевод с английского А. А. Мучника ; под редакцией С. Ю. Маслова

Сохранить в:

Библиографические подробности
Автор:	Катленд Н.
Тип документа:	Книга
Язык:	Russian English
Год издания:	Москва Мир 1983
Рубрика:	Вычисление
Ключевые слова:	Функции рекурсивные Вычисление

Схожие документы

Локальная теория степеней неразрешимости и ∆ 2˚-множества
Автор: Арсланов М. М.
Год издания: (1987)

Численные методы приближения функций
Автор: Бердышев В. И.
Год издания: (1979)

Асимптотические оценки и целые функции
Автор: Евграфов М. А.
Год издания: (1979)

Вычисление блоховских функций
Автор: Займан Дж. М.
Год издания: (1973)

Теория операторов, субгармонические функции
Год издания: (1991)

Введение в теорию бесселевых функций
Автор: Коренев Б. Г.
Год издания: (1971)

Вычисление элементарных функций на ЭВМ
Автор: Благовещенский Ю. В.
Год издания: (1977)

Введение в теорию обобщенных функций с приложениями в технике
Автор: Кеч В.
Год издания: (1978)

Специальные функции и определенные интегралы
Автор: Цимринг Ш. Е.
Год издания: (1988)

Введение в теорию функций комплексного переменного
Автор: Привалов И. И.
Год издания: (1999)

Таблицы для вычисления интегралов от функций со степенными особенностями ¹∫₀xaf(x)dx, ¹∫₀xa(1-x)af(x)dx
Автор: Крылов В. И.
Год издания: (1971)

Введение в общую теорию множеств и функций
Автор: Александров П. С.
Год издания: (1948)

Численные методы выпуклой оптимизации
Автор: Нурминский Е. А.
Год издания: (1991)

Устойчивость движения
Автор: Зубов В. И.
Год издания: (1984)

Одномерные сингулярные операторы и краевые задачи теории функций
Автор: Солдатов А. П.
Год издания: (1991)

Краткий курс теории функций вещественной переменной. Введение в теорию интеграла
Автор: Вулих Б. З.
Год издания: (1973)

Вычисление элементарных функций в ЭКВМ
Автор: Байков В. Д.
Год издания: (1982)

Параллельные вычисления в комплексной плоскости
Автор: Амербаев В. М.
Год издания: (1984)

Таблицы для численного интегрирования функций с логарифмическими и степенными особенностями 1∫0xα ln e/x f(x)dx, 1∫0xβ ln e/x ln e/1-x f(x)dx, 1∫0ln 1/x f(x)dx, ∞∫0xβe-x ln(1+1/x)f (x)dx.
Автор: Крылов В. И.
Год издания: (1967)

Введение в теорию функций с обобщенными производными и квазиконформные отображения
Автор: Гольдштейн В. М.
Год издания: (1983)

Обобщенный прямой метод Ляпунова для систем с распределенными параметрами
Автор: Шестаков А. А.
Год издания: (1990)

Теория многозарядных ионов с одним и двумя электронами
Автор: Запрягаев С. А.
Год издания: (1985)

Вычисление определенного интеграла методом симпсона
Автор: Антипов И. Н.
Год издания: (1964)

Вычислимость и логика
Автор: Булос Д.
Год издания: (1994)

Технология разреженных матриц
Автор: Писсанецки С.
Год издания: (1988)

Однозначные аналитические функции
Автор: Голубев В. В.
Год издания: (1961)

Теория вычисления преобразования Фурье
Автор: Задирака В. К.
Год издания: (1983)

Ортогональные многочлены по двум переменным
Автор: Суетин П. К.
Год издания: (1988)

Вычисление рядов распределений
Автор: Ежов А. И.
Год издания: (1973)

Элементы теории функций. Функции действительного переменного. Приближение функций. Почти-периодические функции
Автор: Гутер Р. С.
Год издания: (1963)

Функции Бесселя
Автор: Кочетова Н. В.
Год издания: (1969)

Язык аналитических вычислений REDUCE
Автор: Еднерал В. Ф.
Год издания: (1989)

Кольца и модули
Год издания: (1986)

Теория функций
Автор: Гурвиц А.
Год издания: (1968)

Аналитические функции
Автор: Балирон Ж.
Год издания: (1957)

Теория функций
Год издания: (1989)

Специальные функции
Автор: Коноплев В. П.
Год издания: (1972)

Трансцендентные функции
Автор: Кратцер А.
Год издания: (1963)

Специальные функции
Автор: Дивари
Год издания: (1972)

Элементарные функции
Год издания: (1991)