Refine your search
Availability
-
Bibliographic level
- Книги (27)
-
Authors
- Акимов, Олег Евгеньевич (2)
- Соболева, Татьяна Сергеевна (2)
- Чечкин, Александр Витальевич (2)
- Schoening, Uwe (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)
- Шишков, Алексей Борисович (1)
- Этов, В. И. (1)
- Show more
- Show less
-
Locations
- Книгохранилище (21)
- Читальный зал. Депозитарий (13)
- Читальный зал 5 (7)
- Абонемент (4)
- Абонемент. Депозитарий (4)
-
Item types
- 1 месяц [x]
- Выдается в читальный зал (20)
- 6 месяцев (7)
- 1 неделя (6)
- Выдается по месту хранения (2)
-
Topics
- логика предикатов (24)
- учебные пособия для вузов (15)
- логика высказываний (14)
- математическая логика (12)
- множества (11)
- булевы функции (8)
- дискретная математика (8)
- исчисление высказываний (8)
- алгоритмы (7)
- теория алгоритмов (7)
- графы (6)
- алгебра высказываний (5)
- бинарные отношения (5)
- исчисление предикатов (5)
- Тьюринга машины (4)
- декартово произведение множеств (4)
- кванторы (4)
- булева алгебра (3)
- булевы алгебры (3)
- графы ориентированные (3)
- группы (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)
- Show more
- Show less