МЛиТА. Тестирование остаточных знаний

В начало / Мои курсы / МЛиТА / Остаточные знания 2021 (Красовская Т.Ф.)

/ Остаточные знания 2021 (Красовская Т.Ф.)

Тест начат	Среда, 31 Март 2021, 18:51
Состояние	Завершено
Завершен	Среда, 31 Март 2021, 19:11
Прошло времени	19 мин. 58 сек.
Баллы	17,00/20,00
Оценка	8,50 из 10,00 (85%)

Вопрос 1

Выполнен

Баллов: 1,00 из 1,00

8. Формулы А и В противоречивы, если:

a. Из них можно вывести любую формулу

b. Из них ничего нельзя вывести

c. Из них можно вывести не А

d. Из них можно вывести не А или не В

Вопрос 2

Выполнен

Баллов: 1,00 из 1,00

26. Какое свойство алгоритмов навело на мысль при поиске точного определения алгоритма “механизировать” его, создавая машины Тьюринга или Поста?

a. Массовость

b. Элементарность

c. Определенность

d. Направленность

Вопрос 3

Выполнен

Баллов: 1,00 из 1,00

14. Переменные в предикатах можно переименовывать:

a. Любые переменные можно b. Никакие нельзя

c. Можно только связанные d. Можно только свободные

Вопрос 4

Выполнен

Баллов: 1,00 из 1,00

11. Какие кванторы есть в теории предикатов (ИП):

a. Квантор существования и квантор общности

b. Квантор существования и квантор единственности

c. Квантор общности и квантор единственности

d. Квантор единственности и квантор существования

Вопрос 5

Выполнен

Баллов: 1,00 из 1,00

18. Сколько аксиом в ИП:

a. 4 b. 1 c. 5 d. 3

Вопрос 6

Нет ответа

Балл: 1,00

10. Предикативная функция с предикат) эта функция у которой:

a. Область определения может быть любым множеством М, а область изменения {0, 1} b. Область определения только {0, 1}

c. Область определения и совпадают. и могут быть любым. множеством. d. Область определения {0, 1} и область изменения {0, 1}

Вопрос 7

Выполнен

Баллов: 0,00 из 1,00

29. Какое минимально возможное количество состояний МТ (внутренний алфавит)?

a. 1 b. 3 c. 5 d. 2

Вопрос 8

Выполнен

Баллов: 1,00 из 1,00

30. Как называется элементарный шаг нормального алгоритма Маркова?

a. Подстановка

b. Остановка

c. Установка

d. Перестановка

Вопрос 9

Выполнен

Баллов: 1,00 из 1,00

21. Какое из этих свойств не является свойством алгоритмов:

a. Определенность

b. Единственность

c. Элементарность

d. Массовость

Вопрос 10

Выполнен

Баллов: 1,00 из 1,00

19. Сколько правил вывода в ИП:

a. 4

b. 5

c. 3

d. 1

Вопрос 11

Выполнен

Баллов: 1,00 из 1,00

6. Как формулируется теорема дедукции?

a. Если из А выводится импликация А -> В, то из В выводится импликация В -> А b. Если из Г выводится импликация А -> В, то из Г, А выводится В

c. Если из А выводится В, то из В выводится не А

d. Если из Г, А выводится В, то из Г выводится импликация А -> В

Вопрос 12

Выполнен

Баллов: 1,00 из 1,00

16. Нормальные формулы ИП – это приведенные формулы, в которых:

a. Нет кванторов

b. Или нет канторов или все кванторы вынесены вперед c. Все кванторы перенесены за отрицание

d. Не более 1 квантора

Вопрос 13

Выполнен

Баллов: 0,00 из 1,00

28. Сколько символов внешнего алфавита должно быть, как минимум в любой машине Тьюринга:

a. 3 b. 1 c. 5 d. 2

Вопрос 14

Выполнен

Баллов: 1,00 из 1,00

24. С помощью какого оператора из примитивно-рекурсивных функций получаются частичнорекурсивные?

a. Суперпозиции

b. Аннулирования

c. Минимализации

d. Проектирования

Вопрос 15

Выполнен

Баллов: 1,00 из 1,00

17. Как формируется “закон исключенного третьего” в ИП:

a. Существует x, для которого верно P(x) и не P(x) b. Для любого x верно или P(x) или не P(x)

c. Существует x, для которого верно P(x) или не P(x) d. Для любого x верно P(x) и не P(x)

Вопрос 16

Выполнен

Баллов: 1,00 из 1,00

15. Приведенные формулы ИП – это формулы, в которых:

a. Нет связанных переменных

b. Нет символов логических функций

c. Есть логические символы только отрицания и импликация

d. Есть логические символы только отрицания, конъюнкция и дизъюнкция

Вопрос 17

Выполнен

Баллов: 1,00 из 1,00

4. Сколько аксиом в ИВ:

a. 1 b. 5 c. 2 d. 3

Вопрос 18

Выполнен

Баллов: 1,00 из 1,00

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

a. Выводимую гипотезу можно удалить

b. При изменении порядка формул, заключение меняется на противоположное c. Лишняя формула не помешает

d. Порядок формул роли не играет

Вопрос 19

Выполнен

Баллов: 1,00 из 1,00

1. Формальная аксиоматическая теория считается определенной, если введены:

a. Формулы, аксиомы, правила вывода b. Аксиомы и правила вывода

c. Алфавит, формулы, аксиомы, правила вывода d. Алфавит и правила вывода

Вопрос 20

Выполнен

Баллов: 1,00 из 1,00

9. Полнота и непротиворечивость теории ИВ заключается в том, что в ИВ выводимы:

a. Любые тавтологии и только они и нет такой формулы А, что выводимы и A и не А b. Лишь непротиворечивые формулы

c. Любая формула

d. Любая тавтология, то есть тождественно истинная формула

◄ Объявления

Перейти на...