O1书目索引__教材巡展网上行

- 数理逻辑：证明及其限度(第二版)（逻辑与形而上学教科书系列）
- 郝兆宽，杨睿之，杨跃著/2020-8-1/复旦大学出版社
- 本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了数理逻辑的基本知识。全书共10章:第一章是预备知识，主要介绍书中所需要的集合论的初步知识:第二至第六章是一阶逻辑的基本内容，重点介绍哥德尔的完全性定理;第七章是递归论的基本知识，也是为后面内容所做的准备;第八章介绍一阶算术的一些片段;第九和第十章是哥德尔的两个不完全性定理。本书主要面向对数学基础感兴趣的读者。与其他数理逻辑教材相比，本书更加强调逻辑与元数学的联系，更多介绍语义部分，更加强调语法与语义的统一。书中除了讲解各
- 定价：¥49 ISBN：9787309145687
- 数理逻辑（新编21世纪哲学系列教材；中国人民大学“十三五”规划教材—特色教材）
- 余俊伟赵晓玉裘江杰张立英/2020-8-1/中国人民大学出版社
- 主要内容涵盖数理逻辑的历史起源、命题逻辑语言、主要系统及其元性质、谓词逻辑语言、主要系统及其元性质、逻辑在数学与哲学中的运用（包括不完全性定理及技术发展过程中衍生的语言分析技术）
- 定价：¥58 ISBN：9787300284392
- 数学建模基础与案例分析
- 主编曹西林, 王建芳/2020-8-1/北京理工大学出版社
- 本书以培养数学建模思想、突出应用为重点, 以技能训练为主线, 使学生通过本课程的学习, 在数学建模能力的提高上有所收获, 为处理实际问题和参加全国数学建模竞赛打好基础。本书中的例题、能力训练题多数选自与实际生活贴近的应用案例, 以培养学生的数学建模意识, 充分体现高职教育的应用性和实用性。为拓展学生建模能力, 挖掘学生的建模潜力, 还在附录中展示了我院获得全国一等奖并刊登于中国工业与应用数学学报的优秀论文, 供学生参考学习。
- 定价：¥35 ISBN：9787568288682
- 数学建模实用教程（第二版）
- 韩中庚，周素静编/2020-8-1/高等教育出版社
- 　　《数学建模实用教程（第二版）》共收录了76个应用案例分析，其中包含16个全国竞赛题的案例，60个实际问题的应用练习。该书结合高职高专数学课程的教学实际和参加全国大学生数学建模竞赛培训的需要，从内容的选择、组织编排、难易取舍都考虑到高职高专院校教师的使用和学生的学习实际，力求做到有用、适用、能用、够用和方便使用。
  　　《数学建模实用教程（第二版）》可以用作高职高专院校数学建模课程的教材，也可以用作数学建模竞赛的培训教材。根据实际教学需要，从20学时至60学时都可以选择相应的内容实施教
- 定价：¥42.8 ISBN：9787040542523
- 线性代数（双语版）
- 程晓亮等/2020-8-1/北京大学出版社
- 本书是根据“国际本科学术互认课程”（ISEC）项目对高等数学系列课程的要求，同时结合ISEC项目培养模式进行编写的“线性代数”课程双语教材. 全书共分5章，内容包括：线性方程组和矩阵、行列式、向量空间、矩阵的特征值与特征向量、二次型. 在内容选择上，既考虑到ISEC学生未来学习和发展的需要，又兼顾学生数学学习的实际情况，以适用、够用为原则，切合学生实际，在体系完整的基础上对通常的 “线性代数”课程内容进行适当的调整，注重明晰数学思想与方法，强调数学知识的应用;在内容阐述上，尽量以案例模式引入，
- 定价：¥48 ISBN：9787301314166
- 线性代数
- 王震惠小健主编/2020-8-1/机械工业出版社
- 机械工业出版社本书主要介绍了线性代数的经典内容，包括矩阵、行列式、线性方程组、线性空间、线性变换、特征值与特征向量、矩阵相似对角化、二次型等，涵盖了硕士研究生入学考试数学考试大纲有关线性代数的所有内容。全书编写思路清晰，内容取材深广度合适，具体阐述深入浅出，突出线性代数Maple计算，强调线性空间等抽象理论的基本思想、基本方法。同时各章节例题配有Maple计算程序，便于帮助读者学习相关软件，增加学习兴趣等。
  
  本书可作为高等院校理工、经管、医学、农林类等本科专业的公共数学基
- 定价：¥39.8 ISBN：9787111658153
- 线性代数学习指导
- 鲍勇编/2020-8-1/机械工业出版社
- 本书根据普通高等院校本科专业线性代数课程的*新教学大纲及考研大纲编写而成，内容包含行列式、矩阵、向量、线性方程组、特征值和特征向量、二次型等模块。
  本书中例题丰富且具有代表性，例题分析与解答展示了基本的解题思路、解题方法与解题技巧，起到了释疑解难的作用，达到了导学的目的。
  本书可作为普通高等院校本科专业线性代数课程的辅助教材，也可作为考研学生或数学爱好者的参考书。
- 定价：¥34.8 ISBN：9787111658702
- 线性代数（第二版）
- 王传玉/2020-8-1/北京大学出版社
- 本书是作者根据教育部的“工科类本科数学基础课程教学基本要求”，在多年讲授“线性代数”课程的讲义基础上修订而成的，凝聚了作者三十多年在教学第一线积累的丰富教学经验.全书共分为六章，内容包括：矩阵与线性方程组、行列式、向量空间与线性变换、线性方程组、正交性、特征值与特征向量.每节配置有适量的习题，书末附有部分习题参考答案与提示，便于读者参考. 为了满足工科类学生的要求，本书对传统的线性代数教学内容在结构和内容上做了适当的调整，重点突出矩阵在线性代数中的地位，强调围绕矩阵展开的各种运算及各知识点在
- 定价：¥34 ISBN：9787301315026
- 线性代数学习指导
- 罗从文/2020-8-1/科学出版社
- 本书是《线性代数教程》（第四版）（罗从文，科学出版社，2019）的配套教学辅导用书，内容按照主教材的章节顺序编排：线性方程组与矩阵、矩阵运算及向量组的线性相关性、向量空间Rn、行列式、矩阵特征值问题及二次型.每章内容包括主要内容、教学要求、疑难问题解答、常见错误类型分析、课后习题答案.书末配有自测题与自测题答案.
- 定价：¥46 ISBN：9787030656599
- 线性代数一点通：讲故事，学线代
- 闻彬著/2020-8-1/复旦大学出版社
- 本书面向高等院校理T科及经管类专业的考研学生，亦可作为大一、大二线性代数的教学参考书。全书共6章，具体包括单矩阵计算、双矩阵计算、两步计算、方程组、向量、特征值类等内容。本书采用讲故事的方式讲解线性代数的所有知识点，从行列式到矩阵，从方程组到向量，从特征值到相似形。本书将艰涩难懂的数学知识用更加简洁、有趣的方式呈现出来，是对传统教学方式的改变，可以让广大非数学专业学子对数学从“恐惧”走向“热爱
- 定价：¥39.8 ISBN：9787309152555