初基演算相关硕士博士期刊学术论文 - 搜论网

初基演算相关论文

数理逻辑在中国

<正> 一本世纪初,我国少数学者到西方留学,开始接触到数理逻辑这一新兴学科。1920年,英国哲学家和逻辑学家罗素(B.Russell)来我国......

期刊

模态系统南京大学数学系正规算法初基演算多带图灵机胡世华陶仁骥间隙定理唯心主义王宪钧中国科学院计算技术研究所模拟者函数类字母表金岳霖

看过本文同时还关注