- •Содержание и структура тестовых материалов Тематическая структура
- •Содержание тестовых материалов Исчисление предикатов Аксиомы Гильбердта в ип
- •Импликация и эквиваленция предикатов
- •Конъюнкция и дизъюнкция предикатов
- •Местность предиката
- •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
59. Задание {{ 350 }} тз № 350
и предикаты заданные на множестве Д, какие из следующих равенств верно?
60. Задание {{ 351 }} тз № 351
Эквиваленцией двух предикатов и , заданных на одном и том же множестве Д, называется предикат, заданный на том же множестве Д, подмножество истинности которого есть
пересечение объединений предикатов и и их дополнений;
объединение пересечений предикатов и и их дополнений
пересечение объединений подмножеств истинности предикатов и и их дополнений
объединение пересечений подмножеств истинности предикатов и и их дополнений.
Подмножество истинности предиката
61. Задание {{ 372 }} ТЗ № 372
Подмножеством
истинности предиката
:
«х – простое число», на множестве
является .
62. Задание {{ 373 }} ТЗ № 373
Подмножеством
истинности предиката
:
«
»,
на множестве
является
63. Задание {{ 374 }} ТЗ № 374
Подмножеством истинности предиката : «х – натуральное число», на множестве является
64. Задание {{ 375 }} ТЗ № 375
Подмножеством истинности предиката : «х – составное число», на множестве является
65. Задание {{ 376 }} ТЗ № 376
Подмножеством истинности предиката : « », на множестве является
66. Задание {{ 377 }} ТЗ № 377
Подмножеством истинности предиката : « », на множестве является .
67. Задание {{ 378 }} ТЗ № 378
Подмножеством
истинности предиката
:
«
»,
на множестве
является
68. Задание {{ 379 }} ТЗ № 379
Подмножеством
истинности предиката
:
«
»,
на множестве
является
69. Задание {{ 380 }} ТЗ № 380
Подмножеством истинности предиката : « », на множестве является
70. Задание {{ 381 }} ТЗ № 381
Подмножеством
истинности предиката
:
«
»,
на множестве
является
Машина Тьюринга Операции над машинами Тьюринга
71. Задание {{ 314 }} ТЗ № 314
Машина Тьюринга задана программой команд
-
М
0
1
Начальная лента
Машина остановится через … шагов.
5
6
4
1
72. Задание {{ 315 }} тз № 315
Машина Тьюринга задана программой команд
-
М
0
1
Начальная лента
Машина остановится через … шагов.
5
6
4
1.
