Refine your search
Availability
-
Bibliographic level
- Книги (22)
-
Authors
- Игошин, Владимир Иванович (3)
- Успенский, Владимир Андреевич (3)
- Верещагин, Николай Константинович (2)
- Плиско, Валерий Егорович (2)
- Александров, Павел Сергеевич (1)
- Белоусов, Юрий Михайлович (1)
- Болтянский, Владимир Григорьевич (1)
- Ганичева А. В. (1)
- Гусев, Валерий Александрович (1)
- Каганов, Моисей Исаакович (1)
- Колмогоров, Андрей Николаевич (1)
- Кузнецов, Владимир Петрович (1)
- Лурье, Леонид Израилевич (1)
- Любарский, Григорий Яковлевич (1)
- Максимова, Ольга Дмитриевна (1)
- Нагаева, Елена Игоревна (1)
- Новоселов, Сергей Иосифович (1)
- Орлов, Владимир Викторович (1)
- Панчищина, Валентина Алексеевна (1)
- Паршина, Нина Андреевна (1)
- Попов, Александр Михайлович (1)
- Савин, Анатолий Павлович (1)
- Савина, Маргарита Евгеньевна (1)
- Салий, Вячеслав Николаевич (1)
- Смилга, Вольдемар Петрович (1)
- Смирнов, Дмитрий Матвеевич (1)
- Сотников, Валерий Николаевич (1)
- Сотникова, Наталья Яковлевна (1)
- Столяр, Абрам Аронович (1)
- Федорюк, Михаил Васильевич (1)
- Фридман, Лев Моисеевич (1)
- Холтыгин, Александр Федорович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (16)
- Читальный зал 5 (7)
- Читальный зал. Депозитарий (4)
- Абонемент (2)
- Абонемент. Депозитарий (1)
- Библиотека РФФ (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (15)
- 1 месяц (6)
- 1 неделя (4)
- 6 месяцев (4)
- Выдается по месту хранения (3)
-
Topics
- аксиоматический метод (14)
- математическая логика (9)
- учебные пособия для вузов (9)
- аксиоматический метод в математике (5)
- алгебра высказываний (5)
- Тьюринга машины (4)
- алгоритмы (4)
- булевы функции (4)
- дизъюнкция (4)
- конъюнкция (4)
- 19 век (3)
- Геделя теорема о полноте (3)
- Математика (3)
- аксиоматическая теория высказываний (3)
- алгебра множеств (3)
- геометрия (3)
- информация (3)
- история математики (3)
- исчисление предикатов (3)
- кванторы (3)
- комбинаторика (3)
- логика высказываний (3)
- логика предикатов (3)
- логические операции (3)
- математическая индукция (3)
- теория множеств (3)
- 18 век (2)
- Геделя теорема о существовании модели (2)
- Кантора теорема (2)
- Лобачевского геометрия, модели (2)
- Маркова нормальные алгоритмы (2)
- Поста теорема о полноте системы булевых функций (2)
- Черча тезис (2)
- автоморфизмы (2)
- аксиоматическая теория алгебры высказываний (2)
- аксиоматические теории (2)
- аксиоматические теории неформальные (2)
- аксиоматические теории формальные (2)
- алгоритмические проблемы неразрешимые (2)
- арифметика формальная (2)
- базы данных (2)
- бинарные отношения (2)
- булевы функции и релейно-контактные схемы (2)
- булевы функции от n аргументов (2)
- булевы функции от двух аргументов (2)
- булевы функции от одного аргумента (2)
- верификация программ (2)
- вероятности (2)
- вывод из гипотез (2)
- выразимость (мат. логика) (2)
- Show more
- Show less
-
Collections
-
Places
- ЭБС Лань (1)