关于我们
精品教材          更多
规划教材          更多
点击返回 当前位置:首页 > 中图法 【O14 数理逻辑、数学基础】 分类索引
  • 数学建模/21世纪应用型本科院校规划教材
    • 数学建模/21世纪应用型本科院校规划教材
    • 范新华,陈荣军 编/2018-1-1/南京大学出版社
    • 数学建模是一种数学的思考方法,也是用数学语言描述实际现象的过程。它是运用数学的语言和方法,通过抽象,简化建立能近似刻画并解决实际问题的一种强有力的数学手段。《数学建模/21世纪应用型本科院校规划教材》是作者范新华、陈荣军根据多年数学建模教学与数学建模竞赛辅导工作的经验编写而成,所选案例具有代表性,注重从不同侧面反映数学

    •   
      定价:¥43  ISBN:9787305198489
  •  MCM/ICM数学建模竞赛 第3卷
    • MCM/ICM数学建模竞赛 第3卷
    • Jay Belanger等/2018-1-1/高等教育出版社
    • 暂无关于 MCM/ICM数学建模竞赛 第3卷的更多介绍。

    •   
      定价:¥59  ISBN:9787040491210
  • 数理逻辑十二讲
    • 数理逻辑十二讲
    • 宋方敏 吴骏/2017-12-14/机械工业出版社
    • 本书介绍数理逻辑的基础知识和基本理论,主要讲授命题演算和谓词演算。通过本课程的学习,学生将掌握相关的基本概念、基本理论、基本推理,以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象的数学分支,对信息科学与技术的发展具有指导作用。本课程为计算机科学的基础,对培养学生的素养以及提高解决问题的能力有重要的意义

    •   
      定价:¥39  ISBN:9787111581222
  •  数学建模优秀论文精选
    • 数学建模优秀论文精选
    • `/2017-12-1/西南交通大学出版社
    • 暂无关于 数学建模优秀论文精选的更多介绍。

    •   
      定价:¥40  ISBN:9787564358686
  •  数学建模方法及其应用(第3版)
    • 数学建模方法及其应用(第3版)
    • 韩中庚/2017-12-1/高等教育出版社
    • 本书作为十二五普通高等教育本科*规划教材和普通高等教育十一五*规划教材,根据数学建模课程的教学和数学建模竞赛培训活动的实际需要,在第二版的基础上修订而成。第三版仍然保持了第二版内容系统、方法全面、案例新颖和实用性强的特色,突出体现了广、浅、新、用的现代应用特点。本书主要内容包括几何分析、集合分析、逻辑分析、微分方程、差

    •   
      定价:¥63  ISBN:9787040457094
  • 技术整合与数学情境
    • 技术整合与数学情境
    • 刘宗宝, 陆广地, 著/2017-7-1/江苏大学出版社
    • 本书共分七章,重点讲解教学媒体、教学设计、教学技能在数学学科中的应用方法,具体介绍以信息技术为核心的现代教育信息技术与数学课程教学整合的方法和学科教学案例的设计与应用,通过实际的教学案例将理论与实际相结合,对教学改革和现代教育信息技术在数学教学中的应用起到促进和推动作用。

    •   
      定价:¥48  ISBN:9787568405348
  • 面向计算机科学的数理逻辑 第二版
    • 面向计算机科学的数理逻辑 第二版
    • 陆钟万/2017-6-1/科学出版社
    • 本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。本书大部分章节附有习题。

    •   
      定价:¥29  ISBN:9787030096579
  • 正确写作美国大学生数学建模竞赛论文
    • 正确写作美国大学生数学建模竞赛论文
    • (美)杰伊·贝朗格(Jay Belanger )等编著/2017-6-1/高等教育出版社
    • 本书讨论如何撰写美国大学生数学建模竞赛论文。书中包括两部分内容:一部分是地道的英文内容,另一部分为与之对应的中文介绍,这样安排的目的是培养读者用英文写作及思考的习惯,有困难时可以查看中文内容;或者先快速了解中文,再看英文表达。主要内容包括:简介、文章结构、文体、英语的用法、数学符号、数学表达、图形和表格、修改实例、写作

    •   
      定价:¥49  ISBN:9787040476729
  •  LINGO软件及应用
    • LINGO软件及应用
    • 司守奎,孙玺菁/2017-5-1/国防工业出版社
    • 本书在深入浅出地介绍LINGO基本用法和LINGO与各种文件和数据库之间的数据传递和处理方法的基础上,分两个层次介绍了LINGO软件及其应用:*个层次以数学规划、图论与网络优化、多目标规划等LINGO软件常用领域为背景,介绍LINGO软件求解优化模型的常规手段和技巧;第二个层次以博弈论、存贮论、排队论、决策分析、评价方

    •   
      定价:¥68  ISBN:9787118113686
  • 实定理的复证明=Comples Proofs of Real Theorems:英文
    • 实定理的复证明=Comples Proofs of Real Theorems:英文
    • (美)彼得.D.拉克斯(Peter D.Lax)著/2017-4-1/高等教育出版社
    • 《实定理的复证明》是对Hadamard的格言“实域中两个真理之间的最好和最短路程是通过复域”的延伸思考。面向熟悉研究生一年级水平分析学的受众,此书的目的在于解释复变量是如何对分析的一些领域中的许多类重要结果提供了快速而高效的证明,这些领域包括诸如近似理论、算子理论、调和分析和复动力系统。

    •   
      定价:¥55  ISBN:9787040470000