- •Содержание и структура тестовых материалов Тематическая структура
- •Содержание тестовых материалов Исчисление предикатов Аксиомы Гильбердта в ип
- •Импликация и эквиваленция предикатов
- •Конъюнкция и дизъюнкция предикатов
- •Местность предиката
- •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
Конъюнкция и дизъюнкция предикатов
21. Задание {{ 392 }} ТЗ № 392
На множестве
заданы предикаты
:
«х- натуральное число»,
:
«
»
подмножеством истинности предиката
является
22. Задание {{ 393 }} ТЗ № 393
На множестве
заданы предикаты
:
«х- натуральное число»,
:
«
»
подмножеством истинности предиката
является
23. Задание {{ 394 }} ТЗ № 394
На множестве заданы предикаты : « », : « » подмножеством истинности предиката является
24. Задание {{ 395 }} ТЗ № 395
На множестве
заданы предикаты
:
«
»,
:
«
»
подмножеством истинности предиката
является
25. Задание {{ 396 }} ТЗ № 396
На множестве
заданы предикаты
:
«х- натуральное число»,
:
«
»
подмножеством истинности предиката
является
26. Задание {{ 397 }} ТЗ № 397
На множестве заданы предикаты : «х- натуральное число», : « » подмножеством истинности предиката является
27. Задание {{ 398 }} ТЗ № 398
На множестве заданы предикаты : « », : « » подмножеством истинности предиката является
28. Задание {{ 399 }} ТЗ № 399
На множестве заданы предикаты : « », : « » подмножеством истинности предиката является
29. Задание {{ 400 }} ТЗ № 400
На множестве заданы предикаты : « », : « » подмножеством истинности предиката является
30. Задание {{ 401 }} ТЗ № 401
На множестве заданы предикаты : «х – натуральное число», : « » подмножеством истинности предиката является
Местность предиката
31. Задание {{ 332 }} ТЗ № 332
Какое из следующих определений верно?
Высказывательная
форма, зависящая от переменных, значения
которых берутся из множества Д, принимающее
значение
называется предикатом.
Высказывательная форма, зависящая от переменных, значения которых берутся из множества Д, принимающее только истинные значения называется предикатом.
Высказывательная форма, принимающее значение называется предикатом.
Высказывательная форма, зависящая от переменных, значения которых берутся из множества Д, принимающее только ложные значения называется предикатом.
32. Задание {{ 333 }} ТЗ № 333
Подмножество
,
из множества Д, для которых при подстановке
получается истинное высказывание
называется
подмножеством предиката
подмножеством истинности предиката
одноместным предикатом
предикатом.
33. Задание {{ 334 }} ТЗ № 334
Число переменных от которых зависит данный предикат называется
адресом предиката
местностью предиката
невозможностью предиката
выполнимостью предиката
34. Задание {{ 335 }} ТЗ № 335
Предикат
зависящий от трёх переменных называется
высказыванием предикатом
невозможным предикатом
общезначимым предикатом
трёхместным предикатом
35. Задание {{ 336 }} ТЗ № 336
Множество всех предикатов делятся на классы:
общезначимые, тождественно истинные, выполнимые
тождественно ложные, невозможные, выполнимые
общезначимые, невозможные, выполнимые
общезначимые, невозможные, не выполнимые
36. Задание {{ 337 }} ТЗ № 337
Предикаты, которые при всех наборах значений переменных принимают, только истинные значения называются
общезначимым
выполнимыми
возможными
невозможными.
37. Задание {{ 338 }} ТЗ № 338
Предикаты, которые при всех наборах значений переменных принимают, только ложные значения называются
общезначимым
выполнимыми
возможными
невозможными.
38. Задание {{ 339 }} ТЗ № 339
0-местный предикат есть
простое число
пустое множество
невозможный предикат
высказывание
39. Задание {{ 340 }} ТЗ № 340
Какие логические операции над предикатами мы можем проводить?
операции квантования, отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция
отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция
отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция, навешивание квантора общности;
отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция, навешивание квантора существования
