23

ウィキによると：

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

記号計算は、記号の操作と計算に焦点を当てていますか? Lisp プログラムは、アトムを葉とする AST の形式で記述されます。Lisp は記号計算用の言語と言われています。シンボリック計算では、次のようになります。

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

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

4

4 に答える 4

11

「記号計算」は、記号式による計算です。

記号式の例:

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

後者の場合:

  • aからb、bからd、cからe、eからf、bからf、...
  • aにp1、dにp2、fにp3の区画
  • dのトラックt1
  • ゴール

ここでのタスクは、すべての小包を拾い上げて所定の目標に到達するための優れた計画を作成することです。

  1. dで小包p2を受け取ります
  2. トラックt1をdからbに移動する
  3. トラックt1をbからa に移動する
  4. で小包p1を受け取ります
  5. ...

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

于 2013-05-06T18:49:48.157 に答える
3

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

于 2013-05-06T14:52:25.920 に答える