Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 3
Отмеченные записи: 0
1.
Подробнее
Смальян, Раймонд М.
Теория формальных систем / Р. Смальян ; пер. с англ. Н. К. Косовского. - Москва : Наука, 1981. - 207 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 202-204.
Кл.слова (ненормированные):
математика -- алгорифмы -- теория рекурсивных функций -- современная математика -- математическая логика -- математические исследования (XX век) -- Поста методы
Доп.точки доступа:
Косовский, Н. К. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Смальян, Раймонд М.
Теория формальных систем / Р. Смальян ; пер. с англ. Н. К. Косовского. - Москва : Наука, 1981. - 207 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 202-204.
| УДК |
Кл.слова (ненормированные):
математика -- алгорифмы -- теория рекурсивных функций -- современная математика -- математическая логика -- математические исследования (XX век) -- Поста методы
Доп.точки доступа:
Косовский, Н. К. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
2.
Подробнее
Катленд, Найджел.
Вычислимость. Введение в теорию рекурсивных функций / Н. Катленд ; пер. с англ. А. А. Мучника. - Москва : Мир, 1983. - 256 c. : ил., табл. - Библиогр. : с. 252-254.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
математика -- вычислимые функции -- теория вычислимых функций -- Майхилла теорема -- арифметика -- Геделя теорема -- Черча теорема -- теория рекурсивных функций -- вычисления (математика) -- программирование
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Катленд, Найджел.
Вычислимость. Введение в теорию рекурсивных функций / Н. Катленд ; пер. с англ. А. А. Мучника. - Москва : Мир, 1983. - 256 c. : ил., табл. - Библиогр. : с. 252-254.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
математика -- вычислимые функции -- теория вычислимых функций -- Майхилла теорема -- арифметика -- Геделя теорема -- Черча теорема -- теория рекурсивных функций -- вычисления (математика) -- программирование
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
3.
Подробнее
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость / Х. Роджерс ; пер. с англ. В. А. Душского, М. И. Кановича, Е. Ю. Ногиной. - Москва : Мир, 1972. - 624 c. - Библиогр. : с. 587-599.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
рекурсивная инвариантность -- теория рекурсивных функций -- вычислимость -- теория алгоритмов -- алгоритм -- математическая логика -- творческие множества (математика) -- сводимости (математика) -- гиперпростые множества -- математика -- неполные множества -- теорема о рекурсии
Доп.точки доступа:
Душский, В. А. \пер.\
Канович, М. И. \пер.\
Ногина, Е. Ю. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость / Х. Роджерс ; пер. с англ. В. А. Душского, М. И. Кановича, Е. Ю. Ногиной. - Москва : Мир, 1972. - 624 c. - Библиогр. : с. 587-599.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
рекурсивная инвариантность -- теория рекурсивных функций -- вычислимость -- теория алгоритмов -- алгоритм -- математическая логика -- творческие множества (математика) -- сводимости (математика) -- гиперпростые множества -- математика -- неполные множества -- теорема о рекурсии
Доп.точки доступа:
Душский, В. А. \пер.\
Канович, М. И. \пер.\
Ногина, Е. Ю. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Страница 1, Результатов: 3