论文部分内容阅读
该文较为巧妙地证明了Ｓａｔｉｓｆａｃｔｉｏｎ Ｃｏｎｄｉｔｉｏｎ，建立了一个正则序类方程逻辑的Ｉｎｓｔｉｔｕｔｉｏｎ。
正则序类方程逻辑的Institution
【摘 要】
：
该文较为巧妙地证明了Ｓａｔｉｓｆａｃｔｉｏｎ Ｃｏｎｄｉｔｉｏｎ，建立了一个正则序类方程逻辑的Ｉｎｓｔｉｔｕｔｉｏｎ。
【机 构】
：
广东工业大学数理系
【出 处】
：
江西师范大学学报：自然科学版
【发表日期】
：
1997年4期
其他文献
报道了由２－羟甲基异长叶环烷和２－羟甲基异长叶烯直接用过量１００％的铬酸溶液，于０℃，在氮气中进行反应的合新方法，介绍了用梯度洗脱柱色谱分离了２－甲酰基异长叶环烷和２－甲酰基异长叶烯的方法。
鄱阳湖区在江西省并非一个行政区域，然而其自然生态系统和农业经济系统却构成了一个特定的农业生态经济系统，该文用生态经济学观点对系统特征进行了分析，结果表明：湖区自然生态环
该文提出了一种基于面向对象技术的知识表示模式，采用结构对象类来表示知识单元，定义组合运算作为对象间的操作机制，并结合实例具体说明了该表示技术。
本文根据教学改革的基本指导思想,结合热力学统计物理的教学现状,在缓解授课学时与教学内容的矛盾以及改善学生被动学习状态等方面提出了整合课程、加强讨论式教学具体的改革
随着社会的进步,大学生的礼仪教育显得越来越重要。本文主要阐述了大学生礼仪教育存在的问题,并分析了礼仪修养缺失的原因,最后提出礼仪教育的可行性途径。
用分光光度法对原儿茶酸甲酯，正丁酯，正辛酯底物在不同ｐＨ条件下的离解和漆酶催化氧化反应进行了考察，测定了它们在ＰＨ＝８．０时的反应速度常数。结果表明，不为漆酶所喜爱的亲水性底物，经过适当
该文考虑科氏力的作用，求得抛体运动的解，并对解进行讨论，对抛体运动可获得更深刻更全认识。
现今信息社会高度发达的信息技术本身，对英语课堂教学同时具有冲击性的影响，信息技术的优势也凸显出来。使广大英语教师明确了利用好信息技术激活英语课堂教学的重要性，并通过教
用ＵＨＦ／ＡＭ１方法研究羧酸亚硝酰热分解反应的机理，研究结果表明，消除ＮＯ形成ＲＣ（Ｏ）Ｏ是该反应所循的途径。