Similar to 表明_(プログラミング)
形式言語の階層
ゲーム意味論
Game semantics
公理的意味論
Axiomatic semantics
コンビネータ論理
Combinatory logic再帰的定義
Recursive definition
失敗による否定
Negation as failure
弱文脈依存言語
Mildly context-sensitive grammar formalism
ロジャー・シャンク
Roger Schank
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logicデジタル物理学
Digital physics
ファジィ論理
Fuzzy logic
二人の将軍問題
Two Generals' Problem
部分観測マルコフ決定過程
Partially observable Markov decision process閉世界仮説
Closed-world assumption
ホーン節
Horn clause
マルコフ決定過程
Markov decision process
ヨセフスの問題
Josephus problem
ラフ集合
Rough set
仕様及び記述言語
Specification and Description Language/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
CICS
CICS
Communicating Sequential Processes
Communicating sequential processes
DPLLアルゴリズム
DPLL algorithmGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)PlusCal
PlusCal