单词	卡彭特
释义
随便看	satisfaction satisfaction solution satisfactory solution satisfiable formula of a predicate calculus satisfiable formula over an individual domain satisfiable problem satisfiable propositional formula satisfying assignment of a propositional formula saturated arc saturated conjunctive normal form of a propositional formula saturated disjunctive normal form of a propositional formula saturated falsifying assignment of a propositional formula saturated formation of groups saturated ideal saturated model saturated nonstandard universe saturated satisfying assignment of a propositional formula saturated set saturated set saturated subsemiring saturated superstructure embedding saturated valuation saturation saturation axiom saturation in C2π

数学辞典收录了63749条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。