Один из способов моделирования геометрических объектов в трехмерном пространстве состоит в том, чтобы аппроксимировать реальный объект:
Написание простейших программ на языке Java требует знания:
Какой из простейших графических примитивов позволяет изобразить заполненный овал:
Какой из простейших графических примитивов позволяет изобразить границу овала:
Какой из простейших графических примитивов позволяет изобразить отрезок прямой линии:
Язык, на котором можно строго сформулировать постановку задачи и доказать правильность конкретной программы - это:
В качестве примера использования критерия индуктивности можно доказать, что функция f:Z*->Z количество максимальных элементов последовательности целых чисел:
Предикат, обладающий некоторыми специальными свойствами - это:
Предикат можно назвать константным, если в нем:
Если предикат истинен во всех состояниях, в которых он определен, то он называется:
