分支数

更新时间:-- | 阅读量: 206

公理集合论、模型论、递归论和证明论。是数理逻辑学的四个分支学科。......盾性”)、完全性和判定问题等。此论经过哥德尔等人的研究而得到发展,成为数理逻辑和数学基础的重要分支。近十几年来,这一领域的研究常和直觉主义逻辑相结合而获得了进展。

搜索到与“ 分支数”相关的文献共 10

查看更多

分支数相似词

分支数相关词

分支数相关期刊

Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

京ICP备2021021570号-13

京公网安备 11011102000866号