Similar to 竹内関数
アッカーマン関数
Ackermann functionスーダン関数
Sudan functionΜ再帰関数
General recursive functionDigital Library of Mathematical Functions
Digital Library of Mathematical FunctionsK関数
K-functionQ超幾何級数
Basic hypergeometric seriesQポッホハマー記号
Q-Pochhammer symbolリチャード・アスキー
Richard Askeyアスキー=ギャスパー不等式
Askey–Gasper inequalityAbramowitz and Stegun
Abramowitz and Stegunワリード・アルサラム
Waleed Al-Salam0
0▲1 trends1
12
23
34
45
56
67
78
8▲1 trends9
912345679
計算理論
Theory of computationEDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC一階述語論理
First-order logic後向き連鎖
Backward chainingオートマトン
Automata theory型付きラムダ計算
Typed lambda calculus