Category:理論計算機科学

• ► 理論計算機科学の定理‎ （1サブカテゴリ、2ページ）

あ

• ► アルゴリズム的情報理論‎ （6ページ）

か

• ► 型理論‎ （25ページ）

け

• ► 計算複雑性理論‎ （1サブカテゴリ、75ページ）
• ► 計算理論‎ （8サブカテゴリ、41ページ）
• ► 形式言語‎ （2サブカテゴリ、45ページ）
• ► 形式手法‎ （6サブカテゴリ、61ページ）

こ

• ► コンビネータ論理‎ （4ページ）

し

• ► 情報理論‎ （5サブカテゴリ、33ページ）
• ► 進化的計算‎ （3サブカテゴリ、9ページ）

す

• ► 数値解析‎ （13サブカテゴリ、64ページ）

て

• ► 電子計算の数学‎ （6サブカテゴリ）

り

• ► 理論計算機科学者‎ （1サブカテゴリ、4ページ）

*

• 理論計算機科学

M

• M系列

あ

• アルゴリズム
• アルファベット (計算機科学)

か

• ガード (プログラミング)
• 可逆チューリングマシン
• カリー＝ハワード同型対応

く

• グスタフソンの法則
• クヌース賞
• クヌース・ベンディックス完備化アルゴリズム

け

• 計算木論理
• 計算複雑性理論
• 計算理論
• 形式言語
• 形式言語の階層
• 形式手法
• 形式的検証
• ゲーム意味論

こ

• 公理的意味論
• コンビネータ論理

さ

• 再帰的定義

し

• 失敗による否定
• 弱文脈依存言語
• ロジャー・シャンク
• 述語変換意味論

せ

• 制約論理プログラミング

そ

• 操作的意味論
• 双模倣性

ち

• チューリングマシン

て

• デジタル物理学

ひ

• 表示的意味論
• 表明

ふ

• ファジィ論理
• 二人の将軍問題
• 不動点コンビネータ
• 部分観測マルコフ決定過程
• プログラム意味論

へ

• 並行制約プログラミング
• 並行論理プログラミング
• 閉世界仮説

ほ

• ホーン節

ま

• マルコフ決定過程

み

• Mizar

も

• モデル検査

よ

• ヨセフスの問題

ら

• ラフ集合
• ラムダ計算

ろ

• 論理プログラミング