论文部分内容阅读
剖析了直觉主义学派的数学观、无穷观和逻辑观,从而论证了构造性是直觉主义学派在数学工作中的最基本出发点,同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响.
直觉主义的数学观与计算机科学
【摘 要】
：
剖析了直觉主义学派的数学观、无穷观和逻辑观,从而论证了构造性是直觉主义学派在数学工作中的最基本出发点,同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响
【机 构】
：
南京邮电学院计算机科学与技术系,南京航空航天大学计算机科学研究所
【出 处】
：
南京邮电学院学报：自然科学版
【发表日期】
：
2002年2期
其他文献
本文作者结合工程实际，论述了钻孔压浆桩的施工方法及技术措施。
本文介绍了流向逆流冲洗法在解决供暖系统堵塞问题中的应用,此法可作抢修、维修之用.
亚太大厦位于哈尔滨经济技术开发区南岗管理服务区内,建筑面积39000m~2,分二期设计施工,本篇介绍第一期桩基础的设计修改后,应用长螺旋钻孔液压全自动扩底扩孔灌注桩(以下简
本文通过对桥梁实例施工步骤的概略介绍,重点突出了逆作法施工工艺的特点、施工中要注意事项及与常规施工方案的比较.
本文从城镇化的概念出发,详细分析南通县农村劳力转移的阶段性和层次性,在这基础上进一步考察南通县城镇化的动力——第二、三产业在城镇的集聚,并得出南通县到2000年时的城
对语音中信息隐藏的研究现状进行了概述,并对常用的方法等进行了比较和分析,最后探讨了其广阔的应用前景和研究中的一些难点.
提出了一种基于改进型Logistic映射的双极性混沌键控(CSK)通信方式,给出了相干和非相干解调方式下的抗噪声性能理论公式,通过仿真,验证了抗噪声性能公式.
提出了一套适用于超宽带系统的同步方案，通过二分法搜索得到脉冲位置；再利用baker滑动电路对信号帧进行捕获；最后运用类似于信道估计的LS方法，对相位进行跟踪。通过性能仿真表明，
在分析了区分服务体系结构的基础上,对其TCP性能进行了研究,对该结构中整型器在其中所起的作用提出了新的设想.该整形器是一个基于自适应随机早期检测(READ)速率可调的流量调