理论与真理 基础科学中的哲学批判

本书是美国哲学学会会长和美国科学哲学联合会主席劳伦斯．斯克拉（LawrenceSklar）教授的代表作之一。本书批判地考察了目前流行的实用主义和知识社会学及其各种翻版。本书认为，一般方法论纲领所提倡的批判性哲学...

对称锥互补问题的内点法 理论分析与算法实现

本书对对称锥互补问题的内点法进行了理论分析和算法实现，并系统介绍对称锥互补问题的核函数内点算法的最新研究进展，令读者轻松掌握对称互补问题内点法的相关知识。本书适合于高等学校数学及相关专业师生使用...

煤矿危险物资配送的群智能算法优化

本书分析了煤矿物资配送的特点：物资需求有紧急性之分，车辆可多趟运行；危险物资允许联合配送，一个客户的需求可由一辆车运行多趟来满足，或由不同车辆来进行满足。本书提出用自然数表示的“服务优先级”来刻画客户...

数字逻辑与计算机设计基础

本书以一个计算机硬件系统的设计为主线，先介绍数字电路设计的基本知识，然后使用这些知识和计算机结构的基本知识设计一个简单的计算机，最后利用已有的芯片设计完成一个较完整的计算机硬件系统。全书共9章，分别...

计算机常用算法的设计与分析研究

计算机算法是计算机科学和计算机应用的核心。本书以算法设计策略为主线，系统介绍了算法的设计方法和分析技巧。书中既涉及传统算法的实例分析，更有算法领域热点研究课题的追踪，具有较高的实用价值。本书主要内...

科学发展 社会和谐 构建社会主义和谐社会的理论与实践

中国社会科学院社会政法学部从2006年成立以来，围绕科学发展、社会和谐这一主题开展了一系列调查研究和学术讨论。社会政法学部多学科的结构，不仅有利于在全面贯彻落实科学发展观的第一要义、核心、基本要求和...

互逆主义逻辑、数学和它们的应用

本书分别介绍互逆主义的逻辑演算、集合论、抽象代数、证明论与模型论、递归论。数理逻辑的三大派都是为了克服悖论而提出，互逆主义用两种方法排除悖论，以，把元素与集合分为三层，二、认为空集与全集是特异集合，对...

计算机辅助逻辑设计理论

计算机算法的实际运用与实践研究

计算机算法是以一步接一步的方式来详细描述计算机如何将输入转化为所要求的输出的过程，或者说，算法是对计算机上执行的计算过程的具体描述。在计算机编程中，通常有多种不同的方法（算法），可以用来完成任何给定的.....

多元智能理论及其在教学中的应用文库 倾听：音乐智能与教学