“quantifier-free formula”的概念、定义、习题解题方法及翻译-数学辞典

单词	quantifier-free formula
释义	quantifier-free formula 无量词公式
随便看	binary Goldbach conjecture binary Goldbach problem binary group binary heap binary icosahedral group binary involution binary Lie algebra binary logarithm binary logic binary matrix binary matroid binary memory binary notation binary number binary number system binary numeration binary operation binary operator binary p-adic group binary partition binary place binary plot binary point binary polyhedral group binary problem

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