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