关于我们
书单推荐                   更多
新书推荐         更多
当前分类数量:246  点击返回 当前位置:首页 > 中图法 【O14 数理逻辑、数学基础】 分类索引
  • 数学模型(第二版)
    • 数学模型(第二版)
    • 任善强/1998-4-1/ 重庆大学出版社/定价:¥17
    • 本书详细介绍了数学模型的基本概念、各类数学模型的建立及其求解方法。书中涉及的模型有初等模型、微分方程模型、变分法模型、运筹学模型、图论模型、网络模型等。全书共分10章。

    • ISBN:9787562412274
  • 模型论基础
    • 模型论基础
    • 王世强著/1987-8-1/ 科学出版社/定价:¥118
    • 内容有:紧致性定理,省略型定理,内插定理,完全理论与模型完全理论,初等链,超积,模型论力追法,饱和模型等,并附有模型论方法对经典数学应用的一些例子

    • ISBN:9787030059956
  • 数理逻辑基础(下册)
    • 数理逻辑基础(下册)
    • 胡世华,陆钟万著/1982-8-1/ 科学出版社/定价:¥98
    • 本书共六部分,分上、下两册。下册包括第三、四、五章和两个附录。第三章陈述逻辑演算的重言式系统,并研究自然推理系统和重言式系统的关系。第四章研究逻辑演算的可靠性和完备性问题。笫五章讨论了逻辑演箅如何应用于陈述具体的数学理论,并且研究了在数学中引进定义的形式化问题。附录(一)陈述带量词的命题逻辑;附录(二)定义了斜形证明,

    • ISBN:9787030464224
  • 数理逻辑基础(上册)
    • 数理逻辑基础(上册)
    • 胡世华,陆钟万著/1981-1-1/ 科学出版社/定价:¥98
    • 本书共六部分,分上、下两册.上册包括绪论、第一章和第二章.绪论对数理逻辑的性质,逻辑演算的大概内容.以及阅读以后各章所需要的预备知识作了简要的说明.第一章构造命题逻辑和一阶逻辑的形式系统,介绍演绎逻辑的基本规则.第二章研究逻辑演算的重要系统特征

    • ISBN:9787030464217
  • 逻辑与演绎科学方法论导论
    • 逻辑与演绎科学方法论导论
    • (波)塔尔斯基(Afred Tarski)著;周礼全,吴允曾,晏成书译/1963-1-1/ 商务印书馆/定价:¥21
    • 本书是一本数理逻辑的入门书,全书共分两部分共十章节,具体包括:论变项的用法、论语句演算、类的理论、论演绎方法、关于所构造的理论的方法论的讨论等。

    • ISBN:9787100005203
  • 数学建模简明教程
    • 数学建模简明教程
    • 孙世良,戴朝寿,李贤彬 著/1900-1-1/ 高等教育出版社/定价:¥41
    • 本书共有七章,包括:数学建模概述、初等建模方法与初等模型、微分方程模型、运筹学模型、随机性模型、统计建模方法和中学数学建模。第二章和第七章用初等数学方法建模,第三章至第六章用高等数学方法建模。书中案例丰富,分析过程和解题步骤细致。全书纸质内容与数字课程一体化设计,紧密结合。数字课程包含基础知识、数学家小传、拓展阅读、数

    • ISBN:9787040535433