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

Правильный ответ:

• # В математике существует несколько вполне четких определений алгоритма:
• # Примерами языков, предназначенных для директивного программирования являются:
• # Классы, которые используются как структуры данных, содержащие набор элементов называются:
• # В вычислении рекурсивно определенной функции на множестве программных переменных заключается:
• # Функция f:X*->Y называется индуктивной, если f(w o x) можно вычислить, зная: