web-dev-qa-db-ja.com

記号計算とは何ですか?

wiki によると:

数学およびコンピュータサイエンスでは、記号計算または代数計算とも呼ばれる数式処理は、数式やその他の数学オブジェクトを操作するためのアルゴリズムとソフトウェアの研究と開発を指す科学分野です。

記号計算は記号操作と計算に焦点を合わせていますか? LISPプログラムはASTで、原子を葉として記述されています。LISPは記号計算の言語と言われています。記号計算では、次のようになります。

  • シンボルに関するすべて(シンボルはLISPのアトムまたは非アトム式です)
  • すべてのシンボルにはセマンティックが割り当てられます
  • 記号計算は、データを考えるのではなく、記号とセマンティクス(セマンティクスはatomまたは何かを行う式)およびシンボル間の関係)の操作に集中するようにプログラマーを方向付けるパラダイムです。構造とコードは2つの別個のエンティティです。
  • プログラム設計は、記号の構成/操作と意味の割り当てに基づく言語設計です。

この質問 によると、記号計算の反対は数値計算です。これら2つの主な違いは何ですか? Octave(私はそれを研究しています)を扱うとき、私は数字をたくさん扱う必要があり、それらのマジックナンバーの意味を何度も推測する必要があります。これは数値計算の焦点ですか?

17
Amumu

「記号計算」は、記号式を使用した計算です。

シンボリック式の例:

  • 数式。たとえば、積分式
  • 論理定理
  • 計画状況

後者の場合:

  • aからbへの道路)bからdcからeeからfbからf、.。
  • 小包p1ata p2atdおよびp3 atf
  • トラックt1atd

今のタスクは、すべての小包を拾う良い計画を生成することです

  1. dで小包p2を受け取ります
  2. トラックt1dからb
  3. トラックt1bからa
  4. aで小包p1を受け取ります
  5. .。

上記の例では、記号は場所と物(トラック、小包)を表しています。シンボル式は状況を記述します。プランジェネレーターは一連のアクションを返します。これもシンボル式として記述されます。

5
Rainer Joswig

記号計算は非数値を処理しています。これは、記号のように意味します。代数。複数のプラットフォーム用の強力な無料の記号計算プログラム maxima があります。これにより、たとえば、記号を使用して算術式を単純化または拡張したり、それらを統合または区別したりできます。試してみてください-楽しくて便利です!

2

記号計算は常に正確です(無限の精度)。数値計算では、精度は有限です

0
Adam