Компания Wolfram Research объявила о доступности движка, который лежит в основе её технологий, пишет VentureBeat. Wolfram Research наиболее известна как разработчик среды технических расчётов Mathematica и системы Wolfram Alpha. Wolfram Engine является программной системой, которая лежит в основе продуктов и услуг компании, а также реализует язык Wolfram с его вычислительным интеллектом, алгоритмами, базой знаний, интерфейсами и так далее на широком ряде вычислительных сред. Он поддерживает Windows,...

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