简单

更新时间:-- | 阅读量: 142

推理的有效性问题是逻辑学研究的重要问题。有各种不同的有效性概念。本文给出了一个谓词认知逻辑的形式语言(称为LIK),给出了它的语义,定义了有效性概念。用语言LIK刻画简单枚举法,并证明这种推理在IK系...

《逻辑研究专辑》 2001年00期 关键词: "认知逻辑"," 简单枚举法"," 有效性" 收藏

我国幅员辽阔,生物类型多种多样,是世界上拥有鸟类种类最多的国家之一。截至1999年底,已知有鸟类1253种948亚种,隶属于21目83科,其中有多种为我国特有或珍稀濒危的鸟类。近年来由于环境污染、植...

《分子细胞生物学报》 2003年05期 关键词: "单态性鸟"," 聚合酶链式反应(PCR)"," 性别鉴定"," CHD1" 收藏

在分析写作过程中,我们常常会碰到这样的问题:如何定量地说明一个总体各单位的不同时期集中或分散的发展变化趋势,或不同总体同一时期的发展差异程度?比如我们要分析某地区工业企业的盈利水平在五年内是趋于平均化...

《中国统计》 2007年06期 关键词: 收藏

我很羡慕他,活得像个孩子。他说,做动画的人是不容易老的。"我很欣喜,可以和动画为伴,让我能够简单地笑出来。‘天真’和‘幻想’是动画人始终要保护的事物。能做动画,是幸福的。

《风采》 2007年10期 关键词: 收藏

物理学思想的历史长河,翻卷着无数追求简单的浪花,而爱因斯坦的逻辑简单性原则,无疑是迄今最为璀璨的一朵。世界是复杂的,它的本质却是简单的。简单,是一种信念,它让人们保持一份坚守;简单,似一盏明灯,它照耀...

《高等继续教育学报》 2008年03期 关键词: "简单溯源"," 简单之辨"," 践行简单"," 物理学"," 逻辑简单性" 收藏

楔子女人抱着婴儿在大雪中跌跌撞撞地走着,她的脸和双手早已被寒风刮得麻木了。她在树林中机械地挪动双腿,希望在天全黑下来之前走出这座传说中居住着妖怪、出没着虎狼的山林。怀中的婴儿醒来了,开始大哭起来。女人...

《今古传奇(奇幻版幻世绘)》 2009年01期 关键词: 收藏

无单放货一直是航运实务操作上经常发生之问题，就承运人而言，其对无单放货究竟应当负担何种责任？实务上对于经常发生无单放货之类型又为何？经2008年12月联合目大会第六十三届大会第六十七次全体会议审议通过...

《中国海商法年刊》 2009年3期 关键词: "单放货","《鹿特丹规则》","可转让单证" 收藏

1、点亮节能灯省电看得清一只11W节能灯的照明效果,顶得上60W的普通灯泡,而且每分钟都比普通灯泡节电80%。如果全国使用12亿支节能灯,节约的电量相当于三峡水电站的年发电量。2、日常省水有妙招家里处...

《环境科技》 2010年S2期 关键词: 收藏

参照相关实验标准，通过模拟实验载荷条件的方法建立了用来求解六边形蜂窝芯材共异面弹性模量的有限元方法．通过改变参数，利用该方法进行了大量模拟计算．将计算结果与已有理论计算结果进行比较分析，发现两者吻合较...

《陕西科技大学学报（自然科学版）》 2014年2期 关键词: "六边形蜂窝","共面","异面","弹性模量","有限元模拟" 收藏

19世纪,正是英国殖民主义蒸蒸日上的时代。1890年,英军得意扬扬地到达了非洲南部。这里土地肥沃,物产富饶。上岸后,英军进行了一场大抢劫,并强行驱走当地的土著居民,正当他们准备运回财宝之际,土著人忍无...

《发明与创新(大科技)》 2014年06期 关键词: 收藏