形式システムの一覧

これは、論理計算とも呼ばれる 形式システムのリストです。

• 関数計算、演算子にさまざまなタイプの関数を適用する方法
• 行列計算、行列空間上の多変数計算のための特殊な表記法
• アンブラル計算、多項式上の特定の演算の組み合わせ論
• ベクトル計算（ベクトル解析とも呼ばれる）は、内積空間におけるベクトルの多変数解析のための特殊な表記法から構成される。

• 述語論理は、述語の論理を支配する推論規則を規定する。
• 命題論理学は、命題の論理を支配する推論の規則を規定する。

• 様相μ計算、モデル検査などの形式検証手法で使用される一般的な時相論理
• ラムダ計算は、計算理論と深いつながりを持つ反射関数の理論の定式化である。
  • カッパ計算、型付きラムダ計算の第一階フラグメントの再定式化
  • ロー計算はラムダ計算に書き換えを均一に統合する一般的な手段として導入された。
• プロセス計算、並行システムの形式モデルを定式化する一連のアプローチ
  • アンビエント計算、エージェントモビリティの概念に基づく並行システムのモデル群
  • 分散プログラミング言語の設計のための理論モデルである結合計算
  • π計算は、ロビン・ミルナーによって発明された、並行して通信するプロセスの理論の定式化である。
• リレーショナル計算、リレーショナルデータモデルのための計算
  • ドメインリレーショナル計算
  • タプル計算はSQL言語に影響を与えた
• プログラムのモデルを効率的なプログラムに洗練する方法である洗練計算

• 形式倫理学 - 倫理原則の「内容」ではなく「形式」を記述し評価するための形式的な論理システムフォールバックとしてウィキデータの説明を表示するページ

音楽も形式的なシステムです。編集者の皆さんにはこの点について説明してもらってください。

• 形式システム – 演繹または証明システムのための数学モデル
• 計算可能性:形式モデル
  • 計算モデル – 入力が与えられた場合に関数の出力がどのように計算されるかを説明する数学モデル
  • 微積分（曖昧さ回避）