
- •Содержание и структура тестовых материалов Тематическая структура
- •Содержание тестовых материалов Исчисление предикатов Аксиомы Гильбердта в ип
- •Импликация и эквиваленция предикатов
- •Конъюнкция и дизъюнкция предикатов
- •Местность предиката
- •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
Элементы комбинаторики
289. Задание {{ 422 }} ТЗ № 1
Отметьте правильный ответ
Любая последовательность а1,а2, … аn из n – натуральных чисел назывется
размещением
сочетанием
подстановкой длины n
перестановкой длины n
290. Задание {{ 423 }} ТЗ № 2
Отметьте правильный ответ
Число различных перестановок длины n из n чисел равно
Pn=n n!
Pn=(n-1)!
Pn=(n+1)!
Pn=n!
291. Задание {{ 424 }} ТЗ № 3
Отметьте правильный ответ
Какое из следующих равенств верно?
292. Задание {{ 425 }} ТЗ № 4
Отметьте правильный ответ
Любое упорядоченное k-элементное подмножество из (n) элементов ( где k<n) называется
Сочетанием длины k из n элементов
Перестановкой длины k из n элементов
Размещением длины k из n элементов
Размещением длины n из k элементов
293. Задание {{ 426 }} ТЗ № 5
Отметьте правильный ответ
Число различных размещений длины k из n элементов множества (где k<n) равно
294. Задание {{ 427 }} ТЗ № 6
Отметьте правильный ответ
Любое k-элементное подмножество из n элементов (где k<n) называется
Сочетанием длины k из n элементов
Перестановкой длины k из n элементов
Размещением длины k из n элементов
Сочетанием длины n из k элементов
295. Задание {{ 428 }} ТЗ № 7
Отметьте правильный ответ
Число различных сочетаний длины k из n элементов (где k<n) равно
296. Задание {{ 429 }} ТЗ № 8
Отметьте правильный ответ
Какое из следующих равенств верно?
297. Задание {{ 430 }} ТЗ № 9
Отметьте правильный ответ
Какое из следующих равенств верно?
298. Задание {{ 431 }} ТЗ № 10
Отметьте правильный ответ
Для любых k и n
, таких, что
верно какое из равенств?
Элементы математической логики Операции над высказываниями
299. Задание {{ 38 }} ТЗ 38 Тема 2-12-0
Импликацией двух высказываний а и в называется высказывание ложное тогда и только тогда, когда ...
а и в ложны
а и в истинны
а- истинно, в - ложно
а - ложно, в - истинно.
300. Задание {{ 39 }} ТЗ 39 Тема 2-12-0
Дизъюнкцией двух высказываний а и в называется высказывание ложное тогда и только тогда, когда ...
а и в ложны
а и в истинны
а- истинно, в - ложно
а - ложно, в - истинно.
301. Задание {{ 40 }} ТЗ 40 Тема 2-12-0
Конъюнкцией двух высказываний а и в называется высказывание истинное тогда и только тогда, когда ...
а и в ложны
а и в истинны
а- истинно, в - ложно
а - ложно, в - истинно.
302. Задание {{ 41 }} ТЗ 41 Тема 2-12-0
Отрицанием высказывания называется высказывание ...
истинное, когда истинно;
ложное, когда ложно;
истинное, когда ложно и ложное, когда истинно;
а - ложно, в - истинно.
303. Задание {{ 42 }} ТЗ 42 Тема 2-12-0
Эквиваленцией двух высказываний а и в называется высказывание истинное тогда и только тогда, когда ...
истинностные значения и совпадают;
а и в истинны;
а- истинно, в - ложно;
истинностные значения и не совпадают.
304. Задание {{ 43 }} ТЗ 43 Тема 2-12-0
Всякое умозаключение, относительно которого можно сказать истинно оно или ложно, называется ...
алгеброй Буля;
предикатом;
высказыванием;
нормальной формой.
305. Задание {{ 44 }} ТЗ 44 Тема 2-12-0
Над высказываниями мы можем проводить такие операции как ...
отрицание, конъюнкция, дизъюнкция, импликация, подстановка;
отрицание, конъюнкция, дизъюнкция, импликация, перестановка;
отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция;
навешивание квантора, конъюнкция, дизъюнкция, импликация, эквиваленция;