论文部分内容阅读
研究表明,直观与逻辑矛盾的加剧源于非欧几何的发展,因而在数学中推出了模型方法与形式化并试图以此避开悖论.
模型方法与形式化
【摘 要】
：
研究表明,直观与逻辑矛盾的加剧源于非欧几何的发展,因而在数学中推出了模型方法与形式化并试图以此避开悖论.
【机 构】
：
嘉应大学政法系
【出 处】
：
廊坊师范学院学报
【发表日期】
：
2001年4期
【基金项目】
：
国家哲学社会科学基金
其他文献
根据<中共中央关于在全党开展以实践"三个代表"重要思想为主要内容的保持共产党员先进性教育活动的意见>和自治区的总体部署,林业厅党组在全区先进性教育工作会议结束后,立即
随着煤炭行业外部和内部市场的竞争,煤矿增产增收、节能降耗,已提升到重要日程,文章通过变频调速技术在井下运输系统中的使用效果分析,节能效果,设备改造简便易行,具有一定的
本文对东噶·洛桑赤列《东噶藏学大辞典》中涉及蒙古人名、族名相关的一些历史宗教方面的记载进行了探讨,在此基础上与先生的其他著述和一些相关藏蒙文献略加进行比较,从
1月21-22日,自治区林业厅召开全区林业局长会议,会议认为2005年是"十五"计划的最后一年,也是衔接"十一五"计划、全面推进林业发展的重要一年.会议要求,全区各地解放思想,振奋
介绍了一种低瓦斯矿井综采工作面采空区瓦斯治理技术，利用该技术，解决了陕西双龙煤业开发有限责任公司综采工作面上隅角瓦斯超限难题，该方法具有易操作、管理难度小、投入小的优