Для приема зачета по теории вероятностей преподаватель заготовил 15 задач по вычислению вероятности по классической формуле и 12 задач по формулам сложения и умножения вероятностей. Для сдачи зачета студент должен решить первую же доставшуюся наугад задачу. Какова вероятность для студента сдать зачет, если он умеет решать 10 задач из 15 по первой теме и 8 задач из 12 по второй теме?
ответ:Пусть S - сумма всех чисел. Т.к. сумма чисел в каждой строке и в каждом столбце равны, то сумма одной строки или одного столбца равна .
Возьмём сумму первых двух верхних строчек, которая равна . В эту сумму входит сумма чисел верхнего левого квадрата 2х2, равная 10. Значит, сумма чисел в прямоугольнике высотой 2 и длиной 3 в верхнем правом углу равна .
Возьмём сумму нижних трёх строчек, равную , и в которую входит нижний правый квадрат 3х3 с суммой 15. Уберём из этих нижних трёх строчек квадрат 3х3. Останется прямоугольник высотой 3 и длиной 2, по площади равный верхнему прямоугольнику 2х3, и в которых суммы чисел тоже равны. В нижнем оставшемся прямоугольнике сумма чисел равна .
Приравниваем эти суммы и считаем S:
ответ: 25
ЗЫ. ответ означает, что сумма оставшихся областей равна нулю. А это в свою очередь говорит, что там либо все нули, либо есть отрицательные числа.
Объяснение:
На протяжении всей истории математики[⇨] представление о и допустимых методах доказательства существенно менялось, в основном, в сторону большей формализации и бо́льших ограничений. Ключевой вехой в вопросе формализации доказательства стало создание математической логики[⇨] в XIX веке и формализация её средствами основных техник доказательства. В XX веке построена теория доказательств — теория, изучающая доказательство как математический объект[⇨]. С появлением во второй половине XX века компьютеров особое значение получило применение методов математического доказательства для проверки и синтеза программ[⇨], и даже было установлено структурное соответствие между компьютерными программами и математическими доказательствами (соответствие Карри — Ховарда[⇨]), на основе которого созданы средства автоматического доказательства[⇨].
Объяснение:
Основные приёмы, используемые при построении доказательств: прямое доказательство[⇨], математическая индукция и её обобщения[⇨], доказательство от противного[⇨], контрапозиция[⇨], построение[⇨], перебор[⇨], установление биекции[⇨], двойной счёт[⇨]; в приложениях в качестве математических доказательств привлекаются также методы, не дающие формального доказательства, но обеспечивающие практическую применимость результата[⇨] — вероятностные, статистические, приближённые. В зависимости от раздела математики, используемого формализма или математической школы не все методы могут приниматься безоговорочно, в частности, конструктивное доказательство[⇨] предполагает серьёзные ограничения.