Refine your search
Availability
-
Bibliographic level
- Книги (4)
-
Authors
-
Locations
-
Item types
- 1 месяц (4)
- Выдается в читальный зал (3)
- 6 месяцев (1)
-
Topics
- декартово произведение множеств (4)
- логика предикатов (4)
- множества (4)
- дискретная математика (3)
- логика высказываний (3)
- математическая логика (3)
- учебные пособия для вузов (3)
- алгебраические операции (2)
- булевы функции (2)
- графы (2)
- интеллектуальные системы (2)
- информатика математическая (2)
- математическая кибернетика (2)
- отношения на множествах (2)
- отображение множеств (2)
- принятие решений (2)
- семантика языков (2)
- синтаксис языков (2)
- системный анализ (2)
- системный синтез (2)
- теория алгоритмов (2)
- теория доказательств (2)
- теория кодирования (2)
- топологические пространства (2)
- ультраоператоры (информатика теоретическая) (2)
- n-местный предикат (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