Электронный каталог НБ БНТУ

rus
Научная библиотека БНТУ
Режим работы: Пн-Пт.
- читальные залы с 9:00 до 20:00
- абонементы с 9:00 до 19:00
Сб. с 9:00 до 16:45. Вс. - выходной.
Адреса: г. Минск, ул. Я. Коласа, 16 (читальные залы)
пр. Независимости, 65 (абонементы и читальные залы)

ОНЛАЙН-ЗАКАЗ книг из каталога

ФИЛИАЛЫ

КНИГООБЕСПЕЧЕННОСТЬ

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск

  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)

  • Учебная литература:
    • По дисциплинам
    • По специальностям
    • По специализациям
    • По кафедрам
    • Список дисциплин

  • Информация о фонде
  • Помощь

Личный кабинет :


Электронный каталог: Книги в рубрике:

Рубрики
--> РЕКУРСИВНЫЕ ФУНКЦИИ

Рубрика

Название:
 
РЕКУРСИВНЫЕ ФУНКЦИИ  

Печать списка

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)
Funkcje rekurencyjne i elementy metamatematyki
Доступно
 1 из 1
Книга
Murawski, Roman
Funkcje rekurencyjne i elementy metamatematyki: problemy zupelnosci, rozstrzygalnosci, twierdzenia Godla
Wydawnictwo naukowe UAM, 2010 г.
ISBN 978-83-232-2205-7


Заказать Заказать

На полку На полку

Алгоритмы и рекурсивные функции
Доступно
 2 из 2
Книга
Мальцев, А.И.
Алгоритмы и рекурсивные функции
Наука, 1965 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Алгоритмы и рекурсивные функции
Доступно
 4 из 4
Книга
Мальцев, А.И.
Алгоритмы и рекурсивные функции
Наука, 1986 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Введение в метаматематику
Доступно
 3 из 3
Книга
Клини, Стефен Коул
Введение в метаматематику
Издательство иностранной литературы, 1957 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Вычислимость. Введение в теорию рекурсивных функций
Доступно
 1 из 1
Книга
Катленд, Найджел
Вычислимость. Введение в теорию рекурсивных функций
Мир, 1983 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Использование рекурсивных цифровых фильтров для построения разностных схем высоких порядков для н...
Статья
Гуревский, А.Н.
Использование рекурсивных цифровых фильтров для построения разностных схем высоких порядков для н...
б.г.
ISBN отсутствует


На полку На полку

Локальная теория степеней неразрешимости и -множества
Доступно
 2 из 2
Книга
Арсланов, М.М.
Локальная теория степеней неразрешимости и -множества
Издательство Казанского университета, 1987 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Машины Тьюринга и рекурсивные функции
Доступно
 1 из 1
Книга

Машины Тьюринга и рекурсивные функции
Серия: Современная математика
Мир, 1972 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Разработать модели и методы оптимизации преобразования видеоинформации в рекурсивную форму на осн...
Экз. чит. зала
Отчет

Разработать модели и методы оптимизации преобразования видеоинформации в рекурсивную форму на осн...: отчет о НИР (заключительный) : ГБ 02-36
[б. и.], 2002 г.
ISBN отсутствует


На полку На полку

Рекурсивно перечислимые множества и степени неразрешимости
Доступно
 1 из 1
Книга
Арсланов, М.М.
Рекурсивно перечислимые множества и степени неразрешимости
Издательство Казанского университета, 1986 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Рекурсивное представление и синтез графических изображений в системах проектирования и управления
Доступно
 1 из 1
Книга

Рекурсивное представление и синтез графических изображений в системах проектирования и управления: методические рекомендации
ИТК АН БССР, 1990 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Рекурсивные функции
Доступно
 2 из 2
Книга
Петер, Роза
Рекурсивные функции
Издательство иностранной литературы, 1954 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Теория рекурсивных функций и эффективная вычислимость
Доступно
 1 из 1
Книга
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость
Мир, 1972 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Теория рекурсии
Доступно
 2 из 2
Книга

Ч.3. : Теория рекурсии
1982 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

© Все права защищены ООО "Компания Либэр" , 2009 - 2025  v.20.121