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

单词	Rice theorem
释义	Rice theorem 赖斯定理
随便看	satisfiability problem satisfiable satisfiable formula satisfiable set satisfiable set of formulas satisfying Sato-Bernshteǐn polynomial Sato conjecture Sato Mikio saturated saturated algebra saturated (B,N)-pair saturated chain saturated class saturated enlargement saturated filtred group saturated graph saturated ideal saturated logical system saturated model saturated set saturated structure saturated sublattice saturated subset saturated system

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