本书在建构型理论(CTT)的形式结构中发展了信息概念的哲学和逻辑解释,以一种与信息哲学的多种当代观点并行的方式。在此概念框架的基础上,提出了逻辑推导的解析性问题并提出了解决方案。

本文首先介绍了CTT的正式结构,特别关注了类型理论中被当前研究者忽视的一些主题。这个处理是特别为有哲学背景的逻辑学家制定的,但不忽略所有的技术和形式性质的完整制定。分析性的问题通过一个历史和理论导向的形式化被引入,从康德和博尔扎诺开始,随着它的发展,直到信息概念的引入,扩展了在当代Hintikka辩论中引入的一些研究线。信息的语义方法被重新考虑在一个建设性的方法认识论,导致知识系统的理论分析。这允许基于CTT的形式化的某些典型操作和Kripke模型的形式化属性的形式结构的表示,其中信息和知识的概念被定义为认识论上的不同。这些定义涉及到建构性认识论的扩展,为由验证的概念和相关的意义理论所决定的极其开放的问题提供了新的材料。

信息与知识为知识过程的建构性解释提供了一个有趣的新视角,表明了这种方法对认知问题的逻辑建模的可靠性,并从一个更重要的当代哲学视角提出了一个统一的框架。

https://www.springer.com/gp/book/9781402061691

成为VIP会员查看完整内容
0
26

相关内容

信息,指音讯、消息、通讯系统传输和处理的对象,泛指人类社会传播的一切内容。

这本最新的教科书是向数学、计算机科学、工程、统计学、经济学或商业研究的新学生介绍概率论和信息理论的一个极好的方式。它只需要基本的微积分知识,首先建立一个清晰和系统的基础: 通过对布尔代数度量的简化讨论,特别关注概率的概念。这些理论思想随后被应用到实际领域,如统计推断、随机游走、统计力学和通信建模。主题涵盖了离散和连续随机变量,熵和互信息,最大熵方法,中心极限定理和编码和信息传输,并为这个新版本添加了关于马尔可夫链和它们的熵的材料。大量的例子和练习包括说明如何使用理论在广泛的应用,与详细的解决方案,大多数练习可在网上找到。

https://www.cambridge.org/core/books/probability-and-information/26E513C2D4C7B8B0709FBAF95A233959#fndtn-information

成为VIP会员查看完整内容
0
28

《量子信息理论》这本书基本上是自成体系的,主要关注构成这门学科基础的基本事实的精确数学公式和证明。它是为研究生和研究人员在数学,计算机科学,理论物理学寻求发展一个全面的理解关键结果,证明技术,和方法,与量子信息和计算理论的广泛研究主题相关。本书对基础数学,包括线性代数,数学分析和概率论有一定的理解。第一章总结了这些必要的数学先决条件,并从这个基础开始,这本书包括清晰和完整的证明它提出的所有结果。接下来的每一章都包含了具有挑战性的练习,旨在帮助读者发展自己的技能,发现关于量子信息理论的证明。

这是一本关于量子信息的数学理论的书,专注于定义、定理和证明的正式介绍。它主要是为对量子信息和计算有一定了解的研究生和研究人员准备的,比如将在本科生或研究生的入门课程中涵盖,或在目前存在的关于该主题的几本书中的一本中。量子信息科学近年来有了爆炸性的发展,特别是在过去的二十年里。对这个问题的全面处理,即使局限于理论方面,也肯定需要一系列的书,而不仅仅是一本书。与这一事实相一致的是,本文所涉及的主题的选择并不打算完全代表该主题。量子纠错和容错,量子算法和复杂性理论,量子密码学,和拓扑量子计算是在量子信息科学的理论分支中发现的许多有趣的和基本的主题,在这本书中没有涵盖。然而,当学习这些主题时,人们很可能会遇到本书中讨论的一些核心数学概念。

https://www.cambridge.org/core/books/theory-of-quantum-information/AE4AA5638F808D2CFEB070C55431D897#fndtn-information

成为VIP会员查看完整内容
0
46

图论因其在计算机科学、通信网络和组合优化方面的应用而成为一门重要的学科。它与其他数学领域的互动也越来越多。虽然这本书可以很好地作为图表理论中许多最重要的主题的参考,但它甚至正好满足了成为一本有效的教科书的期望。主要关注的是服务于计算机科学、应用数学和运筹学专业的学生,确保满足他们对算法的需求。在材料的选择和介绍方面,已试图在基本的基础上容纳基本概念,以便对那些刚进入这一领域的人提供指导。此外,由于它既强调定理的证明,也强调应用,所以应该先吸收主题,然后对主题的深度和方法有一个印象。本书是一篇关于图论的综合性文章,主题是有组织的、系统的。这本书在理论和应用之间取得了平衡。这本书以这样一种方式组织,主题出现在完美的顺序,以便于学生充分理解主题。这些理论已经用简单明了的数学语言进行了描述。这本书各方面都很完整。它将为主题提供一个完美的开端,对主题的完美理解,以及正确的解决方案的呈现。本书的基本特点是,概念已经用简单的术语提出,并详细解释了解决过程。

这本书有10章。每一章由紧凑但彻底的理论、原则和方法的基本讨论组成,然后通过示例进行应用。本书所介绍的所有理论和算法都通过大量的算例加以说明。这本书在理论和应用之间取得了平衡。第一章介绍图。第一章描述了同构、完全图、二部图和正则图的基本和初等定义。第二章介绍了不同类型的子图和超图。本章包括图形运算。第二章还介绍了步行、小径、路径、循环和连通或不连通图的基本定义。第三章详细讨论了欧拉图和哈密顿图。第四章讨论树、二叉树和生成树。本章深入探讨了基本电路和基本割集的讨论。第五章涉及提出各种重要的算法,在数学和计算机科学中是有用的。第六章的数学前提包括线性代数的第一个基础。矩阵关联、邻接和电路在应用科学和工程中有着广泛的应用。第七章对于讨论割集、割顶点和图的连通性特别重要。第八章介绍了图的着色及其相关定理。第九章着重介绍了平面图的基本思想和有关定理。最后,第十章给出了网络流的基本定义和定理。

成为VIP会员查看完整内容
0
72

这本书的目的是介绍计算机科学家所需要的一些基本数学知识。读者并不期望自己是数学家,我们希望下面的内容对你有用。

成为VIP会员查看完整内容
0
73

近年来,图论已经成为一个重要的数学工具在广泛的学科,从运筹学和化学到遗传学和语言学,从电气工程和地理学到社会学和建筑学。与此同时,它本身也成为一门有价值的数学学科。鉴于此,有必要编写一份廉价的关于这一主题的介绍性文本,既适合学习图论课程的数学家,也适合希望尽快学习这一主题的非专业人士。我希望这本书能在某种程度上满足这一需求。阅读它的唯一先决条件是初等集合理论和矩阵理论的基本知识,尽管抽象代数的进一步知识需要更困难的练习。

这本书的内容可以很方便地分为四部分。第一部分(1-4章)提供了一个基本的基础课程,包括图的定义和例子,连通性,欧拉和哈密顿路径和循环,以及树。接下来是关于平面性和着色的两章(第5章和第6章),特别提到了四色定理。第三部分(第7章和第8章)讨论有向图理论和截线理论,以及在关键路径分析、马尔可夫链和网络流中的应用。书的最后一章是关于matroids的(第9章),这一章将前几章的材料联系在一起,并介绍了一些最近的发展。

成为VIP会员查看完整内容
0
45

本书旨在介绍大数据处理的一些定义、方法、工具、框架和解决方案,从信息提取和知识表示的过程开始,通过知识处理和分析,再到可视化、意义构建和实际应用。本书的每一章都讲述了数据处理链的一些相关方面,特别关注于理解企业知识图、语义大数据架构和智能数据分析解决方案。这本书是针对研究生从技术学科,专业观众继续教育短期课程,并研究人员从不同的领域自学课程。具备计算机科学、数学和统计学的基本技能。

https://www.springer.com/gp/book/9783030531980

成为VIP会员查看完整内容
0
79

这些笔记的第一个版本是为第一年的研究生代数课程编写的。和大多数这类课程一样,讲义集中在抽象群,特别是有限群。然而,大多数数学家遇到的群并不是抽象的群,而是代数群、拓扑群或李群,而且感兴趣的不仅仅是群本身,还有它们的线性表示。我的意图是(将来的某一天)扩展笔记以考虑到这一点,并制作一本规模适中(c200页)的书,为数学、物理和相关领域的刚开始学习的研究生提供更全面的关于群论的介绍。

成为VIP会员查看完整内容
0
78

在复杂的以人为中心的系统中,每天的决策都具有决策相关信息不完全的特点。现有决策理论的主要问题是,它们没有能力处理概率和事件不精确的情况。在这本书中,我们描述了一个新的理论的决策与不完全的信息。其目的是将决策分析和经济行为的基础从领域二价逻辑转向领域模糊逻辑和Z约束,从行为决策的外部建模转向组合状态的框架。

这本书将有助于在模糊逻辑,决策科学,人工智能,数学经济学,和计算经济学的专业人员,学者,经理和研究生。

读者:专业人士,学者,管理者和研究生在模糊逻辑,决策科学,人工智能,数学经济学,和计算经济学。

成为VIP会员查看完整内容
0
159

这本全面的教科书向读者介绍了博弈论的主要思想和应用,以一种结合了严谨性和可达性的风格。Steven Tadelis从对理性决策的简明描述开始,接着讨论了具有完全信息的策略性和广泛的形式博弈、贝叶斯博弈和具有不完全信息的广泛的形式博弈。他涵盖了一系列的主题,包括多阶段重复博弈、讨价还价理论、拍卖、寻租博弈、机制设计、信号博弈、信誉构建和信息传递博弈。与其他博弈论书籍不同,这本书从理性的概念开始,通过诸如主导策略和理性化等概念,探讨其对多人决策问题的影响。只有这样,它才提出了纳什均衡及其导数的问题。

《博弈论》是高等本科和研究生的理想教材。在整个过程中,概念和方法是解释使用真实世界的例子支持精确的分析材料。这本书有许多重要的应用经济学和政治学,以及大量的练习,集中在如何正式的非正式情况,然后分析他们。

介绍博弈论的核心思想和应用 包含静态和动态博弈,包含完整和不完整的信息 提供各种各样的例子、应用程序和练习 主题包括重复博弈、讨价还价、拍卖、信号、声誉和信息传输 适合本科及研究生 为教师提供完整的解决方案,为学生提供精选的解决方案

成为VIP会员查看完整内容
0
128

这本基础专著介绍了信息理论和编码的概率和代数方面。它是由作者在本科阶段多年的教学经验发展而来的,包括几门剑桥大学的数学三等奖课程。这本书提供了相关的背景材料,广泛的工作示例和明确的解决方案的问题,从真正的考试试卷。对于本科生和研究生,或者对于想要掌握基本原理的研究人员和工程师来说,这是一种很有价值的教学辅助手段。

成为VIP会员查看完整内容
1
101
小贴士
相关主题
相关VIP内容
专知会员服务
46+阅读 · 8月4日
专知会员服务
72+阅读 · 8月2日
专知会员服务
73+阅读 · 7月27日
专知会员服务
45+阅读 · 7月2日
专知会员服务
79+阅读 · 2月2日
专知会员服务
78+阅读 · 2020年6月25日
专知会员服务
159+阅读 · 2020年6月24日
相关论文
CSKG: The CommonSense Knowledge Graph
Filip Ilievski,Pedro Szekely,Bin Zhang
16+阅读 · 2020年12月21日
Heterogeneous Relational Reasoning in Knowledge Graphs with Reinforcement Learning
Mandana Saebi,Steven Krieg,Chuxu Zhang,Meng Jiang,Nitesh Chawla
8+阅读 · 2020年3月12日
Aidan Hogan,Eva Blomqvist,Michael Cochez,Claudia d'Amato,Gerard de Melo,Claudio Gutierrez,José Emilio Labra Gayo,Sabrina Kirrane,Sebastian Neumaier,Axel Polleres,Roberto Navigli,Axel-Cyrille Ngonga Ngomo,Sabbir M. Rashid,Anisa Rula,Lukas Schmelzeisen,Juan Sequeda,Steffen Staab,Antoine Zimmermann
79+阅读 · 2020年3月4日
Representation Learning with Ordered Relation Paths for Knowledge Graph Completion
Yao Zhu,Hongzhi Liu,Zhonghai Wu,Yang Song,Tao Zhang
6+阅读 · 2019年9月26日
Domain Representation for Knowledge Graph Embedding
Cunxiang Wang,Feiliang Ren,Zhichao Lin,Chenxv Zhao,Tian Xie,Yue Zhang
9+阅读 · 2019年9月11日
Liang Yao,Chengsheng Mao,Yuan Luo
8+阅读 · 2019年9月11日
Shikhar Vashishth,Prince Jain,Partha Talukdar
3+阅读 · 2019年2月1日
Hongwei Wang,Fuzheng Zhang,Miao Zhao,Wenjie Li,Xing Xie,Minyi Guo
12+阅读 · 2019年1月23日
Daniel Oñoro-Rubio,Mathias Niepert,Alberto García-Durán,Roberto González,Roberto J. López-Sastre
9+阅读 · 2018年3月31日
Wenhan Xiong,Thien Hoang,William Yang Wang
18+阅读 · 2018年1月8日
Top