缺省逻辑的扩充 【数理化】

本书首先从形式上较为简单的有限的无前提正规闭缺省理论入手，系统的研究了有限的无前提正规闭缺省理论的相容扩充，对相容扩充进行了分类；同时，对缺省规则固定时，缺省理论可能有的不同相容扩张的个数进行了估计。...

当代大学文化论 基于组织文化子系统视野的认知与探索 【文化科学教育体育】

农业与农村政策分析培训教材 以虚拟的国家“南国”为案例 【经济】

本书以虚拟的“南国”案例为基础，为参与者提供一组不同来源的文件和统计表格，列出该国所存在的关键政策和制度问题，并给出解决方案。

创新 中国最新经济年度人物创新之道 【历史地理】

本书介绍了最新经济年度人物的创新思路和成功之处。

医学计算机化题库系统的开发与应用研究 【医药卫生】

本书介绍了医学计算机化题库系统的开发与应用研究的指导原则、建立过程、考试及分析的过程，记述了诊断性评价在医学教育评估中的应用。

经典逻辑与非经典逻辑基础 【哲学宗教】

本书是教育部研究生推荐教学用书。主要介绍了经典逻辑的基本理论，命题演算和一阶谓词演算以及20世纪20年代至今发展起来的非经典逻辑的主要分支（模态逻辑、时态逻辑、弗协调逻辑和直觉主义逻辑）。在本教材中，语...

第三世界国家的法律与危机 【政治法律】

本书是一部对法律与发展主题进行批判性审视的文集。本书“由法律与发展研究的若干最重要的学者的新近文章组成，其议论的主题内容广阔，从法律理论到立宪主义、刑法、社会行动公益诉讼、国际贸易、债务危机，以及...

逻辑电路与单片机基础 【工业技术】

本书以逻辑问题提取方法，逻辑系统设计思想以及用8051系列单片机解决实际逻辑问题为主线，主要内容有可靠性编码、逻辑真值表、文氏图、MCS-51系列单片机工作原理和最小硬件系统设计与应用，衫编程法等。...

系统的安全发展规律与安全投入决策研究 【环境安全】

安全投入是保障安全生产的关键。本书用逆向思维、分析对比和调查研究的研究方法，研究了企业安全投入的类型、企业安全状态的自然属性，安全活动遵循的基本原理；构建了企业的安全系统结构模型和安全投入指标体系...

中国科学技术协会青年科学家论坛第122次会议 主题 中药现代化与系统生物学 论文集 【文化科学教育体育】