mathematical logic

Get Babylon's Translation Software! Free Download Now!
Babylon 8 - Your all-in-one solution
Award winning translation software trusted by millions. Translate from any language to any language.
View Demo


Wikipedia 维基中文 免费百科全书Download this dictionary
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。
访问 Wikipedia.org... 网页

本文章的材料选自维基百科(R), 并有 GNU 免费文件许

Define mathematical logic

Translate mathematical logic





| mathematical logic in 英语 | mathematical logic in 法语 | mathematical logic in 意大利语 | mathematical logic in 西班牙语 | mathematical logic in 荷兰语 | mathematical logic in 德语 | mathematical logic in 俄语 | mathematical logic in 日语 | mathematical logic in Greek | mathematical logic in 土耳其语 | mathematical logic in 希伯来语 | mathematical logic in Arabic | mathematical logic in Croatian | mathematical logic in 瑞典语