Similar to 失敗による否定
再帰的定義
Recursive definition
弱文脈依存言語
Mildly context-sensitive grammar formalism
ロジャー・シャンク
Roger Schank
述語変換意味論
Predicate transformer semantics
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logic
双模倣性
Bisimulation
チューリングマシン
Turing machineデジタル物理学
Digital physics
表明 (プログラミング)
Assertion (software development)
二人の将軍問題
Two Generals' Problem
不動点コンビネータ
Fixed-point combinator
部分観測マルコフ決定過程
Partially observable Markov decision process
プログラム意味論
Semantics (computer science)
ホーン節
Horn clause
マルコフ決定過程
Markov decision process
モデル検査
Model checking
ヨセフスの問題
Josephus problem
ラフ集合
Rough setラムダ計算
Lambda calculus
数学
Mathematics
0.999...
0.999...
0次元
Zero-dimensional space
0の0乗
Zero to the power of zero
1次元
One-dimensional space
1+1
1+2+3+4+…
1 + 2 + 3 + 4 + ⋯
1+2+4+8+…
1 + 2 + 4 + 8 + ⋯