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