符号推理与形式逻辑

     

什么是反对称关系?

11

反对称关系是集合上的一种二元关系,其中在一个方向上彼此相关的任何两个不同元素不能在相反方向上相关。例如,考虑整数集合上的关系“小于或等于”(≤)。这种关系是反对称的,因为如果 a ≤ b且b ≤ a,.

《自然》:如何更有效学习计算机编程?

39

计算机程序员在阅读代码时对形式和含义上的违规行为表现出独特的、依赖于专业知识的大脑反应。随着计算机编程在劳动力中的地位越来越重要,人们对如何有效学习计算机编程的更好模型的需求也越来越明显。本研究通过记.

陶哲轩:好的数学

44 4K

数学纯粹是逻辑性的!但数学的教学、它的价值、它的用途和它的运作方式充满了细微差别。那么什么是“好”数学呢?作为菲尔兹奖、数学突破奖和麦克阿瑟奖学金的获得者陶哲轩是当今最受尊敬、最多产的数学家之一。他与.

黄仁勋:不要学习编码

204 1 2K

不要学习编码:Nvidia 创始人黄仁勋建议走一条不同的职业道路英伟达(Nvidia)是一家由老牌显卡公司转型为人工智能巨头的公司,去年加入了 1 万亿美元估值俱乐部,随着 ChatGPT 等大型语言.

形式验证的历史和方法

26 3K

这篇文章主要介绍了形式验证领域的历史和数学起源,涉及了形式推理的历史演变、可证明的递归函数、逆向数学和构造性数学中的类型论。文章还提到了形式验证对编程语言理论的影响,包括类型系统的发展和依赖类型语言的.

谷歌Gemini 1.5:长上下文窗口意味着什么?

94 1 2K

Google DeepMind 团队如何创建迄今为止任何大型基础模型中最长的上下文窗口。 Gemini 1.5 模型的创新之一是其长上下文窗口,可以处理多达 100 万个令牌的原始数据。 长上下文窗口.

实现符号逻辑推理的最佳方法是什么?

37 2K

这篇文章描述了在人工智能领域工作的人所经历的个人启示,特别是在LSTMS(长短期记忆)和GRUS(门控递归单元)等机器学习模型的背景下。这是一个简化的解释想象一下,你正试图教计算机理解和使用基本逻辑,.

空间结构性胜过时间性

58

这篇文章讨论了在项目开发中,人们通常关注时间节点,但作者认为应该更关注项目的结构。文章指出,项目的结构和复杂度对于解决问题至关重要,而人们往往忽视了这一点。作者提出了“自然选择我们的最后期限”的观点,.

Reddit网友分享高效代码评审

84

做软件工程师已经 4 年多了。昨天,我终于体验到了我们都渴望得到的启迪。我收到了一位资深工程师同事的代码审查请求,大约有 15 个文件和 300 行代码。我在大约 5 分钟内完成了审核,并提出了修改要.

系统设计中的限制性与灵活性

154 2 5K

集合论中的罗素悖论以及软件系统设计中过度宽容规则的问题。 罗素悖论揭示了集合论中的自指矛盾,表明过度宽容的规则可能导致难以处理的边缘情况。 软件系统中的过度宽容规则也可能引发意想不到的问题,挑战系统的.

数学基于逻辑还是逻辑基于数学?

46

现在我们知道所有物理定律都是数学方程,反之亦然这意味着物理学是基于数学的现在的问题是“是所有数学方程都被视为逻辑论证/公式,还是所有逻辑论证/公式都被视为数学?”即哪一个是基于另一个的?=======.

逻辑学与算法和数据结构的关系

32

每个好主意都会被发现两次:一次被逻辑学家发现,一次被计算机科学家发现。这句话的背后可能有几个原因:问题的普遍性: 有些问题或挑战是跨学科的,涉及多个领域的知识。一个好的解决方案可能需要不同领域的专业知.

如何培养多层次上下文视角?

237 2 3K

最近,我与一位员工以上级别的工程师聊天,他一直在努力影响他的同行:每次他建议一种新方法时,组织中的其他同事却不同意,并予以回击。他希望得到我的建议,为什么他的同事总是破坏他的方法?聊天结束后,我又与他.

算法和流程图之间的区别

83 3K

在计算机科学和编程领域,解决问题是每项挑战的核心。无论是编写简单的程序还是开发复杂的软件,拥有系统的方法都非常重要。这就是算法和流程图发挥作用的地方。算法提供分步指令,而流程图直观地表示这些指令的逻辑.

如何从头开始开发算法 | 培养算法思维

94

算法是用于解决问题的分步指令。发展算法思维有助于将复杂问题分解为更小的问题,然后解决更小的问题并将它们组合起来为该复杂问题提供解决方案。通过解决难题来发展算法思维: 解决谜题和脑筋急转弯有助于增强逻辑.

动态规划 (动态编程DP) 教程

109 11K

动态规划(Dynamic Programming :DP、动态编程 、动态程序设计)被定义为一种在多项式时间内解决某些特定类型问题的技术。动态规划解决方案比指数暴力法更快,并且可以轻松证明其正确性。动.

幽默:律师是自然语言的程序员

82

少数律师是非常好的自然语言程序员,使用自然语言编程写文章的程序员。律师需要写一份100多页的复杂的商业合同,必须大体保证逻辑上一致性,有几十个定义的术语,以及所有相互关联的章节和子章节。他们都以写精确.

谷歌DeepMind首次借助大模型用代码解决了数学难题

93

在今天发表在《自然》杂志上的一篇论文中,研究人员表示,这是第一次使用大型语言模型来发现数学难题。FunSearch,之所以叫 FunSearch,是因为它能搜索数学函数,而不是因为它很有趣fun,fu.

语文+数学:语言符号可实现嵌入、向量和算术操作

72 1

嵌入是对一段文字(如单词、句子或段落)的表示。传统上,这个值以数学向量的形式存在,即空间中的一个点。你可以把它想象成地图上的坐标,而地图恰好有很多很多维度。一旦生成了这些嵌入,你就可以对任何向量集进行.

认知中概念思维与创建抽象两个能力比较

116 1

软件开发有两个重要点:编写代码与逻辑方法来自于两种认知能力:概念思维(战略思维)创建抽象(量化思维)事实上,很多人可以做到第一个而不是第二个,这也解释了设计模式的流行。概念思维和创建抽象都是认知过程,.

形而上学真的有用吗?

128 2K

我是一名工程专业学生,花了大量时间学习物理和数学。青少年时期,我花了很多时间思考形而上学的问题,比如 "为什么有而不是无","宇宙遵循的基本规律是什么",但随着年龄的增长,我开始相信这些问题都是在浪费.

幽默:像物理学家一样做数学

295
解释: 1+1=3 ?如何用加法计算? 添加一个权重或上帝参数1即可 现在你可以真正像物理学家做数学 物理学家的还原论 正受到来自复杂系统的涌现挑战! .

逻辑错误:定义主义谬误

82

定义主义谬误(Definist Fallacy):使用带有偏见或自以为是的定义来进行论证。定义一个术语,使其对自己友好,或对对方不友好,不留任何质疑定义或考虑替代方案的余地。逻辑形式: A 有定义 X.

差分机和分析机

187 2K

计算时代的发展有着丰富的历史,许多发明和创新导致了尖端计算机的诞生。差分机和分析机这两种机器是由英国数学家和发明家查尔斯·巴贝奇 (Charles Babbage) 在十九世纪发明的。虽然这些机器有一.

什么是知识工程?

144 2K

以一阶逻辑构建知识库的过程称为知识工程。在知识工程中,研究特定领域、学习该领域的重要概念并生成对象的形式表示的人被称为知识工程师。知识工程(KE)是指构建、维护和使用基于知识的系统所涉及的所有技术、科.

Pickcode:教孩子们编码的新视觉语言

246

Pickcode 通过视觉课程、聊天机器人、游戏和绘图来教授编程。Pickcode 是一种新的语言和编辑器,可以直观地指导用户编写代码来制作聊天机器人、动画图画和游戏。Pickcode 旨在让用户在学.

分布式系统中的乐观和错误假设

258 1 2K

避免协调是让我们构建的分布式系统超越单机性能的一个基本要素。当我们构建避免协调的系统时,我们最终构建的组件会假设其他组件在做什么。这一点也很重要。如果两个组件不能在每一步操作后都互相检查,那么它们就需.

什么是L-系统?

116

林登马耶系统(Lindemayer :LSystem 、L-系统)是一种形式语法,用于模拟生物系统的生长过程。用于生成分形图案、植物结构和其他自相似图像。林登马耶系统由符号字母表、将每个符号扩展为更大.

什么是一阶逻辑?

180 2K

一阶逻辑(FOL)是指句子或陈述的谓词只能指单个主语Subject的逻辑。一阶逻辑也称为谓词逻辑或一阶谓词逻辑,它不但能以更简便的方式表达对象信息,还能表达这些对象之间的关系。一阶逻辑(像自然语言一样.

抽象两种方法:上下文与类型

322 2 3K

“抽象”的中文意思是“抽出象形”。奥妙就在于实现手段有很多,也是创新所在,这里比较三种手段:首先是中文字面意思上的“抽象”:抽出象形,中国文化谓之为神,例如中国水墨国画,还有古诗词:“窗前明月光疑是地.