关于我们
书单推荐                   更多
新书推荐         更多
当前分类数量:313  点击返回 当前位置:首页 > 中图法 【O14 数理逻辑、数学基础】 分类索引
  • 集合论导引(高等学校理工科数学类规划教材)
    • 集合论导引(高等学校理工科数学类规划教材)
    • 朱梧槚,肖溪安 编著/2008-3-1/ 大连理工大学出版社/定价:¥32
    • 本书第一版于1991年在南京大学出版社出版,当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材,并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用,而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进,可以说是成功地实现了当初撰写之目标,因

    • ISBN:9787561140321
  • 数理逻辑引论(高等学校理工科数学类规划教材)
    • 数理逻辑引论(高等学校理工科数学类规划教材)
    • 朱梧槚,肖奚安 编著/2008-3-1/ 大连理工大学出版社/定价:¥34
    • 本书第一版于1991年在南京大学出版社出版,当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材,并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用,而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进,可以说是成功地实现了当初撰写之目标,因

    • ISBN:9787561140338
  • 数学建模简明教程
    • 数学建模简明教程
    • 戴韩寿,孙世良 著/2007-7-1/ 高等教育出版社/定价:¥22
    • 《数学建模简明教程》是作者根据多年的教学实践,为了满足高等师范院校数学建模课程教学的实际需求编写而成。教材尽可能体现高等师范院校的培养目标、办学特点,注重数学建模思想的叙述,注意与中学教学实际的联系。《数学建模简明教程》通过实例介绍数学建模的主要方法和建模技巧,注重解决实际问题时数学建模的分析过程,着力培养学生的科学思

    • ISBN:9787040217896
  • 集合论(第3次)(修订增补版)
    • 集合论(第3次)(修订增补版)
    • ThomasJech 著/2007-1-1/ 世界图书出版公司/定价:¥78
    • 集合论近年来发展迅速,特别是迫力法、内模型、大基数和描述集合论的发展尤为突出。本书是一本经典图书,内容囊括了集合论的各个分支。全书分为三部分:第一部分综述了集合论中基本的公理、概念和模型,第二部分深入介绍集合论高等问题,第三部分是集合论的专题介绍。本书各章有习题,即是一部教科书,也是从事数理逻辑和集合论等领域研究人员的

    • ISBN:9787506282321
  • 数学建模
    • 数学建模
    • 杨启帆等/2005-5-1/ 高等教育出版社/定价:¥22.4
    • 本书是教育科学“十五”国家规划课题研究成果,着重训练学生运用数学知识建立数学模型、解决实际问题的技能技巧,本书内容为:数学建模概论、初等模型、微分方程建模、优化模型、线性代数建模、离散模型、对策与决策模型、逻辑建模、随机模型。本书可供培养应用型人才的高等学校理工类学生选用,也可作为数学建模竞赛培训的教材。

    • ISBN:9787040144215
  • 稳定性和单纯性理论
    • 稳定性和单纯性理论
    • 史念东著/2004-6-1/ 科学出版社/定价:¥48
    • 本书从数理逻辑模型论的基本知识开始,介绍近年来在稳定性和单纯性理论中出现的新成果、新方法,并提供了相关练习。

    • ISBN:9787030126757
  • 数学模型
    • 数学模型
    • 洪毅、林建良、陶志穗/2004-4-1/ 高等教育出版社/定价:¥21.4
    • 本书是数学模型课程的教材。重点阐述:(1)如何从具体事物抽象出数学概念,有了解这种抽象只是一种近似,只反映具体事物的某些特性;(2)如何从复杂的实际问题中寻找最重要的因素;(3)如何既注意思考的逻辑性、严密性,又紧密结合实际情况;(4)如何将所得结果应用与实践、通过实践进一步改进模型。本书采取案例教学的形式,内容有数学

    • ISBN:9787040146981
  • 模型与算法
    • 模型与算法
    • 杨浩编著/2002-10-1/ 北方交通大学出版社/定价:¥18
    • 本书从系统模型构建与算法设计相结合的角度,阐述系统建模的基本原理和方法,介绍了主要的应用数学模型及其算法设计的基本方法等。

    • ISBN:9787810820844
  • 清华大学计算机系列教材:数理逻辑与集合论(第2版)
    • 清华大学计算机系列教材:数理逻辑与集合论(第2版)
    • 石纯一,王家廞 著/2000-12-1/ 清华大学出版社/定价:¥23
    • 数理逻辑与集合论是离散数学的主要组成部分,是计算机科学的数学基础。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章,前8章介绍数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论,后4章介绍集合论,包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(

    • ISBN:9787302040422
  • 数学模型(第二版)
    • 数学模型(第二版)
    • 任善强/1998-4-1/ 重庆大学出版社/定价:¥17
    • 本书详细介绍了数学模型的基本概念、各类数学模型的建立及其求解方法。书中涉及的模型有初等模型、微分方程模型、变分法模型、运筹学模型、图论模型、网络模型等。全书共分10章。

    • ISBN:9787562412274