缺省逻辑与回答集程序 张明义,王以松 著.pdf
本书主要介绍一阶子句集的消解原理和命题公式集的稳定模型、一般缺省理论（包括它的几个重要变种）的扩张计算特征与算法和复杂性、容易计算的特殊缺省理论类和缺省逻辑的语义、回答集程序及其拓广（嵌套查询）的基本概念与重要性质，以及架起回答集程序与经典逻辑之间关系桥梁的环公式和程序完备理论。
逻辑与
生态化双创——双创底层逻辑与实践 余玉刚,洪兆富 著.pdf
《生态化双创：双创底层逻辑与实践》提出的生态化双创是在大企业引领下小企业围绕大企业进行互补共创、合作共赢的一种生态化商业模式。通过对荣事达等双创企业的长期追踪研究，详细阐释了生态化双创的诞生背景、形成条件与内在机理，剖析了生态化双创的底层逻辑，刻画了生态化双创形成的必要条件与关键
逻辑与发现——物理学领域经典范例启示录 冯琦 著.pdf
《逻辑与发现——物理学领域经典范例启示录》展示的是从公元前350 年左右到1930 年左右期间物理学领域的一系列先贤在物理学发现过程中智慧地使用逻辑这门工具的真实而经典的事迹。这些先贤包括古希腊的亚里士多德、阿基米德；包括伽利略、牛顿、库仑、法拉第、麦克斯韦、爱因斯坦；包括玻尔兹
逻辑与诗意：工科风景园林本科专业教学探研.pdf
本书是一本教学专著，结合风景园林学科和专业发展以及本科教育的定位，从对风景园林的学科内涵和特征解析出发，阐述风景园林本科的培养目标、毕业要求；设计与制定本科专业教学的知识体系、内容界定、课程组织；并重点通过主线课程的教程与实践为主体内容从大纲、任务书、教案到成果介绍与总结等方面论述工科风景园林本科专业的教学教程。内容分五章，其中第五章主线课程教学教程与实践部分是该书的重点，其以同济大学风景园林、建
复杂社会网络环境下员工知识分享行为逻辑与策略选择研究.pdf
知识分享是知识管理的基础和关键环节，与此同时，深入揭示和理解在复杂网络中行为发生的机理及策略选择过程也是网络科学研究前沿课题之一。因而本书融合上述两个领域，基于知识分享中社会网络重要性的观察和启示，以复杂社会网络情景中的知识员工为研究对象，从员工知识分享行为困境入手，将复杂社会网
生活逻辑与主题学习 : 高中思想政治教学改革的理念与实践.pdf
本书围绕杭州市高中思想政治学科教学课程改革的两个关键词——“生活逻辑”与“主题学习”展开，深入探讨了高中思想政治课的现状、特点以及具体的课堂教学改革操作，提出了富有杭州特色的思想政治课教学改革方向，同时展现了杭州市高中思想政治课堂教学改革的最新成果。
数字逻辑与数字系统题解、题库与实验 | 2版.pdf
本书分上、中、下三篇。上篇是解题指南，提供了数字逻辑级、数字系统级的典型习题约500题；中篇是实验指南；下篇是题库样卷，提供了本科生、大专生期末试卷，研究生入学试卷各两套。
数字逻辑与数字系统 : 网络版 | 3版.pdf
本书包括六章内容，根据数字逻辑器件的发展历程，系统地讲述了数字逻辑和数字系统的基本概念、分析方法和设计原理。
数理逻辑与集合论.pdf
本书的内容为数理逻辑和集合论，共8章.第1～5章是数理逻辑部分：第1~3章是数理逻辑，包括命题逻辑、谓词逻辑及其公理化理论；第4章是简单模态逻辑，第5章是利用基础知识分析基础教育阶段数学教学中遇到的问题.在每一节中将本节内容所渗透的重要的思想方法提炼出来放在后面，以期利于读者对内