论文部分内容阅读
不可满足Horn子句集的两个反证算法
【出 处】
：
上海科技大学学报
【发表日期】
：
1989年3期
其他文献
建立了一种测定速冻蚕豆中萘残留量的气相色谱／质谱方法。样品中的萘经正庚烷提取，以GC－MSD－SIM方式测定，外标法定量。实验表明，试样中添加0．02－2mg/kg浓度水平的萘，方法回收率在78％－121
牙内陷是牙齿形态发育异常,属非龋类疾病的一种,其发病原因颇受争议,并不明确。牙内陷发病率低,对其临床表现、诊断、分型不够了解,容易导致误诊和漏诊。本文报道Ⅱ型牙内陷
《尚书·盘庚上》：“予若观火。”汉·孔安国传：“我视汝情如观火。”唐·孔颖达疏：“言见之分明如见火也。”后来在“若观火”前面加一个“洞”字，用“洞若观火”形
本文在阐述建设性后现代主义的基本精神的前提下,结合目前我国教学论研究的局限,分析论述了这一哲学对教学论研究的四点启示.即,倡导理论研究的创造性;鼓励多元的研究风格;尊
普特南是一位重视人、关注人的生活实践的哲学家,这在他内在实在论阶段就明显体现出来.在这一时期,他强调真理是概念框架内的真理,是内在的,是理想化的合理的可接受性,是与人
结合美学理论,说明对公文可以而且应该从审美的角度进行观照;规范化、程式化是公文的最大特点,也是公文的审美特性所在,其中包括公文体式要求的规范化、内容的规范化和语言的
专业培养计划是人才培养的蓝图.通过对FTT服装设计专业教学计划的研究对比,提出构建本院同类专业的培养方案:人才培养目标定位、教学管理制度、课程结构体系、特色活动项目等
本文分析了当前专科毕业生择业形势的严峻性和当前专科毕业生的择业心态，并从政府、学校、学生、就业单位各方面入手重点论述正确把握专科毕业生择业心态的重要意义。
本文着重分析了高校思想政治工作面临的形势和任务，强调要做好高校思想政治工作必须转变观念，改进方法，才能增强工作的有效性，提出培养高素质的合格人才是高校思想政治工作的根本