Refine your search
Availability
-
Bibliographic level
- Книги (10)
-
Authors
- Драгалин, Альберт Григорьевич (4)
- Колмогоров, Андрей Николаевич (4)
- Кулешов, Сергей Алексеевич (2)
- Минц, Г. Е. (2)
- Гохман, Альберт Владимирович (1)
- Ковалев, Александр Андреевич (1)
- Москинова, Галина Ивановна (1)
- Нагаева, Елена Игоревна (1)
- Пономарев, Вениамин Федорович (1)
- Попов, Александр Михайлович (1)
- Розен, Виктор Владимирович (1)
- Сотников, Валерий Николаевич (1)
- Спивак, М. А. (1)
- Хаггарти, Р. (1)
- Хаггарти, Род (1)
- Show more
- Show less
-
Locations
- Книгохранилище (7)
- Читальный зал 5 (3)
- Абонемент (1)
- Абонемент. Депозитарий (1)
- Читальный зал. Депозитарий (1)
-
Item types
- Выдается в читальный зал (7)
- 1 месяц (2)
- 6 месяцев (2)
- Выдается по месту хранения (2)
- 1 неделя (1)
-
Topics
- теория множеств [x]
- булева алгебра [x]
- логика высказываний (8)
- логика предикатов (8)
- математическая логика (8)
- учебные пособия для вузов (6)
- исчисление высказываний (5)
- бинарные отношения (4)
- дискретная математика (4)
- логико-математические языки (4)
- логические законы (4)
- математические структуры (4)
- наивная теория множеств (4)
- Геделя теорема (3)
- Гильберта программа обоснования математики (3)
- Тьюринга машины (3)
- комбинаторика (3)
- теория алгоритмов (3)
- учебные издания для вузов (3)
- Дирихле принцип (2)
- Драгалин, Альберт Григорьевич (2)
- Колмогоров, Андрей Николаевич (2)
- Компьютеры персональные (2)
- Математическая логика - Учебники и пособия (2)
- Программирование (2)
- Терри алгоритм (2)
- Уоршелла алгоритм (2)
- Цермело-Френкеля аксиоматическая теория (2)
- аксиоматические теории (2)
- аксиоматические теории формальные (2)
- алгоритмы (2)
- базы знаний (2)
- генератор случайных графов (2)
- графы (2)
- графы случайные неориентированные (2)
- графы случайные ориентированные (2)
- исчисление предикатов (2)
- классификация суждений (2)
- коммуникационные сети (2)
- композиция отношений (2)
- математическое моделирование (2)
- матрица связности (2)
- обратные отношения (2)
- операции над множествами (2)
- орграфы (2)
- отношение частичного порядка (2)
- отношение эквивалентности (2)
- псевдокоды (2)
- свойства отношений (2)
- связность в графах (2)
- Show more
- Show less