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