
- •Содержание и структура тестовых материалов Тематическая структура
- •Содержание тестовых материалов Исчисление предикатов Аксиомы Гильбердта в ип
- •Импликация и эквиваленция предикатов
- •Конъюнкция и дизъюнкция предикатов
- •Местность предиката
- •40. Задание {{ 341 }} тз № 341
- •Общезначимые предикаты
- •Операции над предикатами
- •59. Задание {{ 350 }} тз № 350
- •60. Задание {{ 351 }} тз № 351
- •Подмножество истинности предиката
- •Машина Тьюринга Операции над машинами Тьюринга
- •72. Задание {{ 315 }} тз № 315
- •73. Задание {{ 316 }} тз № 316
- •74. Задание {{ 317 }} тз № 317
- •75. Задание {{ 318 }} тз № 318
- •76. Задание {{ 319 }} тз № 319
- •77. Задание {{ 320 }} тз № 320
- •78. Задание {{ 321 }} тз № 321
- •79. Задание {{ 312 }} тз № 312
- •80. Задание {{ 313 }} тз № 313
- •Работа машины Тьюринга
- •81. Задание {{ 322 }} тз № 322
- •82. Задание {{ 323 }} тз № 323
- •83. Задание {{ 324 }} тз № 324
- •84. Задание {{ 325 }} тз № 325
- •85. Задание {{ 326 }} тз № 326
- •86. Задание {{ 327 }} тз № 327
- •87. Задание {{ 328 }} тз № 328
- •88. Задание {{ 329 }} тз № 329
- •89. Задание {{ 330 }} тз № 330
- •90. Задание {{ 331 }} тз № 331
- •Строение машины Тьюринга
- •Нормальные и совершенные формы
- •Применение теорем проблемы разрешимости
- •Совершенные формы
- •Элементарные и нормальные формы
- •Объем и содержание понятий Объем и содержание понятий
- •146. Задание {{ 417 }} тз № 49
- •147. Задание {{ 418 }} тз № 50
- •148. Задание {{ 419 }} тз № 51
- •149. Задание {{ 420 }} тз № 52
- •150. Задание {{ 421 }} тз № 53
- •Приложение к ив Аксиомы Гильбердта в ив
- •Доказательство и вывод
- •163. Задание {{ 244 }} тз № 244
- •164. Задание {{ 245 }} тз № 245
- •Теория контактов
- •Упрощение контактной схемы
- •Приложение к ип Задачи по строению и видам теорем
- •192. Задание {{ 66 }} тз 66 Тема 6-34-0
- •193. Задание {{ 67 }} тз 67 Тема 6-34-0
- •194. Задание {{ 68 }} тз 68 Тема 6-34-0
- •195. Задание {{ 69 }} тз 69 Тема 6-34-0
- •196. Задание {{ 70 }} тз 70 Тема 6-34-0
- •197. Задание {{ 71 }} тз 71 Тема 6-34-0
- •198. Задание {{ 72 }} тз 72 Тема 6-34-0
- •199. Задание {{ 73 }} тз 73 Тема 6-34-0
- •200. Задание {{ 74 }} тз 74 Тема 6-34-0
- •Необходимое и достаточное условие (1)
- •Необходимое и достаточное условие (2)
- •Необходимое и достаточное условие (3)
- •220. Задание {{ 79 }} тз 79 Тема 6-37-0
- •221. Задание {{ 80 }} тз 80 Тема 6-37-0
- •222. Задание {{ 81 }} тз 81 Тема 6-37-0
- •223. Задание {{ 285 }} тз № 285
- •224. Задание {{ 286 }} тз № 286
- •225. Задание {{ 287 }} тз № 287
- •Правильные и неправильные рассуждения (1)
- •238. Задание {{ 83 }} тз 83 Тема 6-38-0
- •Правильные и неправильные рассуждения (2) Строение и виды теорем
- •Элементы комбинаторики Задачи на перестановку
- •Задачи на размещение
- •Задачи на сочетание
- •Элементы комбинаторики
- •Элементы математической логики Операции над высказываниями
- •Основные законы ив (1)
- •Основные законы ив (2)
- •Примеры высказываний
- •Примеры на упрощение формул в ив
- •Формула в ив
- •Элементы теории множеств Задание отношения при помощи уравнения
- •Задачи на множества
- •Множества, заданные на промежутке
- •Мощность множества
- •449. Задание {{ 147 }} тз № 147
- •450. Задание {{ 148 }} тз № 148
- •451. Задание {{ 149 }} тз № 149
- •452. Задание {{ 101 }} тз № 101
- •453. Задание {{ 102 }} тз № 102
- •454. Задание {{ 103 }} тз № 103
- •455. Задание {{ 104 }} тз № 104
- •456. Задание {{ 105 }} тз № 105
86. Задание {{ 327 }} тз № 327
Машина Тьюринга задана программой команд
-
М
0
1
Начальная лента
Третьей лентой её работы будет …
87. Задание {{ 328 }} тз № 328
Машина Тьюринга задана программой команд
-
М
0
1
Начальная лента
Третьей лентой её работы будет …
88. Задание {{ 329 }} тз № 329
Машина Тьюринга задана программой команд
-
М
0
1
Начальная лента
Третьей лентой её работы будет
89. Задание {{ 330 }} тз № 330
Машина Тьюринга задана программой команд
-
М
0
1
Начальная лента
Третьей лентой её работы будет
90. Задание {{ 331 }} тз № 331
Машина Тьюринга задана программой команд
-
М
0
1
Начальная лента
.
Третьей лентой её работы будет
Строение машины Тьюринга
91. Задание {{ 84 }} ТЗ 84 Тема 7-40-0
Каковы общие требования предъявляемые к алгоритмам?
Алгоритм должен быть: универсальным, конечным, сложным;
Алгоритм должен быть: универсальным, бесконечным, элементарным;
Алгоритм должен быть: индивидуальным, конечным, элементарным;
Алгоритм должен быть: универсальным, конечным, элементарным.
92. Задание {{ 85 }} ТЗ 85 Тема 7-40-0
Из чего состоит всякая машина Тьюринга?
ленты, читающей головки, алфавита, внутреннего состояния;
читающей ленты, алфавита, внутреннего состояния, программы команд;
ленты, читающей головки, алфавита, внутреннего состояния, внешнего состояния;
ленты, читающей головки, алфавита, внутреннего состояния, программы команд.
93. Задание {{ 86 }} ТЗ 86 Тема 7-40-0
Сколько символов можно вписывать в каждую ячейку ленты?
один;
два;
три;
сколько угодно.
94. Задание {{ 87 }} ТЗ 87 Тема 7-40-0
За один такт работы машины Тьюринга читающая головка может передвигаться влево и воспринимать ...
соседнюю с верху ячейку;
соседнюю с права ячейку;
соседнюю слева ячейку;
ту же ячейку.
95. Задание {{ 88 }} ТЗ 88 Тема 7-40-0
За один такт работы машины Тьюринга читающая головка может передвигаться вправо и воспринимать ...
соседнюю с верху ячейку;
соседнюю с права ячейку;
соседнюю слева ячейку;
ту же ячейку.
96. Задание {{ 89 }} ТЗ 89 Тема 7-40-0
За один такт работы машины Тьюринга читающая головка может остаться на месте и воспринимать ...
соседнюю с верху ячейку;
соседнюю с права ячейку;
соседнюю слева ячейку;
ту же ячейку.
97. Задание {{ 90 }} ТЗ 90 Тема 7-40-0
Какие операции над машинами Тьюринга мы можем проводить?
Произведение машин, произведение машин с разветвлением, сложение машин;
Произведение машин, произведение машин с разветвлением и циклом, сложение машин;
Произведение машин, произведение машин с разветвлением, произведение машин с разветвлением и циклом;
Произведение машин, сложение машин, деление машин.
98. Задание {{ 309 }} ТЗ № 309
В каком случае,
говорят, что машина Тьюринга стандартно
воспринимает натуральное число
?
если
обрабатываемая лента содержит
единиц в одном из обрабатываемых лент;
если
обрабатываемая лента содержит
единиц в одном из обрабатываемых лент;
если
обрабатываемая лента содержит
единиц в одном из обрабатываемых лент;
если обрабатываемая лента содержит единиц в одном из обрабатываемых лент.
99. Задание {{ 310 }} ТЗ № 310
Говорят, что
машина Тьюринга стандартно воспринимает
кортеж натуральных чисел
,
если обрабатываемая лента имеет вид:
100. Задание {{ 311 }} ТЗ № 311
Даны две машины
и
.
Новая машина
с начальным состоянием
и конечным состоянием
называется …
разветвлением
и циклом машины
на
и
.
разветвлением машины на и
произведением машин и .
объединением машин и .