Минимальные индуктивные расширения хороши тем, что:
Минимальные индуктивные расширения обладают тем достоинством, что позволяют свести к минимуму ту дополнительную информацию, которая необходима для:
В каком классе определены все основные графичиские примитивы:определены все основные графические примитивы:
Определены следующие кванторы:
Большинство предикатов в состоянии, в котором не определены некоторые из переменных, входящих в него:
К арифметическим операторам языка Java, которые определены для всех числовых типов, относятся:
К арифметическим операторам языка Java, которые определены для всех числовых типов, относятся:
Теорема критерия индуктивности утверждает, что f индуктивна тогда и только тогда, когда из равенства значений f на последовательностях a и b следует равенство значений f:
Какое свойство алгоритма предусматривает то, что действия, которые необходимо произвести на каждом шаге, должны быть определены строго и недвусмысленно в каждом возможном случае:
Схема вычисления индуктивной функции может быть несколько упрощена при условии наличия у функции: