几何定理机器证明的基本原理 初等几何部分

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

美术的故事 从晚清到今天

本书是我社已出版的《20世纪中国艺术史》的大众普及本。线索清晰，语言流畅，以讲故事的方式为读者勾勒出一幅20世纪中国艺术史的立体图景。...

穷归故里 从旅行到流浪的故事

本书作者结束在法国的留学生涯后，沿着丝绸之路步行回了中国，沿途经过了希腊、土耳其、伊朗、阿富汗、巴基斯坦、印度等国家，留下了难忘的经历，最后将这一段经历撰写成书，可读性甚高。...

从文学到文化的跋涉 论闻一多诗学的现代性

死亡的尊严与生命的尊严 从临终精神医学到现代生死学

勾股定理 悠悠4000年的故事

勾股定理虽然归功于毕达哥拉斯，然而，在毕达哥拉斯之前1000多年，该定理就为巴比伦人所知了。可能他是第一个证明了这个定理的人。 该定理是几乎每个数学分支的核心。...

中国的美学和文学理论 从传统到现代

本套书共十卷，是迄今为止卷帙最为浩繁的一部文学艺术巨著，它对3000余年的中国文学进行了描写、分析和阐述。对文学的每一概念都以历史发展为线索，从其源流一直讲到现代。...

最美的音乐史 从巴赫到摇滚之王普雷斯利的故事

本书结合世界各地不同的历史背景和地域特点，以讲故事的形式生动形象地讲述了音乐发展的历史。对音乐的肇端、产生、发展、沿革，以及音乐代表人物的创作历程和经典作品都作了介绍。...

从资本经济到知识经济 现代计算机的知识革命

本书以现代计算机知识革命、产业革命、生活方式革命的视角，从理论上论述了人类如何从资本经济时代走上知识经济时代。全书共分三篇，即“知识学基础”、”知识经济概论”和“社会问题思考”。...