Ответы на ИНТУИТ

ИНТУИТ ответы на тесты

Решение тестов / курсов
База ответов ИНТУИТ.RU
Заказать решение курсов или тестов:
https://vk.com/id358194635
https://vk.com/public118569203

Основы информатики и программирования

Заказать решение
Количество вопросов 466

Какой метод в значительной мере подобен методу расширения области значения переменной:

перейти к ответу ->>

Дополнительными средствами, используемыми при организации циклов, являются операторы:

перейти к ответу ->>

Какой метасимвол в грамматике G2 обозначает имя переменной:

перейти к ответу ->>

Ограничивающая функция позволяет:

перейти к ответу ->>

Печать чего приведет к тому, что курсор терминала перемещается в начало следующей строки:

перейти к ответу ->>

Для представления вещественных чисел в языке Java используют переменные и константы типов:

перейти к ответу ->>

Инвариант помогает сконструировать команды:

перейти к ответу ->>

Некоторый объект, использующий стек:

перейти к ответу ->>

Идентификатор, не являющийся связанным называется:

перейти к ответу ->>

Какое свойство является закон исключенного чуда преобразователя предикатов wp(S,R):

перейти к ответу ->>

Cвойствами наибольшего общего делителя являются:

перейти к ответу ->>

Конструкция try-catch, предназначенна для:

перейти к ответу ->>

Предикат A^B^C можно ослабить до:

перейти к ответу ->>

Дек - это симбиоз:

перейти к ответу ->>

Следующая спецификация:{i=0}"i++;"{i=1}:

перейти к ответу ->>

При ослаблении предиката A^B^C до A^C имеет место:

перейти к ответу ->>

Схема вычисления индуктивной функции позволяет легко построить программу вида:

перейти к ответу ->>

Данная программа:
public class MaxArr {    public static void main(String[] args) throws Exception {            int n, i, a[];        n = Xterm.inputInt("Введите длину массива n -> ");        a = new int[n];        for (i=0; i<n; i++)            a[i] = Xterm.inputInt("Введите a[" + i + "] -> ");        int max = a[0];        for (i=1; i<n; i++)            if (a[i] > max)                max = a[i];        Xterm.println("Максимальный элемент массива = " + max);    }}
печатает:

перейти к ответу ->>

Метод main класса PolyedrTest выполняет ввод:

перейти к ответу ->>

Набором выпуклых плоских многоугольников - это:

перейти к ответу ->>

Какой метасимвол в грамматике G2 обозначает множитель:

перейти к ответу ->>

Что соответствует отсутствию ограничений на начальные условия, в которых должна правильно работать программа:

перейти к ответу ->>

Каноническое индуктивное расширение, построенное в ходе доказательства теоремы о минимальном индуктивном расширении для любой функции f:X*->Y, позволяет убедиться в истинности:

перейти к ответу ->>

При построении инварианта с помощью метода устранения конъюнктивного члена увеличение величины a на единицу на каждой итерации цикла:

перейти к ответу ->>

Преобразователь предикатов wp(S,R) обладает следующими свойствами:

перейти к ответу ->>

Теорема критерия индуктивности утверждает, что f индуктивна тогда и только тогда, когда из равенства значений f на последовательностях a и b следует равенство значений f:

перейти к ответу ->>

В римской системе счисления число 3678 может быть представлено так:

перейти к ответу ->>

Данная программа:
public class AverSeq{    public static void main(String[] args) {            double y1 = 0., y2 = 0.;        try {            while (true) {                double x = Xterm.inputDouble("x -> ");                y1  = (y1*y2 + x) / (y2 + 1.);                y2 += 1;            }        } catch(Exception e) {            Xterm.println("\nf = " + y1);        }	        }}
вводит последовательность вещественных чисел, и печатает среднее арифметическое ее элементов для:

перейти к ответу ->>

В данной программе:
import java.io.*;public class ABCDSeq {    public static void main(String[] args) {            DataInputStream in = new DataInputStream(System.in);        int f = 0, n = 0;        try {            while (true) {                char x = (char)in.readByte();                if (x=='\n') continue;                if (x=='d' && n==3) {                    f += 1;                     n  = 0;                } else if (x=='c' && n==2) {                    n = 3;                } else if (x=='b' && n==1) {                    n = 2;                } else if (x=='a') {                    n = 1;                } else{                    n = 0;                }            }        } catch(Exception e) {            Xterm.println("f = " + f);        }    }}
используется метод:

перейти к ответу ->>

При работе с индуктивными функциями алфавитом X последовательности X* элементов является:

перейти к ответу ->>

На первой стадии изучения языка Java полезно:

перейти к ответу ->>

Описания последовательности действий, предназначенные для автоматического устройства:

перейти к ответу ->>

При кодировании алгоритма формальная система, предназначенная для записи алгоритмов, называется:

перейти к ответу ->>

Процесс создания алгоритма называется:

перейти к ответу ->>

Попытки каких подходов неизменно терпели неудачу:

перейти к ответу ->>

Основные свойства любого алгоритма — это:

перейти к ответу ->>

Какое свойство алгоритма предусматривает то, что действия, которые необходимо произвести на каждом шаге, должны быть определены строго и недвусмысленно в каждом возможном случае:

перейти к ответу ->>

Алгоритм, вычисляющий 1000-е простое число может служить примером алгоритма:

перейти к ответу ->>

Важнейшими парадигмами программирования на данный момент времени являются:

перейти к ответу ->>

Примерами языков, предназначенных для директивного программирования являются:

перейти к ответу ->>

В объектно-ориентированном программировании первичными считаются:

перейти к ответу ->>

Для выхода из интерпретатора hugs надо использовать команду:

перейти к ответу ->>

Язык Java обладает следующими качествами:

перейти к ответу ->>

Технология программирования, в основе которой лежит способность человека обобщать, классифицировать и генерировать абстракции - это:

перейти к ответу ->>

В программировании объектами могут быть:

перейти к ответу ->>

Научиться писать понятные и легко модифицируемые программы на языке Java легко, если соблюдать следующие правила:

перейти к ответу ->>

В языке Java существует:

перейти к ответу ->>

Дополнительные объекты называют:

перейти к ответу ->>

Множество всех объектов с одинаковым пространством состояний и одинаковым набором методов называется:

перейти к ответу ->>

Пустую строку обозначает:

перейти к ответу ->>

В том случае, когда программа использует ввод чисел, строку:public static void main(String[] args) следует заменить на:

перейти к ответу ->>

Управляющими конструкциями языка Java являются:

перейти к ответу ->>

Могут ли быть вложенным управляющие конструкции if и if-else?

перейти к ответу ->>

Debugging дословно означает:

перейти к ответу ->>

Для того, чтобы изучить какую-либо теорию, необходимо:

перейти к ответу ->>

Функция, действующая из некоторого множества значений переменных программы в множество из двух значений {T, F} ( Да и Нет) - это:

перейти к ответу ->>

Примерами конечных алфавитов могут являтся:

перейти к ответу ->>

Предикат можно назвать константным, если в нем:

перейти к ответу ->>

Среди огромного множества всех предикатов особую роль играют те из них, которые всегда являются:

перейти к ответу ->>

Определены следующие кванторы:

перейти к ответу ->>

Для предикатов с кванторами справедливы дополнительные законы эквивалентности, называемые также:

перейти к ответу ->>

В языке Java правоассоциативность обозначается символом

перейти к ответу ->>

Оператор << языка Java имеет следующий приоритет:

перейти к ответу ->>

Оператор ?: языка Java имеет следующий приоритет:

перейти к ответу ->>

Множествам целых Z и действительных R чисел в большинстве языков программирования соответствуют:

перейти к ответу ->>

Наименьшей единицей измерения информации является:

перейти к ответу ->>

Из скольки бит состоит один байт?

перейти к ответу ->>

С помощью кодировки ASCII стандартизированы:

перейти к ответу ->>

Наиболее распространенными кодировками русского текста являются:

перейти к ответу ->>

В Java применяется представление чисел в так называемом:

перейти к ответу ->>

В типе byte языка Java любое число занимает:

перейти к ответу ->>

Отрицательные числа всегда имеют в своем двоичном представлении:

перейти к ответу ->>

Для хранения переменной типа float в языке Java отводится:

перейти к ответу ->>

Для извлечения квадратного корня в языке Java можно использовать:

перейти к ответу ->>

Результат выполнения операций деления и деления по модулю для целочисленных операндов является:

перейти к ответу ->>

К побитовым операторам языка Java относятся следующие:

перейти к ответу ->>

Способ организации обработки данных, при котором программа вызывает сама себя непосредственно, либо с помощью других программ называется:

перейти к ответу ->>

В математической модели рекурсии значение функции для всех значений аргумента, начиная с некоторого, определяется:

перейти к ответу ->>

Наилучшие рекурсивный и итерационный алгоритм имеют:

перейти к ответу ->>

Язык Java предусматривает следующие операторы цикла:

перейти к ответу ->>

Какой из операторов цикла языка Java является наиболее универсальным и используется в различных ситуациях:

перейти к ответу ->>

Данная программа:
public class FactIv1 {    public static void main(String[] args) throws Exception {            int n, i, k;        n = Xterm.inputInt("Введите n -> ");        i = k = 1;        while (i <= n) {            k *= i;            i += 1;        }        Xterm.println("" + n + "! = " + k);    }}
вычисляет:

перейти к ответу ->>

Чем быстрее компьютер, тем больше:

перейти к ответу ->>

Для массивов верны утверждения:

перейти к ответу ->>

Массив из трех целых чисел, содержащий величины 3, 7 и 11, можно задать так:

перейти к ответу ->>

Элементы любого массива нумеруются:

перейти к ответу ->>

Часто при решении задачи, связанной с обработкой последовательно поступающих элементов:

перейти к ответу ->>

Нечто препятствующее продолжению нормального выполнения программы:

перейти к ответу ->>

В текст программы зачастую полезно включать предикаты, которые позволяли бы человеку или компьютеру проверять:

перейти к ответу ->>

Проверка истинности предикатов в процессе выполнения программы в различных языках программирования реализована:

перейти к ответу ->>

Данная программа:
public class Assert {    public static void main(String[] args) throws Exception {            int n = Xterm.inputInt("Введите n -> ");        if (n <= 0)             throw new Exception("n <= 0");        Xterm.println("n = " + n);    }}
содержит:

перейти к ответу ->>

Спецификацией {Q} S {R} программы S, где Q и R — предикаты, называется предикат, означающий, что если выполнение S началось в состоянии, удовлетворяющем Q, то имеется гарантия, что оно завершится через конечное время:

перейти к ответу ->>

В данном случае:{Q} S {R} предикат R называется

перейти к ответу ->>

Следующая спецификация:{i=0}"i++;"{i=j}:

перейти к ответу ->>

Спецификация программы является единственным корректным способом:

перейти к ответу ->>

Выражение b[i] само по себе может оказаться неопределенным:

перейти к ответу ->>

Управляющая конструкция if эквивалентна использованию пустого оператора:

перейти к ответу ->>

В терминах слабейшего предусловия можно определить:

перейти к ответу ->>

К простейшим задачам на написание программ можно отнести:

перейти к ответу ->>

Характеристическим свойством каких задач является их простая сводимость к совокупности таких задач на обработку информации, для решения которых достаточно применения итерации или рекурсии:

перейти к ответу ->>

Название классификации методов решения задач на обработку информаци - это:

перейти к ответу ->>

Математическая модель итерации является слишком общей и:

перейти к ответу ->>

Выражение взаимосвязи между меняющимися в теле цикла объектами в виде неизменного условия - это основная идея:

перейти к ответу ->>

Ограничивающая функция h:X ->{Z}:

перейти к ответу ->>

При работе с индуктивными функциями последовательности X* элементов алфавита X цепочкой над последним является:

перейти к ответу ->>

Функция f:X*->Y называется индуктивной, если f(w o x) можно вычислить, зная:

перейти к ответу ->>

Эффективный метод вычисления значения многочлена в точке носит имя:

перейти к ответу ->>

Истинность утверждения на котором базируется схема проектирования цикла при помощи инварианта может быть выведена из:

перейти к ответу ->>

Какую функцию надо взять в качестве ограничивающей, чтобы правильность данной программы:
public class Gcd {    public static void main(String[] args) throws Exception {        int x = Xterm.inputInt("x -> ");        int y = Xterm.inputInt("y -> ");        Xterm.print("gcd(" + x + "," + y + ") =");        while ( (x != 0) && (y != 0) ) {            if (x >= y) x -= y;            else        y -= x;        }         Xterm.println(" " + (x+y));    }}
легко могла быть доказана:

перейти к ответу ->>

Предусловие и постусловие, которые содержатся в постановке задачи должны послужить основой для построения:

перейти к ответу ->>

Если предусловие Q имеет вид T, то в этом случае инвариант можно строить только исходя из:

перейти к ответу ->>

Основным методом построения инварианта является:

перейти к ответу ->>

При ослаблении предиката 5<i<10 до 0<i<10 имеет место:

перейти к ответу ->>

При построении инварианта с помощью метода устранения конъюнктивного члена в качестве условия продолжения цикла e может быть взято:

перейти к ответу ->>

Простейший способ увеличения величины a, при построении инварианта с помощью метода устранения конъюнктивного члена, - это:

перейти к ответу ->>

В качестве примера использования метода замены константы переменной можно рассматривать:

перейти к ответу ->>

Программу, находящая сумму s элементов заданного целочисленного массива b[0..n-1], элементы которого и величину n изменять нельзя будет иметь вид:

перейти к ответу ->>

Доказательство индуктивности функции обычно проводят:

перейти к ответу ->>

В качестве примера использования критерия индуктивности можно доказать, что функция f:Z*->Z количество максимальных элементов последовательности целых чисел:

перейти к ответу ->>

Для того чтобы расширить сферу применимости схемы вычисления индуктивной функции вводится понятие:

перейти к ответу ->>

Минимальные индуктивные расширения хороши тем, что:

перейти к ответу ->>

Необходимость первого условия критерия минимальности следует непосредственно из:

перейти к ответу ->>

В данной программе:
public class NumMaxSeq2 {    public static void main(String[] args) {            int y1 = 0, y2 = Integer.MIN_VALUE;        try {            while (true) {                int x = Xterm.inputInt("x -> ");                if (x == y2) {                    y1 += 1;                } else if(x > y2) {                    y1 = 1;                    y2 = x;                }             }        } catch (Exception e) {            Xterm.println("\nn = " + y1);        }	        }}
:любая ошибка при вводе рассматривается как:

перейти к ответу ->>

Данная программа:
public class First1{    public static void main(String[] args) throws Exception {        int x0 = Xterm.inputInt("x0 ->");        int y1 = 0, y2 = 0;        try {            while (true) {                int x = Xterm.inputInt("x -> ");                y2 += 1;                if ( (y1 == 0) && (x == x0) )                    y1 = y2;            }        } catch (Exception e) {            Xterm.println("\nn = " + y1);        }	        }}
по достижению конца вводимой последовательности:

перейти к ответу ->>

При написании программы, определяющей количество вхождений образца abcd в последовательность символов, для доказательства сюръективности функции F необходимо:

перейти к ответу ->>

Как в данной программе:
import java.io.*;public class ABCDSeq {    public static void main(String[] args) {            DataInputStream in = new DataInputStream(System.in);        int f = 0, n = 0;        try {            while (true) {                char x = (char)in.readByte();                if (x=='\n') continue;                if (x=='d' && n==3) {                    f += 1;                     n  = 0;                } else if (x=='c' && n==2) {                    n = 3;                } else if (x=='b' && n==1) {                    n = 2;                } else if (x=='a') {                    n = 1;                } else{                    n = 0;                }            }        } catch(Exception e) {            Xterm.println("f = " + f);        }    }}
игнорируется символ '\n':

перейти к ответу ->>

Метод решения задачи, при котором объекты разного рода объединяются общим понятием (концепцией), а затем сгруппированные сущности рассматриваются как элементы единой категории называется:

перейти к ответу ->>

Cвойство, позволяющее использовать один и тот же интерфейс для различных действий; полиморфной переменной, например, может соответствовать несколько различных методов называется:

перейти к ответу ->>

Какой класс задает точку на плоскости:

перейти к ответу ->>

Основные задачи конструктора заключаются в следующем:

перейти к ответу ->>

Язык Java реализует возможность использования уже существующих типов для порождения новых с автоматическим наследованием уже имеющихся свойств следующие механизмы:

перейти к ответу ->>

Классы, которые используются как структуры данных, содержащие набор элементов называются:

перейти к ответу ->>

Контейнер, который можно представлять себе в виде трубы с одним запаянным концом, в которую можно добавлять элементы (и вынимать их) называется:

перейти к ответу ->>

Реализация очереди на базе так называемого "циклического вектора" является примером:

перейти к ответу ->>

Если все элементы контейнера хранятся в одном векторе, а другой вектор — вектор ссылок, определяет реально содержащиеся в имитируемой структуре элементы и их порядок, то такая реализация на базе вектора называется:

перейти к ответу ->>

Класс состоит из:

перейти к ответу ->>

Нахождение выпуклой оболочки последовательно поступающих точек плоскости и вычисление двух ее метрических характеристик относится к задачам:

перейти к ответу ->>

Выпуклыми множествами не являются:

перейти к ответу ->>

Для произвольного множества выпуклая оболочка может быть получена как:

перейти к ответу ->>

Выпуклая оболочка трех точек, не лежащих на одной прямой, — это:

перейти к ответу ->>

Формула Герона требует большого числа умножений и:

перейти к ответу ->>

Модуль векторного произведения двух векторов равен:

перейти к ответу ->>

Для того чтобы реализовать метод add и конструктор класса Polygon, необходимо аккуратно разобраться с тем, как именно вершины выпуклой оболочки хранятся:

перейти к ответу ->>

Для создания аплетов необходимо реализовывать подкласс класса:

перейти к ответу ->>

Пакет java.applet является составной частью библиотеки:

перейти к ответу ->>

Какой из простейших графических примитивов позволяет изобразить границу овала:

перейти к ответу ->>

Графический примитив setColor позволяет:

перейти к ответу ->>

В окне какого размера данный аплет:
import java.awt.*;import java.applet.*;public class Primitives extends Applet {    public void paint (Graphics g) {        g.fillRect(20, 20, 40, 60);        g.setColor(Color.red);        g.drawLine(2, 2, 80, 80);        g.drawOval(120, 120, 30, 40);        g.drawRect(170, 170, 10, 15);        g.setColor(Color.blue);        g.fillOval(20, 150, 30, 30);    }}
изображает заполненный черный и синий прямоугольники, заполненный синий круг, красный отрезок, прямоугольник и овал:

перейти к ответу ->>

Компилятор - это:

перейти к ответу ->>

Воспользоваться следующей грамматикой Gs:
e -> ee        | ee +        | ee *        | ee /        | a | b | ... | z
для описания языка правильных программ:

перейти к ответу ->>

Какой метасимвол в грамматике G2 обозначает формулу:

перейти к ответу ->>

Утилита make позволяет значительно облегчить труд программиста в процессе:

перейти к ответу ->>

Интерпретатор вычисляет значение арифметической формулы, в которой вместо имен переменных содержатся:

перейти к ответу ->>

Для языка Java компилятор строит так называемый:

перейти к ответу ->>

В римской системе счисления число 438 может быть представлено так:

перейти к ответу ->>

Римскому числу MMXLV соответствует следующее:

перейти к ответу ->>

В римской системе цифра D всегда обозначает:

перейти к ответу ->>

Какой метод позволяет преобразовать символ в соответствующее ему целое число:

перейти к ответу ->>

Данная программа:
public class RecursCompfTest {    public static void main(String[] args) throws Exception {        RecursCompf c = new RecursCompf();        while (true)	                   c.compile(Xterm.inputChars("Введите формулу -> "));	        }}
является:

перейти к ответу ->>

Многоугольники набора выпуклых плоских многоугольников называются:

перейти к ответу ->>

При изображении полиэдра реально рисуются:

перейти к ответу ->>

Часто при задании полиэдра всю информацию о нем разделяют на следующие части:

перейти к ответу ->>

Для представления вершин полиэдра можно использовать выведенный из класса R3Vector класс:

перейти к ответу ->>

В каком классе определены все основные графичиские примитивы:определены все основные графические примитивы:

перейти к ответу ->>

Какой метод класса Graphics с помощью метода drawLine рисует заданный отрезок:

перейти к ответу ->>

Для получения изображения видимой части ребра нужно учесть тени от всех граней полиэдра, а затем:

перейти к ответу ->>

Задача нахождения теней и просветов на конкретном ребре:

перейти к ответу ->>

У полубесконечной призмы основанием является:

перейти к ответу ->>

Для реализации метода hCross нахождения пересечения с горизонтальным полупространством нужно найти нормаль к грани и вызвать метод:

перейти к ответу ->>

Хорошей идеей является попытка использования их для проекций ребер и граней:

перейти к ответу ->>

Оператор == языка Java имеет следующий приоритет:

перейти к ответу ->>

Многострочный комментарий:

перейти к ответу ->>

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

перейти к ответу ->>

Функция sin доступна программам на языке Java, как метод:

перейти к ответу ->>

Техника, при которой несущественная с точки зрения интерфейса объекта информация прячется внутри него называется:

перейти к ответу ->>

В языке Java используемые в программах переменные величины и константы типов int и double принимают значения из множеств:

перейти к ответу ->>

Какой из операторов языка Java прерывает выполнение цикла:

перейти к ответу ->>

Какой класс позволяет создать фрейм и, используя простейшие графические примитивы, построить в нем требуемое изображение:

перейти к ответу ->>

Логическими операторами являются:

перейти к ответу ->>

Данную программу:
public class Sqrt {    public static void main(String[] args) throws Exception {        int n = Xterm.inputInt("n -> ");        int a = 0;        while ( n >= (a+1)*(a+1) )            a += 1;        Xterm.println("sqrt(" + n + ") = " + a);    }}
можно переписать в следующем компактном виде:

перейти к ответу ->>

Множество всех цепочек над алфавитом X принято обозначать:

перейти к ответу ->>

Класс Xterm языка Java:

перейти к ответу ->>

Все задачи на написание программ можно разделить на следующие группы:

перейти к ответу ->>

Электронные вычислительные машины (ЭВМ), часто используются в качестве:

перейти к ответу ->>

Для того чтобы стать профессионалом в программировании, необходимы:

перейти к ответу ->>

Методами построения инварианта являются:

перейти к ответу ->>

Символы русского алфавита расположены во второй половине таблицы:

перейти к ответу ->>

При написании программы, вводящей последовательность целых чисел, и печатающую количество ее максимальных элементов имеются следующие ограничения:

перейти к ответу ->>

Какая наука занимается исследованием свойств алгоритмов и разработкой методов построения программ?

перейти к ответу ->>

Если при доказательстве теоремы о критерии индуктивности найдутся две различные цепочки a и b такие, что f(a) = f(b), то можно гарантировать, что:

перейти к ответу ->>

Переменные, которые всегда имеются ровно в одном экземпляре, независимо от того как много имеется объектов данного класса называются:

перейти к ответу ->>

Схема вычисления индуктивной функции может быть несколько упрощена при условии наличия у функции:

перейти к ответу ->>

Стороны многоугольников набора выпуклых плоских многоугольников называются:

перейти к ответу ->>

Значение любого константного предиката находится с помощью:

перейти к ответу ->>

Подавляющее большинство функций на пространстве последовательностей:

перейти к ответу ->>

При вводе неположительного числа данная программа:
public class Assert {    public static void main(String[] args) throws Exception {            int n = Xterm.inputInt("Введите n -> ");        if (n <= 0)             throw new Exception("n <= 0");        Xterm.println("n = " + n);    }}
прекращает свое выполнение и печатает следующий текст:

перейти к ответу ->>

К арифметическим операторам языка Java, которые определены для всех числовых типов, относятся:

перейти к ответу ->>

Концепция ООП базируется на таких понятиях как:

перейти к ответу ->>

Для каких задач аккуратная формулировка постановки задачи является проблемой:

перейти к ответу ->>

Для вычисления значения f(w) не являющейся индуктивной функции f на цепочке w применяется следующая:

перейти к ответу ->>

Оператор switch может быть заменен несколькими вложенными друг в друга операторами:

перейти к ответу ->>

Объявление переменной можно совмещать:

перейти к ответу ->>

Алгоритм обычно записывают:

перейти к ответу ->>

Написание самой простейшей программы на языке Java невозможно:

перейти к ответу ->>

Тексты, написанные для людей, как правило, обладают:

перейти к ответу ->>

В математике существует несколько вполне четких определений алгоритма:

перейти к ответу ->>

Учения о том, как надо писать программы называются:

перейти к ответу ->>

Какое свойство требует от алгоритма того, чтобы все операции, которые необходимо произвести в алгоритме, должны быть достаточно простыми, чтобы их в принципе можно было выполнить точно и за конечное время с помощью карандаша и бумаги?

перейти к ответу ->>

Способ концептуализации, который определяет, как следует проводить вычисления, и как работа, выполняемая компьютером, должна быть структурирована и организована - это:

перейти к ответу ->>

В объектно-ориентированном программировании объекты (данные) могут активно взаимодействовать друг с другом с помощью:

перейти к ответу ->>

Одним из самых значительных изменений за последние двадцать лет в информатике и программировании стало появление:

перейти к ответу ->>

Хорошая программа должна обладать следующими качествами:

перейти к ответу ->>

Сколько существует видов комментариев в языке Java:

перейти к ответу ->>

Завершается любой оператор в языке Java:

перейти к ответу ->>

Операторы бывают:

перейти к ответу ->>

Какой метод класса Xterm позволяет осуществить ввод строки символьной информации, размещая ее в массиве символов:

перейти к ответу ->>

Дизъюнкция истинна, если:

перейти к ответу ->>

Предикат, обладающий некоторыми специальными свойствами - это:

перейти к ответу ->>

В теории формальных языков принято задавать язык с помощью:

перейти к ответу ->>

Прямое произведение множеств состояний всех переменных программы - это:

перейти к ответу ->>

Большинство предикатов в состоянии, в котором не определены некоторые из переменных, входящих в него:

перейти к ответу ->>

Один из простейших способов доказать, что предикат является тавтологией, — это:

перейти к ответу ->>

Ограничение на использование кванторов в предикатах таково:

перейти к ответу ->>

Предикат с переменными любых типов, который может содержать кванторы и не иметь скобок, не являющимися необходимыми для его однозначного толкования называется:

перейти к ответу ->>

В языке Java левоассоциативность обозначается символом:

перейти к ответу ->>

Оператор -- языка Java имеет следующий приоритет:

перейти к ответу ->>

Как оперативная, так и внешняя память могут рассматриваться, как:

перейти к ответу ->>

Единицами измерения информации являются:

перейти к ответу ->>

Байта достаточно для хранения:

перейти к ответу ->>

Два последовательных байта для кодирования всех возможных символов использует следующий стандарт:

перейти к ответу ->>

Для хранения переменной типа long в языке Java отводится:

перейти к ответу ->>

Для хранения переменной типа double в языке Java отводится:

перейти к ответу ->>

При делении единицы на минус ноль получается:

перейти к ответу ->>

К арифметическим операторам языка Java, которые определены для всех числовых типов, относятся:

перейти к ответу ->>

Какой пакет дает возможность программисту работать с целыми и вещественными числами произвольной длины и точности:

перейти к ответу ->>

Способ организации обработки данных, при котором определенные действия повторяются многократно, не приводя при этом к рекурсивным вызовам программ называется:

перейти к ответу ->>

При написании рекурсивных программ обычно необходимо исследовать следующие основные вопросы:

перейти к ответу ->>

Какой из операторов цикла языка Java обычно используют в ситуации, когда тело цикла нужно выполнить нуль или более раз:

перейти к ответу ->>

Какой из операторов языка Java позволяет досрочно перейти к выполнению следующей итерации, проигнорировав часть операторов тела цикла, еще не выполненных в текущей итерации:

перейти к ответу ->>

В языке Java, для того чтобы завести массив, необходимо:

перейти к ответу ->>

В тех случаях, когда утверждения проверки корректности хода выполнения программы предназначены только для человека, они оформляются в виде:

перейти к ответу ->>

Часто полезно поручить проверку истинности предикатов в процессе выполнения программы:

перейти к ответу ->>

Определение понятия правильная программа зависит от:

перейти к ответу ->>

К какому классу относятся почти все практические задачи:

перейти к ответу ->>

Ренализация задач на "программирование в малом" не превосходит:

перейти к ответу ->>

Обычным способом программной реализации итерации является:

перейти к ответу ->>

Любая тавтология является:

перейти к ответу ->>

Данная функция:f:R->R,f(x)=sin x является T-инвариантной относительно преобразования:

перейти к ответу ->>

Длинной цепочки называется:

перейти к ответу ->>

Схема вычисления индуктивной функции напоминает:

перейти к ответу ->>

При решении задач на рекурсию необходимо:

перейти к ответу ->>

Теоремой, на которой базируется схема проектирования цикла при помощи инварианта, является утверждение, которое:

перейти к ответу ->>

На практике постановка задачи:

перейти к ответу ->>

Предикат 5i<10 можно ослабить до:

перейти к ответу ->>

В чем причина того, что метод добавления дизъюнктивного члена не применяется:

перейти к ответу ->>

Данная программа:
public class Sqrt3 {    public static void main(String[] args) throws Exception {        int a, b, n;        n = Xterm.inputInt("n -> ");        a = 0;         b = n+1;        while (a+1 != b) {            int c = (a+b)/2;            if (c*c <= n) a = c;            else          b = c;        }         Xterm.println("sqrt(" + n + ") = " + a);    }}
находит приближенное значение квадратного корня:

перейти к ответу ->>

Данная программа:
public class Arr3 {    public static void main(String[] args){            int a[] = { 1, 2, 4, 8,16,32,64,128};        int b[] = {10,12,14,16,18,20,22, 24};        int c[] = { 9,12,13,16,17,20,21, 24};        int i = 0, j = 0, k = 0;        while (true) {             if (a[i] < b[j]) {                i++; continue;            }            if (b[j] < c[k]) {                j++; continue;            }            if (c[k] < a[i]) {                k++; continue;            }            Xterm.println("Минимальное общее число=" + a[i]);            return;        }    }}
реализует алгоритм нахождения минимальное число, содержащееся в каждом из трех упорядоченных:

перейти к ответу ->>

Для функции f:{0,1}*->{T,F} все элементы цепочки:

перейти к ответу ->>

Минимальное индуктивное расширение для любой функции f:X*->Y:

перейти к ответу ->>

Для произвольной функции f на пространстве последовательностей существует единственный с точностью до изоморфизма:

перейти к ответу ->>

Данная программа:
public class First1{    public static void main(String[] args) throws Exception {        int x0 = Xterm.inputInt("x0 ->");        int y1 = 0, y2 = 0;        try {            while (true) {                int x = Xterm.inputInt("x -> ");                y2 += 1;                if ( (y1 == 0) && (x == x0) )                    y1 = y2;            }        } catch (Exception e) {            Xterm.println("\nn = " + y1);        }	        }}
определяющую номер f первого элемента, равного Xo, в последовательности:

перейти к ответу ->>

Данная программа:
import java.io.*;public class ABCDSeq {    public static void main(String[] args) {            DataInputStream in = new DataInputStream(System.in);        int f = 0, n = 0;        try {            while (true) {                char x = (char)in.readByte();                if (x=='\n') continue;                if (x=='d' && n==3) {                    f += 1;                     n  = 0;                } else if (x=='c' && n==2) {                    n = 3;                } else if (x=='b' && n==1) {                    n = 2;                } else if (x=='a') {                    n = 1;                } else{                    n = 0;                }            }        } catch(Exception e) {            Xterm.println("f = " + f);        }    }}
определяет:

перейти к ответу ->>

В данной программе:
import java.io.*;public class ABCDSeq {    public static void main(String[] args) {            DataInputStream in = new DataInputStream(System.in);        int f = 0, n = 0;        try {            while (true) {                char x = (char)in.readByte();                if (x=='\n') continue;                if (x=='d' && n==3) {                    f += 1;                     n  = 0;                } else if (x=='c' && n==2) {                    n = 3;                } else if (x=='b' && n==1) {                    n = 2;                } else if (x=='a') {                    n = 1;                } else{                    n = 0;                }            }        } catch(Exception e) {            Xterm.println("f = " + f);        }    }}
символ '\n' оказывается введенным после того, как пользователь нажимает клавишу:

перейти к ответу ->>

методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является реализацией определенного типа, использующая механизм пересылки сообщений и классы, организованные в иерархию наследования называется:

перейти к ответу ->>

Множество объектов, связанных общностью структуры и поведения; абстрактное описание данных и поведения (методов) для совокупности похожих объектов, представители которой называются экземплярами класса называется:

перейти к ответу ->>

Конкретная реализация класса, обладающая характеристиками состояния, поведения и индивидуальности, синоним экземпляра называется:

перейти к ответу ->>

Одним из достоинств объектно-ориентированного подхода является возможность использования уже существующих типов для:

перейти к ответу ->>

Динамический поиск метода никогда не используется в следующих ситуациях:

перейти к ответу ->>

Какой линейный двусвязный список — можно представлять себе в виде перекидного календаря или бус, нанизанных на нить:

перейти к ответу ->>

Синонимом терминов класс-предок, базовый класс является:

перейти к ответу ->>

Примерами выпуклых множеств являются:

перейти к ответу ->>

Одним из важнейших отличий является то, что аплет не содержит метода main и:

перейти к ответу ->>

Подкласс класса Applet, определен в пакете:

перейти к ответу ->>

Графический примитив fillRect позволяет:

перейти к ответу ->>

Графический примитив drawRect позволяет:

перейти к ответу ->>

Для формулы x+y*z существует два существенно различных множества эквивалентных между собой цепочек вывода, каждому из которых соответствует:

перейти к ответу ->>

Грамматика G1 хотя и задает язык правильных арифметических формул, не отражает:

перейти к ответу ->>

Хорошим средством для автоматизации работы над сложными программными проектами является утилита:

перейти к ответу ->>

Интерпретатор совмещает в себе следующие стадии:

перейти к ответу ->>

Римская система счисления является примером следующей системы счисления:

перейти к ответу ->>

При записи чисел в римской системе счисления значением числа является:

перейти к ответу ->>

Данная программа:
public class CompfTest {    public static void main(String[] args) throws Exception {        Compf c = new Compf();        while (true)	                   c.compile(Xterm.inputChars("Введите формулу -> "));	        }}
является:

перейти к ответу ->>

Один из способов моделирования геометрических объектов в трехмерном пространстве состоит в том, чтобы аппроксимировать реальный объект:

перейти к ответу ->>

Примерами полиэдров могут служить:

перейти к ответу ->>

Какой класс выводит плоское изображение в отдельном фрейме:

перейти к ответу ->>

Класс Graphics входит в пакет:

перейти к ответу ->>

Затененные участки - это:

перейти к ответу ->>

Боковая поверхность полубесконечной призмы параллельна:

перейти к ответу ->>

Значительно облегчает решение задач на модификацию применение утилиты:

перейти к ответу ->>

Для любой функции на пространстве последовательностей существует и единственно:

перейти к ответу ->>

Какое свойство является дистрибутивностью конъюнкции преобразователя предикатов wp(S,R):

перейти к ответу ->>

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

перейти к ответу ->>

Активным началом в директивном программировании считаются:

перейти к ответу ->>

Факториал n! целого неотрицательного числа n задается следующими соотношениями:

перейти к ответу ->>

Данная программа:
public class FibIv1 {    public static void main(String[] args) throws Exception {            int n = Xterm.inputInt("Введите n -> ");        Xterm.print("f(" + n + ")");        if (n < 0) {            Xterm.print(" не определено\n");        } else if (n < 2) {            Xterm.println(" = " + n);        } else {            long i = 0;              long j = 1;              long k;            int  m = n;              while (--m > 0) {                k  = j;                j += i;                i  = k;            }	                Xterm.println(" = " + j);        }    }}
печатает n-ое число Фибоначчи и имеет:

перейти к ответу ->>

Аплеты запускаются с помощью:

перейти к ответу ->>

Компилятор языка Java запускается обычно с помощью команды:

перейти к ответу ->>

В настоящее время существует:

перейти к ответу ->>

В языке Java каждый существующий класс неявно наследует класс:

перейти к ответу ->>

При работе с индуктивными функциями последовательности X* элементов алфавита X цепочки над последним часто называют:

перейти к ответу ->>

Для построения изображения куба достаточно выполнения команды:

перейти к ответу ->>

В вычислении рекурсивно определенной функции на множестве программных переменных заключается:

перейти к ответу ->>

При написании программы, определяющей количество вхождений образца abcd в последовательность символов, функция F3 - это::

перейти к ответу ->>

Какой метод может обеспечивать обработку всех тех отложенных операций, которые выполнимы в данный момент:

перейти к ответу ->>

При кодировании алгоритма, сам текст алгоритма называется:

перейти к ответу ->>

Какое свойство определяет то, что алгоритм всегда обязан иметь одну или несколько выходных величин:

перейти к ответу ->>

Набор теорий, стандартов и методов, которые совместно представляют собой способ организации научного знания - это:

перейти к ответу ->>

Важнейшими свойствами языка Java являются следующие:

перейти к ответу ->>

Множество всех состояний, в которых может находиться объект Xterm, называется:

перейти к ответу ->>

Типы данных в языке Java подразделяются на:

перейти к ответу ->>

Общая форма записи тернарного оператора условия ?: имеет следующий вид:

перейти к ответу ->>

Цепочки часто называют:

перейти к ответу ->>

Использование круглых скобок для группировки всегда позволяет:

перейти к ответу ->>

Оператор ++ языка Java имеет следующий тип операции:

перейти к ответу ->>

Данный оператор != языка Java имеет следующий тип операций:

перейти к ответу ->>

Какая информация в компьютере представляется в двоичной форме:

перейти к ответу ->>

К целочисленным типам в языке Java относятся:

перейти к ответу ->>

Когда возникает необходимость хранить несколько однотипных значений используют:

перейти к ответу ->>

Для того, чтобы зарезервировать память для элементов массива на языке Java необходимо воспользоваться оператором:

перейти к ответу ->>

Фраза, инвертирование которой не изменяет ее называется:

перейти к ответу ->>

Что позволяет реализовать проверку истинности предикатов в процессе выполнения программы в языке Java:

перейти к ответу ->>

Так как спецификация программы является предикатом, то она может быть:

перейти к ответу ->>

С практической точки зрения особый интерес представляют программы, которые позволяют:

перейти к ответу ->>

Предикат, описывающий максимально сильные ограничения на состояние переменных программы S, которые могут быть получены при данном предусловии Q:

перейти к ответу ->>

В данном случае:wp("System.exit(0);",R)=F выполнение вызова метода "System.exit(0)" приводит:

перейти к ответу ->>

Предикат inrange(b,i) определяет:

перейти к ответу ->>

Для определения слабейшего предусловия wp("while(e)S;",R) потребуются:

перейти к ответу ->>

Спецификация задачи на итерацию имеет вид:

перейти к ответу ->>

Что делает данная программа:
public class MulI {    public static void main(String[] args) throws Exception {            int a = Xterm.inputInt("a -> ");        int b = Xterm.inputInt("b -> ");        int x = a, y = b, z = 0;        while (y > 0) {             if ((y&1) == 0) {                y >>>= 1; x +=  x;            } else {                y  -=  1; z +=  x;            }        }        Xterm.println("a * b = " + z);    }}
:

перейти к ответу ->>

При работе с индуктивными функциями последовательности X* элементов алфавита X символом последнего является:

перейти к ответу ->>

Данная операция:o:X* x X* -> X* является операцией:

перейти к ответу ->>

Простым примером, иллюстрирующим схему вычисления индуктивной функции, является задача нахождения значения многочлена:

перейти к ответу ->>

При использовании схемы вычисления инвариантной функции необходимо указать:

перейти к ответу ->>

Свойствами преобразователя предикатов wp или определением оператора цикла являются:

перейти к ответу ->>

В данном случае:
public class Gcd {    public static void main(String[] args) throws Exception {        int x = Xterm.inputInt("x -> ");        int y = Xterm.inputInt("y -> ");        Xterm.print("gcd(" + x + "," + y + ") =");        while ( (x != 0) && (y != 0) ) {            if (x >= y) x -= y;            else        y -= x;        }         Xterm.println(" " + (x+y));    }}
сохранение инварианта после выполнения тела цикла следует из:

перейти к ответу ->>

Любая корректная постановка задачи содержит:

перейти к ответу ->>

При использовании основного метода построения инварианта и получении условия продолжения цикла в его качестве берется:

перейти к ответу ->>

При построении инварианта с помощью метода устранения конъюнктивного члена истинность инварианта перед началом выполнения цикла легко устанавливается присваиванием:

перейти к ответу ->>

Для доказательства факта, что заданная функция не является индуктивной, применяют:

перейти к ответу ->>

Для функции f:{0,1}*->{T,F} все элементы цепочки равны нулю значение F является:

перейти к ответу ->>

Второе условие критерия минимальности выполнено по построению:

перейти к ответу ->>

Конструктор - это:

перейти к ответу ->>

"Сворачивание вектора в кольцо" можно реализовать с помощью метода:

перейти к ответу ->>

В качестве основы для создания простейшего графического интерфейса используются:

перейти к ответу ->>

Выпуклая оболочка любого выпуклого множества:

перейти к ответу ->>

Два объекта типа R2Point соответствуют совпадающим точкам плоскости тогда и только тогда, когда:

перейти к ответу ->>

Выяснение того факта, лежат ли три точки на одной прямой, сводится к вычислению площади треугольника и:

перейти к ответу ->>

Какой из простейших графических примитивов позволяет изобразить заполненный овал:

перейти к ответу ->>

В данном аплете:
import java.awt.*;import java.applet.*;public class Primitives extends Applet {    public void paint (Graphics g) {        g.fillRect(20, 20, 40, 60);        g.setColor(Color.red);        g.drawLine(2, 2, 80, 80);        g.drawOval(120, 120, 30, 40);        g.drawRect(170, 170, 10, 15);        g.setColor(Color.blue);        g.fillOval(20, 150, 30, 30);    }}
операторы import обеспечивают подключение:

перейти к ответу ->>

Какой язык можно рассматривать как язык правильных программ для стекового калькулятора:

перейти к ответу ->>

Множество нетерминалов для грамматики G2 будет состоять из следующих метасимволов:

перейти к ответу ->>

Класс Compf, содержащий метод compile, можно сделать выведенным из класса:

перейти к ответу ->>

Римскому числу MCCVII соответствует следующее:

перейти к ответу ->>

Данная программа:
public class CalcTest {    public static void main(String[] args) throws Exception {        Calc c = new Calc();        while (true)	                   c.compile(Xterm.inputChars("Введите формулу -> "));	        }}
является:

перейти к ответу ->>

Какой класс позволит задать произвольный вектор и обеспечит все необходимые манипуляции над векторами в трехмерном пространстве:

перейти к ответу ->>

Ряд методов какого класса предназначен для нахождения координат проекции произвольного трехмерного вектора, как реальных, так и нормализованных:

перейти к ответу ->>

Учет затенения частей ребер гранями полиэдра — может решаться с помощью класса:

перейти к ответу ->>

Какой метод инициализирует список просветов list, помещая в него единственный элемент — ребро целиком:

перейти к ответу ->>

При построении изображения полиэдра надо удалить части ребер:

перейти к ответу ->>

По своему положению и используемым методам Наука программирование является:

перейти к ответу ->>

Язык Java обладает следующими качествами:

перейти к ответу ->>

Для задания грамматики часто используют очень наглядную форму представления, называемую:

перейти к ответу ->>

Минимальное индуктивное расширение любой функции f:X*->Y единственно с точностью до:

перейти к ответу ->>

Сколько методов с именем print имеется в классе Xterm:

перейти к ответу ->>

В римской системы счисления цифры в записи числа следуют, как правило, в порядке:

перейти к ответу ->>

Для директивного программирования верны следующие утверждения:

перейти к ответу ->>

Для хранения переменной типа short в языке Java отводится:

перейти к ответу ->>

какие операторы необходимы для вызова метода "readByte":

перейти к ответу ->>

Данная программа:
public class NumMaxSeq2 {    public static void main(String[] args) {            int y1 = 0, y2 = Integer.MIN_VALUE;        try {            while (true) {                int x = Xterm.inputInt("x -> ");                if (x == y2) {                    y1 += 1;                } else if(x > y2) {                    y1 = 1;                    y2 = x;                }             }        } catch (Exception e) {            Xterm.println("\nn = " + y1);        }	        }}
вводит последовательность целых чисел, и печатает:

перейти к ответу ->>

Какое свойство определяет то, что между любыми двумя различными числами всегда найдется отличное от них третье:

перейти к ответу ->>

Математическая модель итерации сводится к повторению некоторого преобразования T:X -> X:

перейти к ответу ->>

Все определения алгоритма требуют хорошего знания:

перейти к ответу ->>

Минимальная неделимая единица языка Java - это:

перейти к ответу ->>

В языке Java для вызова метода необходимо сначала указать объект, к которому применяется тот или иной метод, а затем:

перейти к ответу ->>

В программировании ошибку гораздо легче:

перейти к ответу ->>

Язык, на котором можно строго сформулировать постановку задачи и доказать правильность конкретной программы - это:

перейти к ответу ->>

Для задания грамматики часто используют очень наглядную форму представления, называемую:

перейти к ответу ->>

Если предикат истинен во всех состояниях, в которых он определен, то он называется:

перейти к ответу ->>

Под внешней памятью подразумеваются такие носители информации, как:

перейти к ответу ->>

В шестнадцатеричной системе в качестве цифр от десяти до пятнадцати используются буквы:

перейти к ответу ->>

Какой из операторов цикла языка Java применяется, если выполнение тела цикла хотя бы раз обязательно:

перейти к ответу ->>

Данная программа:
public class NumMaxArr {    public static void main(String[] args) throws Exception {            int n, i, a[];        n = Xterm.inputInt("Введите длину массива n -> ");        a = new int[n];        int max  = Integer.MIN_VALUE;        int nMax = 0;        for (i=0; i<n; i++) {            a[i] = Xterm.inputInt("Введите a[" + i + "] -> ");            if (a[i] < max) {                max  = a[i];                nMax = 1;            } else if (a[i] == max)                nMax += 1;        }        Xterm.println("Количество макс. элементов = " + nMax);       }}
печатает количество максимальных элементов непустого массива:

перейти к ответу ->>

Для того чтобы доказывать правильность программ необходимо прежде всего дать строгое определение понятию:

перейти к ответу ->>

В данном случае:{Q} S {R} предикат Q называется:

перейти к ответу ->>

В данном случае:wp("System.exit(0);",R)=F при каком начальном состоянии после его выполнения предикат R будет истинным:

перейти к ответу ->>

При использовании основного метода построения инварианта часто удается получить:

перейти к ответу ->>

Для того чтобы при построении инварианта с помощью метода устранения конъюнктивного члена цикл завершился, величина a должна:

перейти к ответу ->>

В данном случае:"i=0;s=0;while(i<n)S;" уменьшить h можно:

перейти к ответу ->>

Свойство объектов, посредством которого экземпляры класса получают доступ к данным и методам классов-предков без их повторного определения называется:

перейти к ответу ->>

Основными контейнерами являются:

перейти к ответу ->>

Любая целочисленная функция h:M->{0..n-1} называется:

перейти к ответу ->>

Использование аплетов дает возможность:

перейти к ответу ->>

Примерами выпуклых множеств являются:

перейти к ответу ->>

Выпуклой оболочкой двух точек на плоскости является:

перейти к ответу ->>

Выпуклая оболочка окружности - это:

перейти к ответу ->>

Минимальный прямоугольник со сторонами, параллельными осям координат, содержащий отрезок - это:

перейти к ответу ->>

Площадь треугольника можно сделать неориентированной, если использовать метод:

перейти к ответу ->>

Простейшими графическими примитивами являются:

перейти к ответу ->>

Какой из простейших графических примитивов позволяет изобразить отрезок прямой линии:

перейти к ответу ->>

Треугольную призму можно представить в виде:

перейти к ответу ->>

Описание того, что происходит с множеством переменных программы в процессе выполнения цикла называется:

перейти к ответу ->>

В римской системе цифра M всегда обозначает:

перейти к ответу ->>

Класса R2Point вполне достаточно для реализации классов:

перейти к ответу ->>

Главным в функциональном и логическом программировании является:

перейти к ответу ->>

Идентификатор, непосредственно следующий в предикате за квантором называется:

перейти к ответу ->>

Операторы с каким приоритетом в языке Java выполняются в первую очередь:

перейти к ответу ->>

Использование чисел с плавающей точкой является наиболее распространенным способом реализации:

перейти к ответу ->>

Описание примерного поведения функции T(n)при больших значениях параметра n называется:

перейти к ответу ->>

Язык Java позволяет работать с массивами элементов:

перейти к ответу ->>

В программах на языке C можно использовать следующий макрос, который в случае ложности его аргумента немедленно прекращает выполнение программы, сообщая о причине этого:

перейти к ответу ->>

Следующая спецификация:{i=0}"i++;"{i=0}:

перейти к ответу ->>

Предикат, описывающий максимально широкое множество в пространстве состояний переменных программы S, на котором гарантируется получение постусловия R называется:

перейти к ответу ->>

Для того чтобы задать все основные конструкции выбора языка Java, достаточно дать определение только одной из них, — конструкции:

перейти к ответу ->>

Данная программа:
public class Gcd {    public static void main(String[] args) throws Exception {        int x = Xterm.inputInt("x -> ");        int y = Xterm.inputInt("y -> ");        Xterm.print("gcd(" + x + "," + y + ") =");        while ( (x != 0) && (y != 0) ) {            if (x >= y) x -= y;            else        y -= x;        }         Xterm.println(" " + (x+y));    }}
находит наибольший общий делитель gcd(x,y) двух целых неотрицательных чисел x и y:

перейти к ответу ->>

При написании программы, определяющей первое вхождение заданного целого числа x в заданный массив b[0..m-1] целых чисел (m>0), если известно, что x находится в массиве b, в качестве ограничивающей функции можно попробовать взять:

перейти к ответу ->>

Какая функция позволяет написать программу, реализующую схему вычисления индуктивной функции:

перейти к ответу ->>

По достижению конца вводимой последовательности данной программой:
public class First1{    public static void main(String[] args) throws Exception {        int x0 = Xterm.inputInt("x0 ->");        int y1 = 0, y2 = 0;        try {            while (true) {                int x = Xterm.inputInt("x -> ");                y2 += 1;                if ( (y1 == 0) && (x == x0) )                    y1 = y2;            }        } catch (Exception e) {            Xterm.println("\nn = " + y1);        }	        }}
управление передается на:

перейти к ответу ->>

Основными контейнерами являются:

перейти к ответу ->>

Если все элементы контейнера хранятся в векторе непрерывным куском и порядок элементов в имитируемой структуре соответствует порядку элементов в векторе, то такая реализация на базе вектора называется:

перейти к ответу ->>

Какой метасимвол в грамматике G2 обозначает терм:

перейти к ответу ->>

Римскому числу MMMCMXCIX соответствует следующее:

перейти к ответу ->>

Грани полиэдра можно описать с помощью класса:

перейти к ответу ->>

Функциональное и логическое программирование использует языки типа:

перейти к ответу ->>

Какое свойство определяет то, что алгоритм должен всегда заканчиваться после выполнения конечного числа шагов:

перейти к ответу ->>

Своеобразное проявление полиморфизма, когда два или более различных методов имеют одно и то же имя и различаются только количеством или типами аргументов - это:

перейти к ответу ->>

Предикаты нам нужны прежде всего для того, чтобы иметь возможность ясно и недвусмысленно формулировать:

перейти к ответу ->>

Описание последовательности действий, достаточно определенное для того, чтобы ее можно было выполнить при помощи некоторого автоматического устройства называют:

перейти к ответу ->>

Написание простейших программ на языке Java требует знания:

перейти к ответу ->>

К побитовым операторам языка Java относятся следующие:

перейти к ответу ->>

Для доступа к i-му элементу массива используется выражение:

перейти к ответу ->>

Программирование называют:

перейти к ответу ->>

Каноническое минимальное индуктивное расширение для доказательства теоремы о минимальном индуктивном расширении для любой функции f:X*->Y, строится в:

перейти к ответу ->>

Минимальные индуктивные расширения обладают тем достоинством, что позволяют свести к минимуму ту дополнительную информацию, которая необходима для:

перейти к ответу ->>

По какому списку можно двигаться только в одном направлении, а вставлять и удалять элементы — только за указателем:

перейти к ответу ->>

Для целей вывода графической информации достаточно в классе, выведенном из класса Applet, переопределить метод:

перейти к ответу ->>

В случае программ на языках C и C++ компилятор позволяет получить файл, который содержит:

перейти к ответу ->>

В римской системе счисления число 3900 может быть представлено так:

перейти к ответу ->>

Для представления ребер полиэдра необходимо использовать класс:

перейти к ответу ->>

В каком классе реализуется метод Main:

перейти к ответу ->>

В каждом экземпляре класса Segment должны храниться:

перейти к ответу ->>

В общей форме оператор if-else записывается следующим образом:

перейти к ответу ->>

Какие языки реализуют объектно-ориентированный подход:

перейти к ответу ->>

Произвольный объектно-ориентированный язык программирования характеризуют следующие основных свойства:

перейти к ответу ->>

Множество элементов типа byte можно представлять себе в виде свернутого в кольцо отрезка

перейти к ответу ->>

Рекурсия и итерация:

перейти к ответу ->>

Какой оператор отсутствует в языке Java:

перейти к ответу ->>

При решении задач на "программирование в малом" оправдано применение различных методов разработки программ типа:

перейти к ответу ->>

Объектно-ориентированное проектирование в значительной мере помогает справиться со сложностью задач типа больших проектов, позволяя свести их к решению:

перейти к ответу ->>

Объектно-ориентированное программирование помогает справиться:

перейти к ответу ->>

Типичным примером какой реализации является реализация односвязного списка:

перейти к ответу ->>

В информатике часто применяются следующие системы счисления:

перейти к ответу ->>

Ошибки в программах - это:

перейти к ответу ->>

Программа S является правильной при заданных Q и R, если спецификация {Q} S {R} является:

перейти к ответу ->>

Данная программа:
public class AverSeq{    public static void main(String[] args) {            double y1 = 0., y2 = 0.;        try {            while (true) {                double x = Xterm.inputDouble("x -> ");                y1  = (y1*y2 + x) / (y2 + 1.);                y2 += 1;            }        } catch(Exception e) {            Xterm.println("\nf = " + y1);        }	        }}
вводит последовательность вещественных чисел, и печатает:

перейти к ответу ->>

Какие квалификаторы доступа определяют доступность данных или метода, реализуя возможность инкапсуляции:

перейти к ответу ->>

Использование законов эквивалентности позволяет производить следующее полезное действие:

перейти к ответу ->>

Для практических приложений часто необходимо не вычисление слабейшего предусловия, а лишь проверка того факта, что некоторое другое известное предусловие:

перейти к ответу ->>

Освещенные участки - это:

перейти к ответу ->>

Индуктивные функции определены на последовательностях:

перейти к ответу ->>

Сколько применяется реально методов построения инварианта:

перейти к ответу ->>

Основанная на связи площади с векторным произведением формула использует:

перейти к ответу ->>

Задание на построение цели doc сводится к вызову утилиты:

перейти к ответу ->>

Центральный элемент ООП - это:

перейти к ответу ->>

Определение множества методов, имеющих одинаковое имя, но разные списки аргументов - это:

перейти к ответу ->>