「arithmetic」を解説文に含む見出し語の検索結果(61～70/1445件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/07/02 15:19 UTC 版)「Small set (組み合わせ論)」の記事における「未解決問題」の解説large と...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/19 03:29 UTC 版)「綿貫理明」の記事における「研究業績」の解説UCLA時代は浮動小数点演算法のアルゴリズム...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/15 07:28 UTC 版)「Intel 80186」の記事における「追加または仕様変更された命令」の解説先行する8...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
イヴァン・フェセンコIvan FesenkoИван Борисович Фесенко生誕1962年ロシア、サンクトペテルブルク国籍ロシア研究分野数学者研究機関ノッティンガム大学ZEN大学出身校サン...
ナビゲーションに移動検索に移動数学における多重算術数列, 一般化算術数列（いっぱんかさんじゅつすうれつ、英: generalized arithmetic progression）または多次元...
ナビゲーションに移動検索に移動数学における多重算術数列, 一般化算術数列（いっぱんかさんじゅつすうれつ、英: generalized arithmetic progression）または多次元...