收藏本站  |  常见问题  |  登陆  |  注册
当前位置 > 首页 > 书籍列表
数学 > 离散数学&数理逻辑
25 条记录 1/3 页 下一页  1  2   3 

《数学无穷与中介的逻辑基础》

  • 【作者】:朱梧槚
  • 【出版日期】:2012-06
  • 【定价】:¥68
  • 本书是一部研究型的原创著作,全书分6章和1个附录.第1、2两章讨论经典与非经典数学的基础问题,其核心主题是介绍中介数学.第3章严格定义了潜无限、实无限和基础无限,并研讨了无穷集合的相容性问题.第4章建立了潜无限数学系统.第5章讲述如何改造传统造集观念.第6章和附录给出了古今数学物理危机中相关一流问题的解决方案.

    《代数模型论引论》

  • 【作者】:史念东 著
  • 【出版日期】:2011-10
  • 【定价】:¥45
  • 本书是代数模型论的一本入门书. 第一章介绍代数模型论所需要的模型论的基础知识. 第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主要研究成果和研究方法, 其中包括代数闭域、实闭域、线性序和偏序结构的模型论等. 最后一章介绍可计算模型论. 本书起点较低, 具备数学系二、三年级知识的读者即可阅读, 并具自完备性, 以方便阅读. 本书终点较高, 可引导具有数理逻辑基础知识的读者进入国际上的研究前沿. 各章末均附有习题, 以助读者深入理解本书内容.

    《信息系统安全风险估计与控制理论》

  • 【作者】:王祯学,周安民,方勇,欧晓聪 著
  • 【出版日期】:2011-06
  • 【定价】:¥45
  •   本书将信息论、系统论、控制论以及博弈论的基本思想和方法综合应用于研究信息系统安全风险的识别与分析、评估与控制、信息对抗等问题上,从跨学科研究的角度出发,采用定性分析和定量分析相结合的方法,得到一系列新的理论研究成果,对信息安全的学科建设和工程实践都很有学术参考价值。   本书可以作为高等院校信息安全、计算机应用、网络通信、电子工程等专业高年级大学生和研究生的教材,也可供广大科技工作者参考。

    《相识数学逻辑》

  • 【作者】:黄忠裕,赵焕光 著
  • 【出版日期】:2010-08
  • 【定价】:¥38
  •   本书从人文的视野、逻辑的观点、数学的特色入手,用通俗的语言、生动的例子(包括小故事),介绍以中学数学知识为主要载体的数学中的逻辑基础知识,以及逻辑在数学中的应用。主要内容包括:逻辑中的概念与数学概念、逻辑中的命题与数学命题、逻辑中的推理与数学推理、逻辑中的论证与数学证明,最后一部分简介逻辑规律、逻辑缺口及辩证逻辑等相关知识。   本书适合数学教育专业硕士生、数学应用专业硕士生、大学数学系在读本科生、中学智优生、中学数学教师、高校相关专业的数学教师阅读参考,也可作为数学教育硕士专业及数学师范…

    《组合学笔记》

  • 【作者】:康庆德 著
  • 【出版日期】:2009-05
  • 【定价】:¥65
  •   本书系统阐述组合学的经典理论和方法,详细介绍了递归关系、母函数、容斥原理等计数工具以及整数分拆、Hall定理和Ramsey理论,着重介绍了几类重要的组合数和Pólya理论,并对线性不定方程、组合恒等式、图标号、幻方以及铺砌、覆盖与剖分等给出了相当的论述。全书深入浅出、条理清晰、结论严谨,具有一定的广度和深度,并选用了适量的趣味问题和应用实例,列出了一些前沿性结论和有待探讨的问题。   本书可作为数学与应用数学专业的高年级本科生、研究生及教师的教材或教学参考书,也可供相关专业的科研人员或广大…

    《数理逻辑引论与归结原理》

  • 【作者】:Guo-Jun Wang,Hong-Jun Zhou 著
  • 【出版日期】:2009-04
  • 【定价】:¥78
  • Introduction to Mathematical Logic Resolution Principle,Second Edition,in nine chapters,discusses Boolean algebra theory,propositional calculus and predicated calculus theory, resolution principle theory and the latest theory of multivalue logic. The…

    《有向图的理论、算法及其应用》

  • 【作者】:[丹]J.邦詹森 ,[英]G.古廷姚兵,张忠辅 著
  • 【出版日期】:2009-01
  • 【定价】:¥99
  •   本书作者从近30年关于有向图理论研究的数千篇论文中精选了具有理论意义、重要算法及其实际应用的结果,涵盖了有向图理论中从最基本到较为高深的重要专题.主要内容有:有向图的基本知识和理论、连通性、图的定向、网络流、哈密尔顿性的深入研究、有向图的路和圈、子模流、竞赛图的推广以及有向图的推广、Menger定理和NP完全问题等。书中介绍了有向图研究中数十个未解决的问题和猜想,尽可能为读者在主要方向上提供最新的研究成果。对于计算机科学领域的学者来说,书中的大量算法以及实际应用的例子提供了难得的帮助。此外,…

    《模糊逻辑及其代数分析》

  • 【作者】:张小红 著
  • 【出版日期】:2008-07
  • 【定价】:¥58
  •   本书论述模糊逻辑形式化系统及相关代数结构问题,主要是作者近年研究工作的总结,同时也介绍了与之相关的国内外众多学者的最新成果。全书共7章,涉及互相关联的4个部分的内容:基础知识(包括t-模、伪t-模与剩余格的基本概念与基本理论);基于t-模的可换模糊逻辑研究(包括模糊命题逻辑系统BL,&*,MTL,UL*,RSL等);基于伪t-模的非可换模糊逻辑研究(包括非可换模糊命题逻辑系统PL,psBL,psMTL,PL*,PUL*等);BCK/BIK+逻辑及源于非经典逻辑的代数结构的系统研究。   本…

    《错误逻辑》

  • 【作者】:郭开仲 著
  • 【出版日期】:2008-07
  • 【定价】:¥88
  •   本书在经典数理错误逻辑、模糊数理错误逻辑、辩证数理错误逻辑的基础上,为描述错误传递、转化的方式和规律而建立了六个转化联结词——相似转化联结词、增加转化联结词、分解转化联结词、毁灭转化联结词、置换转化联结词、单位转化联结词及其相应的逆转化联结词,阐述它们自身、相互之间及其与外延联结词、内涵联结词、个体联结词的运算规律,介绍错误命题逻辑的概念及其联结词、真值表、逻辑范式和有效的推理方法,以及数理错误谓词逻辑的概念及其参数、个体词、量词、谓词等的语意结构、语意解释、联结词、真值表、逻辑范式和有效的…

    《信息超图理论》

  • 【作者】:Jianfang Wang 著
  • 【出版日期】:2008-06
  • 【定价】:¥48
  •   This book introduce the hypergraph theory which come from database theory. Main contents are property of acyclic hypergraph and properties of cycle structure of hypergraph. The cycle axiom constitutes the foundation of the theory. The cycle axiom d…
    25 条记录 1/3 页 下一页  1  2   3 
    友情链接   |     我要投稿    |     购书流程
    温馨提示:你我安全网中的软件,资料文章,图片全来自互联网如侵犯到作者权力与利益请联系客服,谢谢!