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

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

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

ФИЛИАЛЫ

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

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск
  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)
  • Учебная литература:
    • По дисциплинам
    • По специальностям
    • По специализациям
    • По кафедрам
    • Список дисциплин
  • Информация о фонде
  • Помощь

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


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

Рубрики
--> МАТЕМАТИЧЕСКАЯ ЛОГИКА

Рубрика

Название:
 
МАТЕМАТИЧЕСКАЯ ЛОГИКА  

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

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

Отобрать для печати: страницу | инверсия | сброс | печать(0)
<< назад | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | вперед >>
Проблема неполноты теории и ее гносеологическое значение
Доступно
 2 из 2
Книга
Антипенко, Л.Г.
Проблема неполноты теории и ее гносеологическое значение
Наука, 1986 г.
ISBN отсутствует


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

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

Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций
Доступно
 2 из 2
Книга

 Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Серия: Библиотека "Кибернетического сборника"
Мир, 1970 г.
ISBN отсутствует


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

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

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


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

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

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


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

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

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


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

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

Рекурсивный математический анализ
Доступно
 2 из 2
Книга
Гудстейн, Рейбен Луис
Рекурсивный математический анализ
Серия: Математическая логика и основания математики
Наука, 1970 г.
ISBN отсутствует


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

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

Решение логических и игровых задач
Доступно
 3 из 3
Книга
Шапиро, С.И.
Решение логических и игровых задач: (логико-психологические этюды)
Серия: Кибернетика
Радио и связь, 1984 г.
ISBN отсутствует


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

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

Русская логика в информатике
Доступно
 1 из 1
Книга
Лобанов, В.И.
Русская логика в информатике: букварь математической логики
Серия: Всеславянский журнал "Русская правда"
Русская правда, 2010 г.
ISBN 978-5-904021-08-5


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

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

Математика
Доступно
 1 из 1
Книга

 Сб.1. : Математика: метод, проблемы и значение ее
1913 г.
ISBN отсутствует


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

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

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

 Сборник задач по математической логике и алгебре множеств
Издательство Саратовского университета, 1969 г.
ISBN отсутствует


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

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

Секция &quot;Логика взаимодействующих процессов&quot;. Секция &quot;Алгоритмика трудных задач&quot;
Доступно
 1 из 1
Книга

 Секция "Логика взаимодействующих процессов". Секция "Алгоритмика трудных задач"
1986 г.
ISBN отсутствует


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

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

Секция &quot;Представление знаний и синтез программ&quot;
Доступно
 1 из 1
Книга

 Секция "Представление знаний и синтез программ"
1986 г.
ISBN отсутствует


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

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

Симметрическая конструктивная логика
Доступно
 2 из 2
Книга
Заславский, И.Д.
Симметрическая конструктивная логика
Издательство АН Армянской ССР, 1978 г.
ISBN отсутствует


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

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

Синтаксические и семантические исследования неэкстенсиональных логик
Доступно
 1 из 1
Книга

 Синтаксические и семантические исследования неэкстенсиональных логик: [сборник статей]
Наука, 1989 г.
ISBN 5-02-008026-8


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

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

Синтез дискретно-логических систем управления
Доступно
 1 из 1
Книга
Чикуров, Н.Г.
Синтез дискретно-логических систем управления: учебное пособие для студентов вузов, обучающихся по направлению подготовки 15.03.04 "Автоматизация технологических процессов и производств",
Серия: Высшее образование
ИНФРА-М, 2018 г.
ISBN 978-5-16-013169-6


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

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

Сложностные проблемы математической логики
Доступно
 1 из 1
Книга

 Сложностные проблемы математической логики: сборник научных трудов
КГУ, 1985 г.
ISBN отсутствует


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

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

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


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

Современная логика
Доступно
 1 из 2
Книга
Шуман, А.Н.
Современная логика: теория и практика
Экономпресс, 2004 г.
ISBN 985-647-935-5


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

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

Современная парадигма познания металлорежущих станков
Доступно
 1 из 1
Книга
Голембиевский, А.И.
Современная парадигма познания металлорежущих станков
Полоцкий государственный университет, 2021 г.
ISBN 9789855317648


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

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

Становление идей математической логики
Доступно
 1 из 2
Книга
Стяжкин, Н.И.
Становление идей математической логики
Наука, 1964 г.
ISBN отсутствует


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

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

.
Доступно
 1 из 1
Книга

 Т.1. : .
1973 г.
ISBN отсутствует


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

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

Обзорные статьи
Доступно
 4 из 4
Книга

 Т.1. : Обзорные статьи
1959 г.
ISBN отсутствует


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

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

.
Доступно
 1 из 1
Книга

 Т.2. : .
1976 г.
ISBN отсутствует


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

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

Математическая логика и общая теория алгебраических систем
Доступно
 1 из 1
Книга
Мальцев, А.И.
Т.2. : Математическая логика и общая теория алгебраических систем
1976 г.
ISBN отсутствует


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

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

.
Доступно
 1 из 1
Книга

 Т.27, N4. : .
1988 г.
ISBN отсутствует


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

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

.
Доступно
 1 из 1
Книга

 Т.28, N2. : .
1989 г.
ISBN отсутствует


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

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

.
Доступно
 1 из 1
Книга

 Т.28, N3. : .
1989 г.
ISBN отсутствует


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

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

.
Доступно
 1 из 1
Книга

 Т.28, N5. : .
1989 г.
ISBN отсутствует


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

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

.
Доступно
 1 из 1
Книга

 Т.28, N6. : .
1989 г.
ISBN отсутствует


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

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

.
Доступно
 1 из 1
Книга

 Т.29, N1. : .
1990 г.
ISBN отсутствует


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

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

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