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

rus

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

ОНЛАЙН-ЗАКАЗ книг из каталога
ФИЛИАЛЫ
КНИГООБЕСПЕЧЕННОСТЬ

Поиск :

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

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

Рубрики
--> ТЕОРЕМЫ

Рубрика

Название:: ТЕОРЕМЫ

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

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

Отобрать для печати: страницу | инверсия | сброс | печать(0)

Доступно
1 из 1

Книга

Автоматизация поиска доказательства теорем в математике: [сборник]
ИТК, 1974 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга

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

Заказать

На полку

Доступно
1 из 1

Книга
Бауер, Э.
Введение в теорию групп и ее приложения к квантовой физике
ОНТИ НКТП СССР, 1937 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Смирнов, Н.С.
Введение в теорию нелинейных интегральных уравнений
ОНТИ, 1936 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Привалов, И.И.
Введение в теорию функций комплексного переменного: [учебник для вузов]
ГТТИ, 1933 г.
ISBN отсутствует

Заказать

На полку

Доступно
2 из 2

Книга
Балк, М.Б.
Геометрия масс

Серия: Библиотечка "Квант"

Наука, 1987 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Привалов, И.И.
Интегральные уравнения: [учебник для университетов]
ОНТИ НКТП СССР, 1937 г.
ISBN отсутствует

Заказать

На полку

Доступно
3 из 3

Книга
Крайзель, Г.
Исследования по теории доказательств: сборник статей

Серия: Математика : новое в зарубежной науке

Мир, 1981 г.
ISBN отсутствует

Заказать

На полку

Доступно
2 из 2

Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем

Серия: Математическая логика и основания математики

Наука, 1983 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга

Определение перемещений и некоторые основные теоремы строительной механики. Техника вычисления пе...: методическая разработка
РПИ, 1983 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Гильберт, Д.
Основания математики: теория доказательств

Серия: Математическая логика и основания математики

Наука, 1982 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 2

Книга
Романовский, В.И.
Основные задачи теории ошибок
ОГИЗ, 1947 г.
ISBN отсутствует

Заказать

На полку

Экз. чит. зала

Книга
Калошина, И.П.
Построение формулировок теорем и способов доказательств: логические приемы мышления в творческой деятельности
Издательство Саратовского университета, Саранский филиал, 1988 г.
ISBN 5-292-00177-5

На полку

Доступно
1 из 1

Книга
Градштейн, И.С.
Прямая и обратная теоремы
Гостехиздат, 1951 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Градштейн, И.С.
Прямая и обратная теоремы: элементы алгебры логики
ОНТИ НКТП СССР, 1936 г.
ISBN отсутствует

Заказать

На полку

Доступно
2 из 2

Книга
Градштейн, И.С.
Прямая и обратная теоремы: элементы алгебры логики
Наука, 1972 г.
ISBN отсутствует

Заказать

На полку

Доступно
2 из 2

Книга
Градштейн, И.С.
Прямая и обратная теоремы: элементы алгебры логики
Физматлит, 1959 г.
ISBN отсутствует

Заказать

На полку

Доступно
2 из 2

Книга
Градштейн, И.С.
Прямая и обратная теоремы: элементы алгебры логики
Наука, 1965 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Заказать

На полку

Доступно
1 из 1

Заказать

На полку

Доступно
2 из 2

Книга
Успенский, В.А.
Теорема Геделя о неполноте

Серия: Популярные лекции по математике

Наука, 1982 г.
ISBN отсутствует

Заказать

На полку

Экз. чит. зала

Автореферат
Магомедов, А.М.
Теоремы вложения в некоторых функциональных пространствах и исследование нелинейных сингулярных и...: автореферат диссертации на соискание ученой степени кандидата физико-математических наук, специ...
1971 г.
ISBN отсутствует

На полку

Доступно
1 из 1

Заказать

На полку

Доступно
2 из 2

Заказать

На полку

Доступно
1 из 1

Книга
Хинчин, А.Я.
Три жемчужины теории чисел
Гостехиздат, 1948 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Хинчин, А.Я.
Три жемчужины теории чисел
Гостехиздат, 1947 г.
ISBN отсутствует

Заказать

На полку

Доступно
2 из 2

Книга
Хинчин, А.Я.
Три жемчужины теории чисел
Наука, 1979 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Заказать

На полку

Доступно
3 из 3

Книга
Шклярский, Д.О.
Ч.1. : Арифметика и алгебра

Серия: Библиотека математического кружка

Физматгиз, 1959 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Боргман, И.И.
Ч.1. : Электростатика и электрический ток
1897 г.
ISBN отсутствует

Заказать

На полку