Уточнить поиск
Наличие
-
Авторы
- А. Н. Рыбалов (1)
- А.К. Гуц (1)
- А.Н. Рыбалов (1)
- Г.Ч. Мавликасова (1)
- Гуц А. К. Александр Константинович (1)
- Ершов Ю. Л. 1940- Юрий Леонидович (1)
- Ин-т математики СО РАН и др (1)
- М-во образования РФ, Ом. гос. ун-т (2)
- М-во образования РФ, Омский гос. ун-т (1)
- М-во образования и науки Рос. Федерации, Федер. гос. бюджет. образоват. учреждение высш. образования "Ом. гос. ун-т им. Ф.М. Достоевского" (1)
- М-во общ. и проф. образования РФ, Ом. гос. ун-т (1)
- Мавликасова Г. Ч. (1)
- Р.В. Романов (1)
- Романов Р. В. (1)
- Рыбалов А. Н. (2)
- Ю.Л. Ершов (1)
- Показать больше
- Показать меньше
-
Item types
- Книга (6)
-
Места хранения
-
Заглавие серии
-
Предметные рубрики
- Алгоритм (1)
- Алгоритмы (1)
- Вычислимость (1)
- Вычислимость (мат.) (2)
- Интуиционизм (1)
- Категории (мат.) (1)
- Логика интуиционистская (1)
- Математика конструктивная (1)
- Машина Тьюринга (1)
- Обобщенная вычислимость (6)
- Реализуемость Клини (1)
- Рекурсивные функции (1)
- Теория вычислений (1)
- Топос (1)
- Топосы (мат.) (1)
- Учебные издания для высших учебных заведений (1)
- Функция рекурсивная (1)
- Показать больше
- Показать меньше
-
Коллекции
-
Библиотека хранения
- РНБ (Московский) (5)
-
Языки
- русский (rus) (6)