路·真理之路

本书是对马克思主义哲学体系的全面介绍，是对马哲基本原理的既传统又有新意的解读。全书分为两篇。第一篇，“世界”，主要探讨的是世界是什么（世界的本质）；意识和人工智能；世界的辩证发展，以及如何认识世界等问......

艺术·真理·审美乌托邦 阿多诺《美学理论》研究

本书从音乐理论、现实主义与现实主义之争等方面对德国美学思想家阿多诺的《美学理论》做了系统的论析。

网络协议的形式化分析与设计

本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......

为真理而献身 记模范共产党员陈寿图烈士

进步、合理性与真理

本书研究美国当代著名科学哲学家劳丹的学术观点。劳丹生于1941年，是西方科学界和科学哲学界权威杂志《科学史和科学哲学》的创始人和编辑之一，同时担任几种科学哲学杂志及丛书的编委，现任教于墨西哥国立大学。...

软件开发的形式化工程方法

本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...

全球化社会中的语言教师教育 “知”“析”“识”“行”和“察”的模块模型=Language teacher education for a global society a modular model

全球化社会中的语言教师教育 “知”“析”“识”“行”和“察”的模块模型=Language teacher education for a global society a modular model

艺术形式不仅仅是形式

真理的代价

本书主要考察当代科学中与金钱有关的形形色色的问题，审视和分析利益追逐和真理探求之间的关系；贪婪如何影响科学家群体、大学、公司的行为，又如何影响公众对科学的认知；道德、社会、政治价值观如何影响科学中的...