湖南教育出版社
证明的艺术
《中学生数学视野》丛书
开关电路与布尔代数 (平装)
三个开关同时控制一盏灯。这样的电路你会设计吗？有一种“1＋1＝1”的代数能帮助你设计。 这种代数叫作布尔代数。 学习开关电路和布尔代数这门课后，非但可以提高我们的逻辑思维能力，使我们的思维清晰化、严谨
大学生数学建模竞赛辅导教材1
今年1月30日到2月5日在北京举办了“数学建模教学及竞赛教师培训、研讨班”，许多专家结合竞赛题的讲评做了精彩的、高水症的报告，本书大部分内容正是这些报告的基础上听取了与会者的意见修改而成的。我们希望本书不仅
机械化数学引论
数学机械化研究的兴趣，是当代数学科学发展的趋势。本书分五章系统地、深入浅出地介绍了吴文俊先生在机械化数学研究中的学术创造，包括代数方程组求解和数学定理机器证明的基本原理和方法。书中还介绍了若干实例，以
沈善炯自述
《沈善炯自述》主人公沈善炯受教于西南联合大学的农家子，从比德尔实验室出来的岗材生，受麦卡锡主义迫害，与赵忠尧等同时被囚于日本，改行研究抗生索的生产问题，取得了国际水平的成就，贾植芳托他带东西给胡风,据
民国知识分子画像
民国时代的知识分子面目众多，表情复杂，很难一网打尽。《民国知识分子画像》选取大学校长、新闻宿将和本色名土三个群体进行描摩，构图独具匠心，点染亦熠熠生辉。蔡元培的海纳百川、林白水的笔挟风雷乃至章太炎的使
逻辑学思想史
逻辑学是一门重要的学科。联合国教科文组织P974年编制的学科分类，把逻辑学同数学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学并列，列为七大基础学科之一。它在两千多年前的古代中国、印度和
