Функция, действующая из некоторого множества значений переменных программы в множество из двух значений {T, F} ( Да и Нет) - это:
Характеристическим свойством каких задач является их простая сводимость к совокупности таких задач на обработку информации, для решения которых достаточно применения итерации или рекурсии:
В программах на языке C можно использовать следующий макрос, который в случае ложности его аргумента немедленно прекращает выполнение программы, сообщая о причине этого:
Описание последовательности действий, достаточно определенное для того, чтобы ее можно было выполнить при помощи некоторого автоматического устройства называют:
Математическая модель итерации сводится к повторению некоторого преобразования T:X -> X:
Теорема критерия индуктивности утверждает, что f индуктивна тогда и только тогда, когда из равенства значений f на последовательностях a и b следует равенство значений f:
Схема вычисления индуктивной функции может быть несколько упрощена при условии наличия у функции:
Для функции f:{0,1}*->{T,F} все элементы цепочки равны нулю значение F является:
Когда возникает необходимость хранить несколько однотипных значений используют:
Прямое произведение множеств состояний всех переменных программы - это:
