מילון אונליין

  חיפוש ברשת      מילון      חיפוש בפורום

 

数理逻辑 – מילון עברי-אנגלי

לצערנו, לא נמצאו תוצאות באנגלית עבור "数理逻辑"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。

数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。


访问 Wikipedia.org... 网页


本文章的材料选自维基百科(R), 并有 GNU 免费文件许
CEDICT(Simp.Chinese-English)-21 Dec. 2005הורד מילון בבילון 9 למחשב שלך
数理逻辑
mathematical logic, symbolic logic

数理逻辑 – מילון עברי-עברי

לצערנו, לא נמצאו תוצאות בעברית עבור "数理逻辑"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。

数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。


访问 Wikipedia.org... 网页


本文章的材料选自维基百科(R), 并有 GNU 免费文件许
CEDICT(Simp.Chinese-English)-21 Dec. 2005הורד מילון בבילון 9 למחשב שלך
数理逻辑
mathematical logic, symbolic logic





© 2007 מילון G בבילון אונליין - נתמך ע"י מילון בבילון 9