Логическое программирование

Упражнение 1:

Номер 1

Укажите язык программирования со строгой типизацией:

Ответ:

(1) C#

(2) C++

(3) Prolog

Номер 2

Укажите язык программирования с нестрогой типизацией:

Ответ:

(1) C#

(2) C++

(3) Prolog

Номер 3

Укажите бестиповой язык программирования:

Ответ:

(1) C#

(2) C++

(3) Prolog

Упражнение 2:

Номер 1

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

Ответ:

(1) проверяется строгое соответствие типов

(2) тип данных нужен в основном для определения объема памяти

(3) переменные могут принимать значения различной природы

Номер 2

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

Ответ:

(1) проверяется строгое соответствие типов

(2) тип данных нужен в основном для определения объема памяти

(3) переменные могут принимать значения различной природы

Номер 3

В бестиповых языках программирования:

Ответ:

(1) проверяется строгое соответствие типов

(2) тип данных нужен в основном для определения объема памяти

(3) переменные могут принимать значения различной природы

Упражнение 3:

Номер 1

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

Ответ:

(1) на этапе выполнения

(2) на этапе компиляции

(3) на этапе компиляции и выполнения

Номер 2

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

Ответ:

(1) на этапе выполнения

(2) на этапе компиляции

(3) на этапе компиляции и выполнения

Номер 3

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

Ответ:

(1) динамический контроль типов данных

(2) статический контроль типов данных

(3) статический и динамический контроль типов данных

Упражнение 4:

Номер 1

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

Ответ:

(1) не требует жесткой системы типизации

(2) в традиционных языках программирования требует избыточного описания типов в программе

(3) в традиционных языках программирования не требует избыточного описания типов в программе

Номер 2

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

Ответ:

(1) возможность моделирования на бестиповых языках

(2) в традиционных языках программирования требует избыточного описания типов в программе

(3) требует более жесткой системы типизации

Номер 3

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

Ответ:

(1) динамический контроль типов данных

(2) статический контроль типов данных

(3) статический и динамический контроль типов данных

Упражнение 5:

Номер 1

Каррирование - это ...

Ответ:

(1) преобразование функции от пары аргументов в функцию, берущую свои аргументы по одному

(2) применение функции высшего порядка к аргументу

(3) рассмотрение выражения как функции от некоторого аргумента

Номер 2

Аппликация - это ...

Ответ:

(1) преобразование функции от пары аргументов в функцию, берущую свои аргументы по одному

(2) применение функции высшего порядка к аргументу

(3) рассмотрение выражения как функции от некоторого аргумента

Номер 3

Абстракция - это ...

Ответ:

(1) преобразование функции от пары аргументов в функцию, берущую свои аргументы по одному

(2) применение функции высшего порядка к аргументу

(3) рассмотрение выражения как функции от некоторого аргумента

Упражнение 6:

Номер 1

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

Ответ:

(1) соответствующий среднему ветвлению на каждом шаге алгоритма поиска

(2) соответствующий среднему ветвлению на каждом шаге алгоритма в степени средней длины пути алгоритма поиска

(3) соответствующий максимальной длине пути алгоритма поиска

Номер 2

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

Ответ:

(1) соответствующий среднему ветвлению на каждом шаге алгоритма поиска

(2) соответствующий среднему ветвлению на каждом шаге алгоритма в степени средней длины пути алгоритма поиска

(3) соответствующий максимальной длине пути алгоритма поиска

Номер 3

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

Ответ:

(1) переменные могут принимать значения различной природы

(2) совместимые по природе объекты несовместимы по присваиванию

(3) совместимые по природе объекты совместимы по присваиванию

Упражнение 7:

Номер 1

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

Ответ:

(1) алгоритм поиска в глубину

(2) алгоритм поиска в ширину

(3) алгоритмы поиска в глубину и в ширину найдут кратчайший путь одновременно

Номер 2

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

Ответ:

(1) первым находится необязательно кратчайший путь

(2) первым находится кратчайший путь

(3) можно найти пути решения с циклами

Номер 3

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

Ответ:

(1) первым находится кратчайший путь

(2) можно найти только пути решения без петель

(3) первым находится необязательно кратчайший путь

Упражнение 8:

Номер 1

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

Ответ:

(1) алгоритм поиска в глубину

(2) алгоритм поиска в ширину

(3) алгоритмы поиска в глубину и в ширину

Номер 2

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

Ответ:

(1) алгоритм поиска в глубину

(2) алгоритм поиска в ширину

(3) алгоритмы поиска в глубину и в ширину

Номер 3

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

Ответ:

(1) det

(2) semidet

(3) failure

(4) multi

Упражнение 9:

Номер 1

Режим доказательства предиката add(X,Y,Z) при конкретизированных X,Y:

Ответ:

(1) cложение

(2) вычитание

(3) построение всех комбинаций

(4) проверка верности суммы

Номер 2

Режим доказательства предиката add(X,Y,Z) при конкретизированных X,Z:

Ответ:

(1) cложение

(2) вычитание

(3) построение всех комбинаций

(4) проверка верности суммы

Номер 3

Режим доказательства предиката add(X,Y,Z) при конкретизированных Z:

Ответ:

(1) cложение

(2) вычитание

(3) построение всех комбинаций

(4) проверка верности суммы

Упражнение 10:

Номер 1

Укажите синтаксис Mercury для объявления типа string:

Ответ:

(1) :- type t == char

(2) :- type t == str

(3) :- type t == string

Номер 2

Укажите синтаксис Mercury для объявления прямой суммы:

Ответ:

(1) :- type t == int

(2) :- type t == T1->T2

(3) :- type t == T1 * T2

(4) :- type t --> op1(T1); op2(T2)

Номер 3

Режим доказательства предиката add(X,Y,Z) при конкретизированных X,Y,Z:

Ответ:

(1) cложение

(2) вычитание

(3) построение всех комбинаций

(4) проверка верности суммы

Упражнение 11:

Номер 1

Укажите синтаксис Mercury для объявления типа int:

Ответ:

(1) :- type t == int

(2) :- type t == T1->T2

(3) :- type t == T1 * T2

(4) :- type t --> op1(T1); op2(T2)

Номер 2

Укажите синтаксис Mercury для объявления функционального типа:

Ответ:

(1) :- type t == int

(2) :- type t == T1->T2

(3) :- type t == T1 * T2

(4) :- type t --> op1(T1); op2(T2)

Номер 3

Укажите синтаксис Mercury для объявления декартова произведения:

Ответ:

(1) :- type t == int

(2) :- type t == T1->T2

(3) :- type t == T1 * T2

(4) :- type t --> op1(T1); op2(T2)

Упражнение 12:

Номер 1

Определите детерминизм предиката Prolog, у которого максимальное количество решений равно единице, а отказ невозможен:

Ответ:

(1) det

(2) semidet

(3) failure

(4) multi

Номер 2

Определите детерминизм предиката Prolog, у которого максимальное количество решений равно единице и отказ возможен:

Ответ:

(1) det

(2) semidet

(3) failure

(4) multi

Номер 3

Определите детерминизм предиката Prolog, у которого решений нет и отказ возможен:

Ответ:

(1) det

(2) semidet

(3) failure

(4) multi

Логическое программирование - тест 10