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