Similar to ホーン節
M系列
Maximum length sequenceアルゴリズム
Algorithm▲2 trendsアルファベット (計算機科学)
Alphabet (formal languages)グスタフソンの法則
Gustafson's lawMizar
Mizar systemElGamal署名
ElGamal signature scheme0
01
12
23
34
45
56
67
78
8▲1 trends9
912345679
理論計算機科学
Theoretical computer scienceカリー=ハワード同型対応
Curry–Howard correspondenceクヌース賞
Knuth Prizeクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm計算木論理
Computation tree logic計算複雑性理論
Computational complexity theory計算理論
Theory of computation計算論的哲学
Computational philosophy形式言語
Formal language形式言語の階層
形式手法
Formal methods