Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
К 964
Кушнер, Борис Абрамович.
Лекции по конструктивному математическому анализу / Б. А. Кушнер. - Москва : Наука, 1973. - 447 c. - (Математическая логика и основания математики). - Библиогр. : с. 427-440
Кл.слова (ненормированные):
конструктивные функции -- конструктивные действительные числа -- конструктивная сходимость -- интегрирование конструктивных функций -- математика -- перечислиме множества -- сингулярные покрытия -- континуум -- дифференцирование функций -- нормальные алгорифмы
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (402) (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (402) (1)
К 964
Кушнер, Борис Абрамович.
Лекции по конструктивному математическому анализу / Б. А. Кушнер. - Москва : Наука, 1973. - 447 c. - (Математическая логика и основания математики). - Библиогр. : с. 427-440
| УДК |
Кл.слова (ненормированные):
конструктивные функции -- конструктивные действительные числа -- конструктивная сходимость -- интегрирование конструктивных функций -- математика -- перечислиме множества -- сингулярные покрытия -- континуум -- дифференцирование функций -- нормальные алгорифмы
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (402) (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (402) (1)
2.
Подробнее
М 876
Мощенский, Владимир Андреевич.
Лекции по математической логике : учебное пособие для математических специальностей вузов / В. А. Мощенский. - Минск : Изд-во Белорусского университета, 1973. - 159 c. - Библиогр. : с. 154.
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
машины Тьюринга -- исчисление высказываний -- вычислимые функции -- исчисление предикатов -- булевы функции -- логика высказываний -- алгоритмы -- нормальные алгорифмы
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
М 876
Мощенский, Владимир Андреевич.
Лекции по математической логике : учебное пособие для математических специальностей вузов / В. А. Мощенский. - Минск : Изд-во Белорусского университета, 1973. - 159 c. - Библиогр. : с. 154.
| УДК |
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
машины Тьюринга -- исчисление высказываний -- вычислимые функции -- исчисление предикатов -- булевы функции -- логика высказываний -- алгоритмы -- нормальные алгорифмы
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Страница 1, Результатов: 2