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

单词	monster-barring
释义	monster-barring “拦阻大魔法”（将假设精化以排除恼人反例的步骤）
随便看	recursive ordinal numbers recursive partial function recursive predicate recursive presentation recursive procedure recursive process recursive program scheme recursive realizability recursive relation recursive scheme recursive sequence recursive series recursive set recursive set theory recursive structure recursive subset recursive system recursive theory recursive type recursive undecidability recursive unsolvability recycle red/black partitioning red-black tree redesignating of variables

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