「初等関数算術」を解説文に含む見出し語の検索結果(1～9/9件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 10:10 UTC 版)「初等関数算術」の記事における「フリードマンの壮大な予想」の解説ハービー・フリードマンの...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 10:10 UTC 版)「初等関数算術」の記事における「関連する体系」の解説ロビンソン算術に有界論理式に対する帰...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/03 13:45 UTC 版)「逆数学」の記事における「Big Five以外の体系」の解説逆数学においては、Big F...
数理論理学の一分野である証明論において、初等関数算術（英: elementary function arithmetic）または指数関数算術（EFA）は算術の体系のひとつであり、関数記号 0 ...
原始帰納的算術（げんしきのうてきさんじゅつ、英: primitive recursive arithmetic）またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
原始帰納的算術（げんしきのうてきさんじゅつ、英: primitive recursive arithmetic）またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
原始帰納的算術（げんしきのうてきさんじゅつ、英: primitive recursive arithmetic）またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
ナビゲーションに移動検索に移動この項目では、複雑性クラスについて説明しています。Linuxディストリビューションについては「elementary OS」をご覧ください。計算複雑性理論において ELEM...
逆数学（ぎゃくすうがく）とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いる...
< 前の結果 | 次の結果 >