Similar to 数理論理学
理論計算機科学
Theoretical computer science
カリー＝ハワード同型対応
Curry–Howard correspondence
グスタフソンの法則
Gustafson's law
クヌース賞
Knuth Prize
計算複雑性理論
Computational complexity theory
計算論的哲学
Computational philosophy
形式言語
Formal language形式言語の階層
形式手法
Formal methods
形式的検証
Formal verification
公理的意味論
Axiomatic semantics
コンビネータ論理
Combinatory logic
失敗による否定
Negation as failure
弱文脈依存言語
Mildly context-sensitive grammar formalism
ロジャー・シャンク
Roger Schank
述語変換意味論
Predicate transformer semantics
双模倣性
Bisimulation
チューリングマシン
Turing machine▲1 trendsデジタル物理学
Digital physics
表明 (プログラミング)
Assertion (software development)
ファジィ論理
Fuzzy logic▲1 trends
二人の将軍問題
Two Generals' Problem
部分観測マルコフ決定過程
Partially observable Markov decision process
プログラム意味論
Semantics (computer science)閉世界仮説
Closed-world assumption
ホーン節
Horn clause
モデル検査
Model checking
ヨセフスの問題
Josephus problem