论文部分内容阅读
近代数学理念的复兴和数学工具的应用推动了自然科学的巨大发展,为数理逻辑的产生提供了思想契机。数理逻辑源于莱布尼茨提出的思维可计算构想,其展开和深化是建立了命题演算和谓词演算等公理系统和对形式系统的元层次研究。数理逻辑未来发展将扬弃纯形式发展阶段,达到形式与内容在更高层面的统一。
数理逻辑的发展及未来趋向
【摘 要】
：
近代数学理念的复兴和数学工具的应用推动了自然科学的巨大发展,为数理逻辑的产生提供了思想契机。数理逻辑源于莱布尼茨提出的思维可计算构想,其展开和深化是建立了命题演算
【机 构】
：
第三军医大学人文社科学院
【出 处】
：
安庆师范学院学报(社会科学版)
【发表日期】
：
2010年11期
其他文献
纤维素酶(Cellulase)作为一种绿色饲料添加剂,能提高饲料的转化率以及动物的生产性能,从而为养殖业提供相当数量的饲料来源。本文章主要从纤维素酶的分类、作用机理、在反刍
<正>安委办[2011]18号各省、自治区、直辖市及新疆生产建设兵团安全生产委员会,国务院安委会有关成员单位,有关中央企业:为深入贯彻落实《国务院关于进一步加强企业安全生产
<正>人民网2014年中国十大科普事件揭晓1月22日下午,中国科协在京举行新闻发布会,揭晓2014年度中国十大科普事件。这十大事件是:《知识就是力量》全新改版;@月球车"玉兔"微博
目的探讨饮水充盈胃CT扫描在胃病变诊断中的应用价值。方法回顾性分析比较275例饮水充盈胃与420例口服泛影葡胺稀释液充盈胃的CT扫描资料。结果饮水充盈胃CT扫描对胃壁厚度、
对"瓮安事件"深度报道话语分析发现:群体性事件深度报道的消息来源主要来自官方;媒体报道的主题拘束于官方话语框架,虽然部分媒体试图有所超越;媒体报道文本中隐含着较明显的
《女勇士》自出版以来,一直是评论界关注的焦点。小说通过对中国传统文学经典《木兰辞》的有意"误读",成功地塑造了崭新的女性形象,为美国女性,尤其是族裔女性发出了的呐喊。
在人类文化历史形成过程中,动物和人的联系紧密。在英汉语言中有着极为丰富的动物词汇,其隐喻涵义也相当丰富。对一些常见动物隐喻的认知对比分析,可以发现英汉动物隐喻既有
点元素是构成形态的基本元素,却能经由元素转换而形成多姿多彩的面貌。巧妙运用元素强烈而单纯的视觉形象,不但能构建出有別于传统图样的情调,更能增添视觉趣味性、故事性与
高校产学研战略联盟是提高企业自主创新能力和国家竞争力的迫切需要,也是高校职能多样化和知识生产方式转变的本质反映,构建高校产学研战略联盟是高等教育可持续发展的历史必