#形式逻辑系统

面向对象建模 = 面向宾语建模 != 主语思维

22-08-28 939 2 1k

JavaScript和python不同写法。 “主语是什么”是一个重要的哲学课题。 . 详细

幽默:英语是自然Lambda的

22-08-08 836 1

上面这段长句子有这样特点:XXX.XX.Xxxx.XX 这种方式具有stream水流特点,这就是涉及到了下面两篇文章:组合用法有利于形成stream;静态工厂of也有利于形成stream。 而... 详细

什么是逻辑形式系统? - Sam

22-09-14 673 1 10k

为什么上学目的是为了辨别哪些理论是在胡说八道? 为什么数学家和物理学家可以在纸上写一些有趣的符号,对它们进行逻辑运算,产生一些新的有趣的符号排列,并确信这些新的符号实际上告诉他们一些关于宇宙的真实情... 详细

谷歌炒作人工智能的逻辑形式是什么?

22-06-13 543 1 1k

谷歌在2021年推出名叫LaMDA的人工智能聊天机器人,一种对话应用的语言模型。 在周末的一篇Medium文章中,公司工程师布莱克称LaMDA为 "一个人",说他与这个人工智能聊天机器人聊到了宗教... 详细

如何更好实现业务治理?

22-05-13 471 1 1k

业务治理需要一条自动化治理工具的途径,用于解释和消除自然语言和定义的歧义。 翻译成决策表或翻译成其他一些外来形式(例如编程语言)并不是一个有效的解决方案。 一个至少不以某种受控或结构化形式支持自然语... 详细

好的软件哲学家有哪些? - Hillel

22-10-01 118 1k

1、《Clojure元素》的作者,茨特尔曼 2、我自称计算机哲学家已经很多年了,所以我推荐richhickey和Jonathan_Blow   3、软件是基于实际的哲学,一阶谓词逻辑。我通过阅读实... 详细

什么是控制错觉?

22-09-28 164 1k

控制的错觉:是一种认知偏见,我们总是高估了我们对事件的控制程度。它描述了人类倾向于相信他们可以控制或至少影响结果,而事实上他们不能。 当受到控制偏见的错觉时,人们会觉得他们对环境的控制力比他们实际能... 详细

AI大型语言模型有逻辑推理能力吗? – TechTalks

22-07-16 555 1k

如果有更多的AI人员理解 逻辑推理和模式识别 之间的区别,很多废话就可以避免: 大型语言模型(LLM)是在大量文本上训练出来的深度学习模型,像GPT-3和LaMDA这样的大型语言模型能够在长篇文字... 详细

编程学习不同于编程语言的学习 - lancecourse

22-06-05 337 2k

我们都是程序员,我们也都是学习者。看到有多少人(学习者)在用头撞墙,以为自己在学习编程,真是令人惊讶。 你可能是在学习一种编程语言,而不是在学习编程本身 不要觉得奇怪,计算机科学并不研究计算机。相... 详细

数据的相关性或因果关系 - KDnuggets

22-05-12 305 2k

为什么苏打水和冰淇淋都与暴力有关?本文就人们所说的“相关性并不意味着因果性”给出了最终结论。 苏打水和冰激凌与暴力有关?人们还从数据中得出结论:吸烟、巧克力和卷曲的薯条对你有好处。为什么会这样呢?... 详细

Rust是如何用Rust编写的? - Reddit

22-04-25 376

我不是程序员,但是会看 Rust 的 github 存储库 ,我注意到它在右下角是如何写“Rust 97.8%”的,我认为这意味着 97.8% 的脚本是 Rust。这怎么可能? 回答: 只... 详细

什么是临床质量语言(CQL)?

22-03-18 855 1k

CQL(clinical-quality-language)是一种高级别的医疗保健领域特定语言,专注于临床质量,并针对医疗保健质量测量和决策支持工件创作。 CQL 已经成熟为一个能够表示以临床为中心... 详细

幽默:程序员做算术

22-03-18 271

问题:移动火柴使得等式成立 程序员的解决方案如下图: . 详细

共有 1491 2 3 4 ... 10 下一页