Предикат с переменными любых типов, который может содержать кванторы и не иметь скобок, не являющимися необходимыми для его однозначного толкования называется:
В каком классе определены все основные графичиские примитивы:определены все основные графические примитивы:
Индуктивные функции определены на последовательностях:
Большинство предикатов в состоянии, в котором не определены некоторые из переменных, входящих в него:
К арифметическим операторам языка Java, которые определены для всех числовых типов, относятся:
К арифметическим операторам языка Java, которые определены для всех числовых типов, относятся:
Какое свойство алгоритма предусматривает то, что действия, которые необходимо произвести на каждом шаге, должны быть определены строго и недвусмысленно в каждом возможном случае:
Интерпретатор совмещает в себе следующие стадии:
Для директивного программирования верны следующие утверждения:
В информатике часто применяются следующие системы счисления: