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

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

 

可计算性理论 – מילון עברי-אנגלי

לצערנו, לא נמצאו תוצאות באנגלית עבור "可计算性理论"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
递归论
递归论或可计算性理论，是一个数理逻辑分支。它起源于可计算函数和图灵度的研究。它的领域增长为包括一般性的可计算性和可定义性的研究。在这些领域中，这门理论同证明论和能行描述集合论(effective descriptive set theory)有所重叠。

数理逻辑中的可计算性理论家经常研究相对可计算性、可归约性概念和程度结构的理论。相对于计算机科学家，他们研究次递归层次，可行的计算和公用于可计算性理论研究的形式语言。在这两个社区之间有着相当大的知识和方法上的重叠，而没有明显的界限。


访问 Wikipedia.org... 网页


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

可计算性理论 – מילון עברי-עברי

לצערנו, לא נמצאו תוצאות בעברית עבור "可计算性理论"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
递归论
递归论或可计算性理论，是一个数理逻辑分支。它起源于可计算函数和图灵度的研究。它的领域增长为包括一般性的可计算性和可定义性的研究。在这些领域中，这门理论同证明论和能行描述集合论(effective descriptive set theory)有所重叠。

数理逻辑中的可计算性理论家经常研究相对可计算性、可归约性概念和程度结构的理论。相对于计算机科学家，他们研究次递归层次，可行的计算和公用于可计算性理论研究的形式语言。在这两个社区之间有着相当大的知识和方法上的重叠，而没有明显的界限。


访问 Wikipedia.org... 网页


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




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