逻辑与
逻辑与发现——物理学领域经典范例启示录 冯琦 著.pdf
《逻辑与发现——物理学领域经典范例启示录》展示的是从公元前350 年左右到1930 年左右期间物理学领域的一系列先贤在物理学发现过程中智慧地使用逻辑这门工具的真实而经典的事迹。这些先贤包括古希腊的亚里士多德、阿基米德；包括伽利略、牛顿、库仑、法拉第、麦克斯韦、爱因斯坦；包括玻尔兹
数理逻辑与机器证明.pdf
本书介绍数理逻辑及其在机器证明中的应用． 数理逻辑部分包括绪论、前三章及附录．绪论简要地说明了数理逻辑的研究对象和方法．前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题．附录中阐述了重言式的推理，并且论证了它与自然推理的关系．第四至第六章是机器证明部分
GMAT逻辑与阅读高分策略 | Logic & Readomg Review for the GRE/GMAT/LSAT/MCAT影印版.pdf
本书深入讲解了美国主要研究生院入学考试中的逻辑与阅读部分获得高分所需掌握的特殊技能：涵盖分析推理、逻辑推理与阅读理解技巧等内容。
数字逻辑与数字系统实践技术 : 学习指导 实验与课程设计.pdf
本书内容包括数字逻辑与数字系统学习指导、数字逻辑与数字系统实验、数字逻辑与数字系统课程设计和数字逻辑与数字系统计算机仿真软件及仿真实验等。
数理逻辑与集合论.pdf
本书的内容为数理逻辑和集合论，共8章.第1～5章是数理逻辑部分：第1~3章是数理逻辑，包括命题逻辑、谓词逻辑及其公理化理论；第4章是简单模态逻辑，第5章是利用基础知识分析基础教育阶段数学教学中遇到的问题.在每一节中将本节内容所渗透的重要的思想方法提炼出来放在后面，以期利于读者对内
非经典数理逻辑与近似推理.pdf
本书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道等内容。
生活逻辑与主题学习 : 高中思想政治教学改革的理念与实践.pdf
本书围绕杭州市高中思想政治学科教学课程改革的两个关键词——“生活逻辑”与“主题学习”展开，深入探讨了高中思想政治课的现状、特点以及具体的课堂教学改革操作，提出了富有杭州特色的思想政治课教学改革方向，同时展现了杭州市高中思想政治课堂教学改革的最新成果。