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
01
1▲1 trends2
2▲1 trends3
3▲1 trends4
4▲1 trends5
5▲1 trends6
67
78
89
912345679
計算理論
Theory of computationEDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC一階述語論理
First-order logic▲1 trends後向き連鎖
Backward chainingオートマトン
Automata theory型付きラムダ計算
Typed lambda calculus