Дополнительные объекты называют:

Для предикатов с кванторами справедливы дополнительные законы эквивалентности, называемые также:

Программирование называют:

Цепочки часто называют:

В объектно-ориентированном программировании объекты (данные) могут активно взаимодействовать друг с другом с помощью:

Описание последовательности действий, достаточно определенное для того, чтобы ее можно было выполнить при помощи некоторого автоматического устройства называют:

Метод решения задачи, при котором объекты разного рода объединяются общим понятием (концепцией), а затем сгруппированные сущности рассматриваются как элементы единой категории называется:

При работе с индуктивными функциями последовательности X* элементов алфавита X цепочки над последним часто называют: