Глава 1.6.1: Логика | Введение в доказательства | Косвенное доказательство

В этой лекции я обсуждал резолюцию. 00:16 Доказательство от противного 01:28 ПРИМЕР 3 Докажите, что если n — целое число и 3n + 2 — нечётное число, то n — нечётное число. 04:34 ПУСТОТЕЛЫЕ И ТРИВИАЛЬНЫЕ ДОКАЗАТЕЛЬСТВА 5:43 ОПРЕДЕЛЕНИЕ 2 Действительное число r является рациональным, если существуют целые числа p и q, причём q ≠ 0, такие что r = p/q. Действительное число, которое не является рациональным, называется иррациональным. 06:18 Доказательства методом от противного 📗👩🏫Лекция по математике для GATE CS https://www.youtube.com/playlist?list=PL767-rEuXhcO4TP5PwNCYvxxRZUEQWNdP ❓🙋♀️Задания по математике для GATE PYQ: https://www.youtube.com/playlist?list=PL767-rEuXhcNHqc2QrjTWNLpFf8mKYnSJ ❓🙋♀️Решения по общей подготовке GATE (GA) от Monalisa https://www.youtube.com/playlist?list=PL767-rEuXhcN9fgYnXz--m4uwJiEi66td 📘👩🏫Лекции по алгоритмам: https://www.youtube.com/playlist?list=PL767-rEuXhcNz3RzupBowAjH2VIxCiY4z ❓🙋♀️Алгоритмы GATE PYQ: https://www.youtube.com/playlist?list=PL767-rEuXhcPvbsxbBWbDSlRZ4e6kAVve 📙👩🏫Лекции по проектированию компиляторов :https://www.youtube.com/playlist?list=PL767-rEuXhcOgCrFXRxyvfO_4INJET0f0 ❓🙋♀️Задания по проектированию компиляторов (PYQ): https://www.youtube.com/playlist?list=PL767-rEuXhcOVm9ABkyap0uSyjFz6c5cS 📔👩🏫Лекции по теории вычислений: https://www.youtube.com/playlist?list=PL767-rEuXhcPQWMuHXOCZzj5PqF9YBVZt ❓🙋♀️Задания по теории вычислений (PYQ) для экзамена GATE: https://www.youtube.com/playlist?list=PL767-rEuXhcN7sn9TCRxhmvDpG7RLT3UK 📒👩🏫Лекция по структурам данных: https://www.youtube.com/playlist?list=PL767-rEuXhcMiMbX4IU_oqWshY6z8Rc7j ❓🙋♀️Вопросы по структурам данных: https://www.youtube.com/playlist?list=PL767-rEuXhcOWUPgW1RrIkUKAle1YBdh1 #gate_cs #gate #maths #mathmatics #discretemathematicsgate #discrete_mathematics #discretemathematics #gate2024 #monalisacs #logic #proof