单词	约束法
释义
随便看	模式识别 模式识别 模形式论 模律 模态分析法 模态判断 模态命题 模态命题演算S4 模态命题演算S5 模态命题演算T 模态命题演算T的解释 模态谓词演算QS4B 模态谓词演算QTB 模态谓词演算QTB解释 模态逻辑 模态非单调逻辑 模恒等式 模扩张 模拟 模拟保密通信 模拟地图 模拟模型 模拟电话网 模拟系统 模拟计算机

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