数理逻辑 meaning in English
mathematical logic
Examples
- There are advantages and disadvantage in both induction and deduction , and they are intertwined
究其实，争论是由逻辑观传统形式逻辑和现代数理逻辑的不同引起的。 - He has an msc in mathematical logic and the theory of computation from bristol university , uk
他具有英国bristol university颁发的数理逻辑和计算理论的理学硕士学位。 - R . cori & d . lascar : mathematical logic ? a course with exercises , part i . oxford university press , 2001
陈慕泽余俊伟：数理逻辑基础? ?一阶逻辑与一阶理论，中国人民大学出版社2003 。 - This paper shows that the methods of mathematical logic may have a broad application and also valuable to human ' s daily thinking
这说明，数理逻辑的方法可以有广泛的运用，它对于日常思维同样有重要的价值。 - This is an article about mathematical logic , its are basic the thought is to stem from the true reason that considers a theory to prove end at result of a kind of calculative
这是一篇关于数理逻辑的文章，其基本思想是出于想把理论的真理性论证归结于一种计算的结果。