- •Содержание и структура тестовых материалов Тематическая структура
- •Содержание тестовых материалов Исчисление предикатов Аксиомы Гильбердта в ип
- •Импликация и эквиваленция предикатов
- •Конъюнкция и дизъюнкция предикатов
- •Местность предиката
- •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
Правильные и неправильные рассуждения (1)
237. Задание {{ 82 }} ТЗ 82 Тема 6-38-0
Какое рассуждение следует считать правильным?
Рассуждение следует считать правильным лишь тогда, когда из истинных посылок получаются истинные заключения;
Рассуждение следует считать правильным лишь тогда, когда из ложных посылок можно получить истинные заключения;
Рассуждение следует считать правильным лишь тогда, когда из истинных посылок нельзя получить ложного заключения;
Рассуждение следует считать правильным лишь тогда, когда из истинных посылок можно получить ложное заключение.
238. Задание {{ 83 }} тз 83 Тема 6-38-0
Какие правильные рассуждения бывают?
правило отрицания, правило заключение, правило силлогизма, правило расширенного силлогизма, правило контропозиции.
правило отрицания, правило заключение, правило расширенного заключения, правило силлогизма, правило контропозиции.
правило отрицания, правило заключение, правило силлогизма, правило контропозиции, правило расширенной контропозиции.
правило отрицания, правило расширенного отрицания, правило заключение, правило силлогизма, правило контропозиции.
239. Задание {{ 299 }} ТЗ № 299
В каком виде запишется рассуждение при помощи логических обозначений? «Если многоугольник правильный, то в него можно вписать окружность; в данный многоугольник нельзя вписать окружность; следовательно, данный многоугольник не правильный».
├ ;
├ ;
├ ;
├
240. Задание {{ 300 }} ТЗ № 300
В каком виде запишется рассуждение при помощи логических обозначений? «Если данный многоугольник правильный, то в него можно вписать окружность; данный многоугольник правильный; следовательно, в данный многоугольник можно вписать окружность»
├ ;
├ ;
├
├
241. Задание {{ 301 }} ТЗ № 301
В каком виде запишется рассуждение при помощи логических обозначений? «Если число делится на 2 и делится на 3, то оно делится на 6; следовательно, если число делится на 2 и не делится на 6, то оно не делится на 3».
├ ;
├
├
├
242. Задание {{ 302 }} ТЗ № 302
В каком виде запишется рассуждение при помощи логических обозначений? «Если число делится на 3 и делится на 5, то оно делится на 15; следовательно, если число делится на на 3 и не делится на 15, то оно не делится на 5».
├ ;
├
├ ;
├
243. Задание {{ 303 }} ТЗ № 303
В каком виде запишется рассуждение при помощи логических обозначений? «Если треугольник равнобедренный, то две его стороны равны; если две стороны треугольника равны, то два угла его равны; следовательно, если треугольник равнобедренный, то два угла его равны».
├ ;
├
├
├
244. Задание {{ 304 }} ТЗ № 304
В каком виде запишется рассуждение при помощи логических обозначений? «Если число делится на 6, то оно делится на 2; следовательно, если число не делится на 2, то оно не делится на 6»
├ ;
├ ;
├
├ .
245. Задание {{ 305 }} ТЗ № 305
В каком виде запишется рассуждение при помощи логических обозначений? «Если число делится на 15, то оно делится на 3; следовательно, если число не делится на 3, то оно не делится на 15»
├
├
├
├ .
246. Задание {{ 306 }} ТЗ № 306
В каком виде запишется рассуждение при помощи логических обозначений? «Если число делится на 21, то оно делится на 3; данное число делится на 21; следовательно, оно не делится на 3»
├
├ ;
├
├ .
247. Задание {{ 307 }} ТЗ № 307
В каком виде запишется рассуждение при помощи логических обозначений? «Если треугольник равнобедренный, то две его стороны равны; следовательно, если две стороны треугольника не равны, то треугольник не равнобедренный»
├ ;
├ ;
├
├
248. Задание {{ 308 }} ТЗ № 308
В каком виде запишется рассуждение при помощи логических обозначений? «Если треугольник равнобедренный, то два угла его равны; следовательно, если два угла треугольника не равны, то треугольник не равнобедренный»
├
├
├
├ .
