「完全性の証明」を解説文に含む見出し語の検索結果(11～20/31件中)
ミッチェルの埋め込み定理（ミッチェルのうめこみていり、英: Mitchell's embedding theorem）、あるいはフレイド・ミッチェルの定理 (Freyd–Mitchell theore...
ミッチェルの埋め込み定理（ミッチェルのうめこみていり、英: Mitchell's embedding theorem）、あるいはフレイド・ミッチェルの定理 (Freyd–Mitchell theore...
デジタル・キュレーション（英: Digital curation）とは、デジタル資産を選択[1]、保存、維持管理、組織化そしてアーカイブする一連の行為である[2][3]。目次1 デジタル・キュレーショ...
デジタル・キュレーション（英: Digital curation）とは、デジタル資産を選択[1]、保存、維持管理、組織化そしてアーカイブする一連の行為である[2][3]。目次1 デジタル・キュレーショ...
NP完全（な）問題（エヌピーかんぜん（な）もんだい、英: NP-complete problem）とは、(1) クラスNP（英: Non-deterministic Polynomia...
NP完全（な）問題（エヌピーかんぜん（な）もんだい、英: NP-complete problem）とは、(1) クラスNP（英: Non-deterministic Polynomia...
NP完全（な）問題（エヌピーかんぜん（な）もんだい、英: NP-complete problem）とは、(1) クラスNP（英: Non-deterministic Polynomia...
ゲルハルト・ゲンツェンゲルハルト・カール・エーリヒ・ゲンツェン（ドイツ語: Gerhard Karl Erich Gentzen, 1909年11月24日 - 1945年8月4日）はドイツの論...
『衣服を着た多くのものよりもイヌがすぐれている件についての書』（いふくをきたおおくのものよりもイヌがすぐれているけんについてのしょ、Kitāb tafḍīl al-kilāb ʿalā kathīr ...
数学における、（虚二次体の）ガウスの類数問題 (英: Gauss class number problem)とは、普通は、各 n ≥ 1 に対し類数が n である虚二次体 Q ( ...