Для функции f:{0,1}*->{T,F} все элементы цепочки:
При работе с индуктивными функциями последовательности X* элементов алфавита X цепочки над последним часто называют:
Для функции f:{0,1}*->{T,F} все элементы цепочки равны нулю значение F является:
Если при доказательстве теоремы о критерии индуктивности найдутся две различные цепочки a и b такие, что f(a) = f(b), то можно гарантировать, что:
Идентификатор, не являющийся связанным называется:
Процесс создания алгоритма называется:
Фраза, инвертирование которой не изменяет ее называется:
Идентификатор, непосредственно следующий в предикате за квантором называется:
При кодировании алгоритма формальная система, предназначенная для записи алгоритмов, называется:
