Similar to アルファベット_(計算機科学)
2
23
34
45
56
67
78
89
91349
1349 (band)1680
1048576
12345679
理論計算機科学
Theoretical computer scienceカリー=ハワード同型対応
Curry–Howard correspondenceグスタフソンの法則
Gustafson's lawクヌース賞
Knuth Prizeクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm計算木論理
Computation tree logic計算複雑性理論
Computational complexity theory計算理論
Theory of computation計算論的哲学
Computational philosophy形式手法
Formal methods形式的検証
Formal verificationゲーム意味論
Game semantics公理的意味論
Axiomatic semanticsコンビネータ論理
Combinatory logic再帰的定義
Recursive definition失敗による否定
Negation as failure