【摘 要】
:
新兴的逻辑领域——制约逻辑与计算机发展关系密切。这主要体现在内涵智能机和量子计算机两个方面。“正统”数理逻辑已不适应智能机和量子计算机的发展需要,而制约逻辑却为此
论文部分内容阅读
新兴的逻辑领域——制约逻辑与计算机发展关系密切。这主要体现在内涵智能机和量子计算机两个方面。“正统”数理逻辑已不适应智能机和量子计算机的发展需要,而制约逻辑却为此提供了新的理论依据。
其他文献
《香水》是汤姆·提克威改编自同名小说的电影作品,哲学思辨的主题与深度挖掘的人性表现赋予了本片开放性评论空间,《香水》既有对他以往电影风格的继承,又有创新与突破,在本
管网更新方向预判及爆管预防是各家供水企业关心的重点和研究的主要方向。文中借助水力模型,结合数据分析对SY供水企业的管网进行风险评估,对管网中的流速、节点压力进行了全
通过四个案例分析,提出开展'素养为本'的化学教学要倡导真实问题情境的创设,并主张教学情境最好能贯穿并运用于课堂教学的全程。
长期以来严复的文化思想被当作近代中国知识分子由先进到落后、由学习西方转向回归传统的典型 ,严复“早期进步 ,晚年保守”似成定论。本文针对严复思想评价中的一些偏误 ,通
自动泊车系统作为车辆智能化时代代表系统之一,成为各大汽车公司展示自身在车辆智能化方面实力的主要途径;在泊车位日益稀缺、泊车空间日益缩小的今天,自动泊车系统逐渐成为
本文以计算机网络为出发点,基于网络教学的含义、特征,针对教师与学生的角色、职能和任务,将网络教学中的教师、学生与传统教学中的师生进行了对比。从哲学观、后现代主义观
<正>降息对房地产市场而言,显然是一个利好,至少是一个短期利好。2014年11月21日晚,央行突然降息,11月24日,房地产类股票应声上涨,研究机构和市场人士众说纷纭:短期利好?全面
<正>克里斯托弗·诺兰版《蝙蝠侠系列》与从前蒂姆·波顿版迥然不同。诺兰版不再具有哥特式的浪漫,故事更为残酷写实,给人震撼。《蝙蝠侠之开战时刻》里,诺兰用硬切的表演方
2012年2月22日,根据著名的电影售票网站Fandango记录,《饥饿游戏》刷新了《暮色:月食》在2010年5月创下的预售记录:83%的电影票已经在上映前被预定一空。这部影片改编自美国
<正>狮门影业成立于1997年,至今为止发展历程只有短短十五年。这十五年间,狮门影业从最初倒卖放映设备赚取差价,到今天一年内在北美地区狂揽10亿美元票房,它发展的历程"就像