База ответов ИНТУИТ

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

Количество вопросов - 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 существует:

Объект Xterm:

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

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

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

В том случае, когда программа использует ввод чисел, строку: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:

Объект Xterm:

Завершается любой оператор в языке 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 сводится к вызову утилиты:

Центральный элемент ООП - это:

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