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
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