Первая российская конференция по технологиям Wolfram Mathematica стала отправной точкой для ежегодных научно-практических мероприятий, цель которых – консолидация научного сообщества в рамках чистой и прикладной науки. С приветственным словом на открытии конференции выступил декан факультета кораблестроения и океанотехники СПбГМТУ Андрей Новиков. Тематика докладов – от теоретической и прикладной математики до современных технологий искусственного интеллекта и лингвистических моделей информационной поддержки...

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