К нисходящим: это не вопрос математики, это вопрос о языке программирования Mathematica.
Одна из основных характеристик Mathematica заключается в том, что она может иметь дело со многими вещами символически. Но если вы задумаетесь об этом, многие из символических функций на самом деле только наполовину символичны.
Возьмите, например, векторы. Мы можем иметь символический вектор, такой как {x, y, z}, умножить на матрицу с матрицей, полной символов, и в итоге получить символический результат, и поэтому мы могли бы рассмотреть эту символическую векторную алгебру. Но мы все знаем, что "Mathematica" прямо из коробки не позволяет вам сказать, что символ x является вектором и который задает матрицу A, A. x - тоже вектор. Это более высокий уровень абстракции, который Mathematica (в настоящее время) не очень хорошо разбирается.
Аналогично, Mathematica знает, как найти 5-ю производную от функции, которая определена в терминах ничего, кроме символов, но она недостаточно хорошо ориентирована на поиск r-й производной (см. "Как найти функцию r-й производной, когда r является символом в вопросе Mathematica?".
Кроме того, Mathematica имеет обширные возможности булевой алгебры, некоторые каменные века, но многие из них недавно были получены в версии 7. В версии 8 мы получили Probability и друзья (например, Conditioned), что позволяет рассуждать с вероятностями случайных величин с заданными распределениями. Это действительно великолепное дополнение, которое очень помогает мне в ознакомлении с этим доменом, и мне очень нравится работать с ним. Тем не менее,...
Я обсуждал с коллегой некоторые правила вероятностной логики, подобные знакомым
то есть условная вероятность события/состояния/результата C данного события/состояния/результата A.
В частности, мы смотрели на это:
и хотя я очень много говорил о Mathematica Probability
, прежде чем понял, что не знаю, как это решить сразу с Mathematica. Опять же, как и абстрактные векторы и матрицы, и символические производные, это, по-видимому, слишком высокий уровень абстракции. Или это? Мой вопрос:
Не могли бы вы найти способ найти правду или ложь в вышеупомянутых и подобных уравнениях с помощью программы Mathematica?