内涵逻辑的建构及其形式化的问题——论人工智能机的逻辑基础与数学基础

来源 :河南师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:xinghun124
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
<正> (一) 在社会主义社会,劳动力个人所有制是劳动力成为商品的重要前提Ⅰ劳动力所有制形式是由劳动者“生产能力的发展水平所决定的劳动力个人所有制,是指在一定的社会经济条件下,劳动者主体对客观存在着的劳动力的关系;进一步说,是在生产过程中作为主观生产要素的劳动力是否归其本体(个
<正> 体育观众是体育比赛中不可缺少的有机组成部份,“拉拉队”是体育观众中活动能量和影响都较大的群体。国内、国际“拉拉队的活动引起人们的议论,有的持肯定态度,有的抱否
<正> 前言成年人安静状态下的正常尿液中,蛋白质的每天排出量在30-200毫克%。它包括血浆白蛋白、球蛋白、生殖泌尿道的糖蛋白及粘蛋白。迄今采用的定性测检疗法,无一能验出上
2016年5月以蔡英文为首的民进党正式执政之后,极力在日本食品输台禁令等多项议题上背离马英九当局的既有立场,试图以"媚日反中"政策来推进台日关系。民进党此举与"台独"党纲、"亲
本文给出了复方阵(未必是Hermite矩阵)是正定矩阵的定义,讨论了这类正定矩阵的特征值以及其行列式的模的性质,并给出了正定矩阵在合同下的标准形,以及复方阵是正定矩阵的充分
<正> (一)准确评估企业资产是实行租赁经营的关键环节,搞好租赁企业资产评估,对于合理确定租金和押金,正确处理租赁双方的经济利益关系,准确反映承租者经营管理水平和租赁企业的经营状况,搞好租赁经营,充分发挥租赁经营方式的积极作用都有着十分重要的意义。首先,准确评估企业资产,有利于合理地确定租金和押金,正确处理租赁双方的经济利益关系。只有准确地评估企业资产数额,才能有利于合理地确定租金和押金,如果
<正> 古往今来,人们都在千方百计挣脱各种各样的枷锁而去追求自由。或者是为了生存而去追求有限的自由;或者是为了贪欲而去追求无限的自由。当人们为求无限的自由而致力征服自然从而伤害了自然时,人与自然失和,从大地沙化到大气污染,这便带来了生态危机。当人们为求无限的自由而致力征服别人从而伤害了别人时,人与人失和,从互相攻讦到原子战争,这便带来了人态危机。
由于全球不可再生能源未来面临的短缺以及环保意识的日渐高涨,以电动汽车为代表的新能源汽车在全球范围内正日渐兴起。有专家指出,新能源汽车将成为车企争夺未来市场的“核武器
<正> 道德建设作为社会主义精神文明建设的重要内容,在《中共中央关于社会主义精神文明建设指导方针的决议》中得到了充分肯定。它一方面进一步确认了我国所处的社会主义初级阶段,同时确认了社会主义道德。这不仅具有重要的理论意义,而且具有不可忽视的实践价值。