Refine your search
Availability
- Showing only available items
- Show all items
-
Bibliographic level
- Книги (6)
-
Authors
- Гринченков, Дмитрий Валерьевич (1)
- Зюзьков, Валентин Михайлович (1)
- Ковалев, Александр Андреевич (1)
- Кулешов, Сергей Алексеевич (1)
- Лавров, Игорь Андреевич (1)
- Максимова, Лариса Львовна (1)
- Пензов, Юрий Ефимович (1)
- Потоцкий, Сергей Иванович (1)
- Романович, Владимир Александрович (1)
- Хаггарти, Р. (1)
- Шелупанов, Александр Александрович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (6)
- Читальный зал 5 (3)
-
Item types
- Выдается в читальный зал [x]
- 1 неделя (2)
- 1 месяц (2)
- Выдается по месту хранения (1)
-
Topics
- логика предикатов [x]
- множеств теория [x]
- бинарные отношения (4)
- математическая логика (4)
- алгебра высказываний (3)
- логика высказываний (3)
- учебные пособия для вузов (3)
- Тьюринга машины (2)
- алгоритмов теория (2)
- булева алгебра (2)
- исчисление высказываний (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)
- коммуникационные сети (1)
- композиция отношений (1)
- ламбда-исчисление (1)
- логический вывод (1)
- логическое программирование (1)
- математическое моделирование (1)
- матрица связности (1)
- метод резолюций (1)
- минимизация булевых функций (1)
- многозначные логики (1)
- Show more
- Show less