2024/6/1 -公理図式（英：axiom schema、英複数形：axiom schemata）とは、数理論理学における用語で、公理を一般化した概念である。公理型とも訳される。
2024/6/18 -算術と様相論理に関する研究・論文セミナーを週に1回実施しています． 得られた研究成果や読んだ論文の内容の紹介をしております． 証明可能性論理と不完全性定理が ...
2024/5/2 -数理論理学におけるレーブの定理 (Löb's theorem) は、ペアノ算術 (PA) (またはPAを含む任意の形式体系)において、任意の論理式Pについて、「PがPAで証明可能ならばPで ...
2024/7/9 -CAP定理（CAP theorem）とは、分散システムのデータ管理に関する定理の一つで、データの一貫性とシステムの可用性、分散耐性の3つを同時に満たすことはできないというもの ...
2024/7/12 -自動定理証明機： コンピュータ代数と自動定理証明の間には重なる部分があるのですが、Catlabは正しさの形式的な証明書（いわゆる「証明」）を作成しないため、定理 ...
2024/6/7 -... 定理を証明します。 • Amazon VPC ネットワークアクセスアナライザーは、リソースへの潜在的なネットワークパスを. 把握し、潜在的な意図しないネットワークアクセスを ...
2024/5/25 -しかし、私の教師たちが私に受け入れさせようとした多くの数学的証明は誤謬に満ちていること、そしてもし数学の中に実際に確実性が見いだされうるならば、それはこれまで ...
2024/6/13 -2つの電源から構成される回路において抵抗で消費される電力を求める問題です。 重ね合わせの理，テブナンの定理等の解法で解くことできそうですが，解答では重ね ...
2024/7/8 -F 単元 『スキーマと記憶』. 【知識及び技能】. 実験結果などの具体例の本文中 ... ・方べきの定理の証明について、三角形の. 相似を利用して考察することができる ...
2024/6/26 -例えば，証明のアイデアの把握と適用に関する教材開発原理として，「一つの命題とその証明をよんで，筋道図から本質的な条件と証明のアイデアを明確にし，それに基づいて ...