В лекции [https://zen.yandex.ru/media/id/603a418d1684900aa2499416/funkcii-623c2a6345b2554bbdf444b0] сформулировано понятие функции как частного случая бинарного отношения, у которого для каждого элемента из первого множества декартового произведения, на котором задано бинарное отношение, существует единственный элемент из второго множества декартового произведения, на котором задано бинарное отношение. Также в указанной лекции представлены свойства функций, такие как инъекция, сюръекция и биекция...

В этом материале приведём некоторые сведения, связанные с таким методом доказательства различных утверждений, как метод математической индукции, а также покажем, как можно использовать вопросно-ответную систему Wolfram|Alpha для доказательства различных утверждений. Формулировка метода математической индукции (ММИ). Утверждение справедливо для любого натурального числа n, если: 1) утверждение справедливо для n = 1, 2) из справедливости утверждения для произвольного натурального n = k следует справедливость утверждения для n = k + 1...