#逻辑
Logic, Explainability and the Future of Understanding (2018)(writings.stephenwolfram.com)
2021-6-7 1:25逻辑是许多事情的基础。但逻辑本身的基础是什么？
在符号逻辑中，一个引入p和q这样的符号，以代表语句（或“命题”），如“这是一个有趣的文章”。然后，一个具有某些“逻辑规则”，类似于任何P和任何Q，而不是（P和Q）与（不是P）或（不是Q）相同。
但这些“逻辑规则”来自哪里？好吧，逻辑是一个正式的系统。而且，与Eucl......
2021-4-8 14:0
下载PDF摘要：对最先进的机器学习的常见批判包括差不多的可言论，缺乏可解释性，需要大量的数据。我们调查了最近在归纳逻辑编程（ILP）的工作，机器学习的变形，诱导来自数据的逻辑程序，在解决这些限制时已经出现了出现的逻辑程序。我们专注于从少数示例中概括的学习程序的新方法，从使用手制作的背景知识转移到\ emph {学习}......
Why Learn Haskell?(crypto.stanford.edu)
2021-3-1 19:3问一个为什么？问题意味着我们想被告知一个原因。但是我们会接受任何理由吗？似乎没有，因为如果有足够的答案，那么答案就无关紧要了，那为什么还要打扰呢？
因此，我们问题的答案应该是一个很好的理由。但是什么是善良理由？
黄金标准是合乎逻辑的原因。即，答案应从可接受的前提开始，对它们应用一般规则，并得出结论。
前两个......
Making Optical Logic Gates Using Interference(www.youtube.com)
2021-1-16 21:28
在本视频中，我探讨了使用光学干涉从概念上和实践上构造不同种类的逻辑门的想法。
2021-1-1 8:10
1969年，高密度MOS集成电路仍然是新事物，并且以多种方式构造逻辑电路。一种技术是＆＃34;四相逻辑＆＃34;它提供了十倍于标准逻辑门的速度和密度。同时使用1/10的功率。 1四相逻辑的一个显着应用是计算器.1969年，夏普（Sharp）推出了首款由高密度MOS芯片QT-8D构建的计算器，随后是世界上最小的手持式E......
Flappy Bird in 228 Bytes(gist.github.com)
2020-11-30 17:10
看起来您可以通过将逻辑AND和OR替换为按位版本来节省三个字节：data：text / html， z.fillStyle = M; c.onclick = _ => M = 9; M = S = p = 0; Y = E = 200; setInterval（_ => {！p &&（p = W，P = E * Ma......
Finite of Sense and Infinite of Thought(pron.github.io)
2020-10-18 17:0
上帝发明并给了我们最终的视力，使我们可以看到天堂里的智慧进程，并将它们应用到我们自己的智力进程中，这些进程与它们相似，是不受干扰的；而我们学习这些进程，分享理性的自然真理，就可以模仿上帝绝对正确的进程，并规范我们自己的变幻莫测。同样的道理也适用于言语和听觉：它们被诸神赋予了相同的目的和相同的理由。因为这是讲话的主要目......
2020-9-9 0:14
这些消息传出之前，Airbnb再次私下提交了IPO申请，Unity、Asana、Snowflake以及我们今天工作的关键公司相扑逻辑(Sumo Logic)和JFrog也公开了IPO申请。
该交易所探索初创企业、市场和资金。你可以每天早上在Extra Crunch上阅读它，或者每周六获得Exchange时事通讯。
与......
2020-9-6 18:12
下载PDF摘要：本文首次使用图神经网络(GNN)进行高阶证明搜索，并证明了GNN可以改善该领域最先进的结果。交互式的高阶定理证明器允许大多数数学理论的形式化，并已被证明对深度学习构成了巨大的挑战。高阶逻辑具有很强的表现力，尽管它结构良好，语法和语义定义清晰，但仍然没有成熟的方法将公式转换为基于图形的表示。在这篇文章中......
2020-8-29 16:19
在分析网络安全事件时，检测算法根据布尔表达式评估属性，以确定事件是否属于类。本文介绍如何将布尔表达式转换为有限状态机，以实现更简单、高性能的计算。
开源项目CyberProbe就是这种实现的特色。在Python中实现了规则到有限状态机(FSM)的转换和FSM形式规则的应用。CyberProbe支持使用数百万条规则，这......
Modelling Business Logic as Data(morphir.finos.org)
2020-8-27 2:33Morphir是一个基于数据格式的多语言系统，它以与技术无关的方式捕获应用程序的域模型和业务逻辑。拥有所有可用的业务知识作为数据，您可以通过各种方式对其进行编程处理：
虽然Morphir背后的核心理念非常简单，但要描述它仍然具有挑战性，因为它不适合任何众所周知的类别。为了帮助您了解它是什么，以及如何使用它来解决实际问......
2020-8-23 5:12
Intel8086处理器于1978年推出，开创了现代计算的进程。虽然x86处理器家族几十年来一直支持64位处理，但最初的8086是16位处理器，因此它具有16位算术逻辑单元(ALU)。1算术逻辑单元是处理器的心脏：它执行加法和减法等算术运算，也执行布尔逻辑运算，如按位AND和OR，以及位移位和旋转。由于快速的ALU对......
Linear Logic Flavoured Composition of Petri Nets(golem.ph.utexas.edu)
2020-7-30 0:11Petri网是一种系统的数学模型，在该系统中，进程在被激活时消耗一些资源并产生另一些资源。它们可以用来对商业流程、化学反应、基因激活或并行计算等许多方面进行建模。定义Petri网的范畴模型有不同的方法，如Petri网是幺半群、有边界网、开Petri网等。
这是2020年应用范畴论的第一篇文章，介绍了Carolyn B......
Logic, Before ICs(northcoastsynthesis.com)
2020-6-21 23:34
所以，你需要在合成器中有一个简单的数字逻辑功能。也许它是一个与门，或者几个异或，也许和移位寄存器一样多。你将如何建造它？
今天，仅仅附加一个微控制器芯片通常是有意义的。它们物美价廉，用途广泛。同样的微控制器可以被编程用于多种不同的目的，所以你可以只保留几种类型的库存，大量购买，这样就可以降低成本。如果你需要更高的速度......
Basics of Pneumatic Logic(www.hydraulicspneumatics.com)
2020-6-16 8:45这个网站正在使用一个安全服务来保护自己免受在线攻击。该服务需要完全的Cookie支持才能查看网站。
Logic Gates in JavaScript(ahuth.github.io)
2020-5-19 7:7查尔斯·佩佐德(Charles Petzold)的“代码”(Code)是从头开始构建计算机的迷人之处。从第11章开始，介绍创建逻辑门。这些可用于(除其他外)将数字相加在一起。
我的第一个想法是试着自己做一些这样的东西。然而，我不知道从哪里获得必要的补给，也不知道如何焊接。我甚至不确定是否需要焊接(或者如何拼写焊接)。......
Insignificant Choice Polynomial Time(arxiv.org)
2020-5-13 6:15下载PDF摘要：在20世纪80年代后期，Gurevich猜测没有逻辑捕获PTIME，其中逻辑必须以非常一般的方式理解，包括结构同构类上的计算模型。在这篇文章中，我们首先证明Gurevich的猜想是错误的。为此，我们扩展了Blass，Gurevich和Shelah在{eM无选择多项式时间}(CPT)上的半研究，它利用支......
2020-5-13 5:15
1957年，雷蒙德·斯穆利安(Raymond Smullyan)还是普林斯顿大学(Princeton University)的博士生，师从一位理论计算机科学的创始人，他偶尔会访问纽约市。在其中一次访问中，他遇到了一位“非常迷人的女音乐家”，在他们的第一次约会中，不可救药的调情者斯穆利安进行得非常合乎逻辑-而且鬼鬼祟祟......
LPS: Logic Production Systems(lps.doc.ic.ac.uk)
2020-5-5 20:57LP的目标是弥合逻辑和命令式计算机语言之间的差距，方法是执行生成模型的操作，以使逻辑规则形式的目标-如果是先行的，那么结果是真的-是真的。模型生成是一项全局命令，它会在前提条件变为真时生成命令来使结果为真。
LP还包括逻辑形式结论IF条件的信念。信仰除了其逻辑解释外，还有一种势在必行的解释为程序，它通过做出或确定一个......