タグ「代数学」（2語）

• 自動推論 じどうすいろん コンピュータを用いて推論の諸側面を理解し、完全あるいはほぼ完全な自動推論を行うソフトウェアの開発を目指す計算機科学と数理論理学の一分野。 007 情報学・情報科学
• 分類理論 ぶんるいりろん 数学において、ある種類の対象を同値関係に基づき、重複なく分類する問題を解決する理論や定理のこと。 375 教育課程・学習指導・教科別教育

タグの一覧へ