Языки логического программирования

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

Номер 1

Какое из утверждений является верным?

Ответ:

(1) аксиома алгебры программ утверждает равенство некоторых форм для некоторых функций, входящих в формы

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

(3) аксиома алгебры программ утверждает равенство форм для любых функций, входящих в формы

Номер 2

Какое из утверждений является неверным?

Ответ:

(1) значениями алгебры программ являются функции

(2) операциями алгебры программ являются формы

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

Номер 3

Какое из утверждений явяляется верным?

Ответ:

(1) если 2 формы для любых объектов дают неопределенность, то эти формы эквивалентны

(2) если 2 формы для любых объектов дают неопределенность, то равенство этих форм есть аксиома

(3) введение аксиом в алгебру программ позволяет проводить формальные доказательства корректности любых программ модели Бэкуса

(4) 2 формы эквивалентны, если для любых объектов они определены и дают одинаковые значения

(5) алгебра программ является коммутативной

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

Номер 1

Для каких данных следующие 2 формы дадут одинаковый результат: (1,2)*3 и (1*3,2*3)?

Ответ:

(1) только для атомов

(2) только для кортежей, элементами которых явяляются кортежи

(3) для любых данных

(4) только для кортежей, у которых есть третий элемент и он явялется кортежом не менее, чем с двумя элементами

Номер 2

Для каких данных следующие 2 формы дадут одинаковый результат: (1,2)*3 и 3*(1,2)?

Ответ:

(1) ни для каких

(2) только для некоторых атомов

(3) только для кортежей, которые имеют не менее трех элементов, являющихся кортежами с одинаковыми элементами

(4) для любых атомов

Номер 3

Для каких данных следующие 2 формы не дадут одинакового результата: 1*(1,1) и (1,1)*1?

Ответ:

(1) для любых атомов

(2) для кортежей, у которых первый элемент является кортежем с двумя элементами, не являющимися кортежами

(3) ни для каких

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

Номер 1

Для каких данных следующие 2 формы дадут одинаковый результат: A3*(1,2) и (3*1,3*2)?

Ответ:

(1) только для атомов

(2) только для кортежей, элементами которых являются кортежи

(3) для любых данных

(4) только для кортежей, у которых есть третий элемент и он является кортежом не менее, чем с двумя элементами

(5) только для кортежей, у которых первый и второй элементы являются кортежами не менее чем с тремя элементами

Номер 2

Для каких данных следующие 2 формы дадут одинаковый результат: A(1,2)*3 и (A3*1,A3*2)?

Ответ:

(1) ни для каких

(2) только для некоторых атомов

(3) только для кортежей, которые имеют не менее трех элементов, являющихся кортежами с одинаковыми элементами

(4) для любых атомов

Номер 3

Для каких данных следующие 2 формы не дадут одинакового результата: A1*(1,1) и A(1,1)*1?

Ответ:

(1) для любых атомов

(2) для любых кортежей

(3) ни для каких

(4) для кортежей, у которых первый элемент является кортежем с двумя элементами, не являющимися кортежами

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

Номер 1

Для каких данных следующие 2 формы дадут одинаковый результат: /3*(1,2) и 3*(1,2)?

Ответ:

(1) только для атомов

(2) только для кортежей, элементами которых являются кортежи

(3) только для кортежей, у которых есть третий элемент и он является кортежом не менее, чем с двумя элементами

(4) для любых данных

(5) только для кортежей, у которых первый и второй элементы являются кортежами не менее чем с тремя элементами

Номер 2

Для каких данных следующие 2 формы дадут одинаковый результат: /(1,2)*3 и (/1*3,/2*3)?

Ответ:

(1) ни для каких

(2) только для некоторых атомов

(3) для любых атомов

(4) только для кортежей, которые имеют не менее трех элементов, являющихся кортежами с одинаковыми элементами

Номер 3

Для каких данных следующие 2 формы не дадут одинакового результата: /1*(1,1) и /(1,1)*1?

Ответ:

(1) для любых атомов

(2) для любых кортежей

(3) ни для каких

(4) для кортежей, у которых первый элемент является кортежем с двумя элементами, не являющимися кортежами

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

Номер 1

Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (3*2,4*1)?

Ответ:

(1) только для атомов

(2) только для кортежей, элементами которых являются кортежи

(3) только для кортежей, у которых есть третий элемент и он является кортежом не менее, чем с двумя элементами

(4) только для кортежей, у которых первый и второй элементы являются кортежами не менее чем с тремя элементами

(5) для любых данных

Номер 2

Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (2,1)*(3*1,4*2)?

Ответ:

(1) ни для каких

(2) только для некоторых атомов

(3) для любых атомов

(4) только для кортежей, которые имеют не менее четырех элементов, являющихся кортежами с одинаковыми четырьмя элементами

Номер 3

Для каких данных следующие 2 формы не дадут одинакового результата: (1*1,1*1)*(1,1) и (1,1)*(1*1,1*1)?

Ответ:

(1) для любых атомов

(2) для любых кортежей

(3) ни для каких

(4) для кортежей, у которых первый элемент является кортежем с двумя элементами, не являющимися кортежами

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

Номер 1

Для каких данных следующие 2 формы дадут одинаковый результат: A(1*2) и A1*A2?

Ответ:

(1) только для атомов

(2) только для кортежей, элементами которых являются кортежи

(3) для любых данных

(4) только для кортежей, у которых есть третий элемент и он является кортежем не менее, чем с двумя элементами

(5) только для кортежей, у которых первый и второй элементы являются кортежами не менее чем с тремя элементами

Номер 2

Для каких данных следующие 2 формы дадут одинаковый результат: A3*A4 и A4*A3?

Ответ:

(1) ни для каких

(2) только для некоторых атомов

(3) для любых атомов

(4) только для кортежей, которые имеют не менее четырех элементов, являющихся кортежами с одинаковыми четырьмя элементами

Номер 3

Для каких данных следующие 2 формы не дадут одинакового результата: A(+*1) и A(1*+)?

Ответ:

(1) для любых атомов

(2) для любых кортежей

(3) для кортежей, у которых первые 2 элемента являются кортежами, каждый из которых в свою очередь имеет первый элемент-кортеж с двумя числовыми элементами

(4) ни для каких

Языки логического программирования - тест 13