игра брюс 2048
Главная / Программирование / Языки логического программирования / Тест 13

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

Упражнение 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