「语法和语义之间的相互作用是形式语言研究的核心。」- 戴纳·斯科特经典语录

"

语法和语义之间的相互作用是形式语言研究的核心。

戴纳·斯科特 戴纳·斯科特
💡 解读： The interplay between syntax and semantics is central to the study of formal languages.
🏷️ 标签： 研究 语言 核心
👤 更多 戴纳·斯科特 经典语录 10句
逻辑是所有数学推理的基础。
戴纳·斯科特 戴纳·斯科特
The concept of infinity is both fascinating and perplexing.
戴纳·斯科特 戴纳·斯科特
The study of computation is essential to understanding the limits of what can be computed.
戴纳·斯科特 戴纳·斯科特
In mathematics, you don't understand things. You just get used to them.
戴纳·斯科特 戴纳·斯科特
The beauty of mathematics is that it is both an art and a science.
戴纳·斯科特 戴纳·斯科特
在数学中，你并不理解事物。你只是习惯了它们。
戴纳·斯科特 戴纳·斯科特
The interplay between syntax and semantics is central to the study of formal languages.
戴纳·斯科特 戴纳·斯科特
数学的美在于它既是艺术又是科学。
戴纳·斯科特 戴纳·斯科特
The development of formal systems has revolutionized our understanding of mathematics.
戴纳·斯科特 戴纳·斯科特
证明是一种用于使他人相信数学陈述为真的工具。
戴纳·斯科特 戴纳·斯科特
🏷️ 相关主题推荐 10句
你在电视上看见一个小牛出生，出生了以后它几秒钟之后它就想法站起来，常常站不起来，因为站起来立刻就摔倒，然后它又站起来。怎么一个安排，就使得它知道它要站起来，而且失败了以后还可以再尝试，然后等到最后站起来，它就知道要去吃它妈妈的奶，这个母亲跟这个小牛之间的关系，这是一种非常神秘的事情，所以就是自然界非常稀奇的事情非常之多。就使得我想到，现在不是大家都热衷于人工智能吗，他们研究的东西里头也是很稀奇的东西，可是这些东西离小牛跟它母亲之间的复杂的这个关系那还是差得很远呢。我很难想象说是在以后两百年之间，生物学家会对母子之间的 bonding ，能够有深入的了解。
杨振宁 杨振宁
最可厌的人，如果你细加研究，结果总发现他不过是个可怜的人。
张爱玲 张爱玲
我相信我们都通晓一种语言。花钟喑哑的铃声，陨星没有写完的诗，以及录音带所无法窃听的——霞光殷红的远方给予你我的暗示。如果一定要说话，我无言以答。
舒婷 舒婷
高谈主义，不研究问题的人，只是畏难求易，只是懒。凡是有价值的思想，都是从这个那个具体的问题下手的。西安研究了问题的种种方面的种种的事实，看看究竟病在何处，这是思想的第一步工夫。然后根据于一生经验学问，提出种种解决的方法。……不如此，不算舆论家，只可算是抄书手。
胡适 胡适
要是有些事我没说，你别以为是忘了，我什么也没忘，可是有些事只适合收藏。不能说，也不能想，却又不能忘。它们不能变成语言，它们无法变成语言，一旦变成语言就不再是它们了。它们是一片朦胧的温馨与寂寥，是一片成熟的期望与绝望。
史铁生 史铁生
善良，是一种世界通用的语言，它可以使盲人感到，聋子闻到，超越了国界的善良。正在马不停蹄赶路的人不妨停下来，有时候，身边的人是最需要你的帮助！
马克吐温 马克吐温
语言的准确性，是优良风格的基础。
亚里士多德 亚里士多德
爱情不是花荫下的甜言，不是桃花源中的蜜语，不是轻绵的眼泪，更不是死硬的强迫，爱情是建立在共同语言的基础上的。
莎士比亚 莎士比亚
凡事总需研究，才会明白。
鲁迅 鲁迅
这些学者共同工作的目标应该是给科学彻底打定一个基础，把智慧的光辉散播到全人类，使散播的成绩超越既往的成就，并以新鲜有用的发明去给人类谋福利；做这件事业一个人是不够的，一代人也不够，所以必需许多人一道工作，把前人的研究作为一个起点。
夸美纽斯 夸美纽斯
🔥 热门推荐 10句
但是在这里，真正属于我的世界只有脚下的小路那么宽。我一步也不会离开这条路。我从不曾需要多么宽阔的通道，能侧身而过就足够了。像鸟在天空侧身飞翔，鱼在大海里侧身遨游，我从来不曾渴望过全部的世界。我只是经过这个世界，去向的一个小小的所在。我只依赖熟知的事物而生活，我心有牵挂，不想迷路，不想回不了家。我在山野里，游荡在节制之中。但已经感到足够的自由。
李娟 李娟
悲伤就是知识
拜伦 拜伦
但愿同入梦。
琼瑶 琼瑶
表面看起来糟糕的事，本质上却往往并非如此。
塞涅卡 塞涅卡
我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。
亚历山大·索尔仁尼琴 亚历山大·索尔仁尼琴
奇花与丽日争妍，翠竹共青天斗碧。
吴承恩 吴承恩
我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。
恩格斯 恩格斯
大家礼义教子弟，小家凶恶训儿郎。
周希陶 周希陶
人人为我，我为人人。
列宁 列宁
真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。
罗曼·罗兰 罗曼·罗兰
首页 › 作家 › 💬 查看更多 40句相邻名言
计算机科学中的挑战不仅仅是解决问题，而是以一种既高效又优雅的方式解决问题。
迈克尔·拉宾 迈克尔·拉宾
随机化算法的先驱
The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
In mathematics, you don't understand things. You just get used to them.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
在数学中，你并不理解事物。你只是习惯了它们。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
The essence of mathematics lies in its freedom.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
数学的本质在于其自由性。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
A proof is a device for convincing someone else that a mathematical statement is true.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
证明是一种用于使他人相信数学陈述为真的工具。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
The beauty of mathematics is that it is both an art and a science.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
数学的美在于它既是艺术又是科学。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
The concept of infinity is both fascinating and perplexing.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
无穷的概念既迷人又令人困惑。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
Logic is the foundation of all mathematical reasoning.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
逻辑是所有数学推理的基础。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
The study of computation is essential to understanding the limits of what can be computed.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
计算的研究对于理解可计算性的极限至关重要。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
The development of formal systems has revolutionized our understanding of mathematics.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
形式系统的发展彻底改变了我们对数学的理解。
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
The interplay between syntax and semantics is central to the study of formal languages.
戴纳·斯科特 戴纳·斯科特
形式语义学的奠基人
Every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it.
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
学习的每一个方面或智能的任何其他特征都可以原则上被精确描述，以至于可以制造一台机器来模拟它。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
The ultimate aim of artificial intelligence is to make computers do things that would require intelligence if done by humans.
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
人工智能的最终目标是让计算机做那些如果由人类完成则需要智能的事情。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
计算机程序会做你告诉它要做的事情，而不是你希望它做的事情。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
发现可能性的极限的唯一方法是超越它们进入不可能。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
拒绝做算术的人注定要胡说八道。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
The greatest single achievement of computer science is the development of the concept of the algorithm.
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
计算机科学最伟大的单一成就是算法概念的发展。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
The future of computing is not in the hardware, but in the software.
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
计算的未来不在于硬件，而在于软件。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
软件开发中最重要的一个方面是清楚你试图构建什么。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
The only way to deal with the complexity of the world is to simplify it.
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
处理世界复杂性的唯一方法是简化它。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.
托尼·霍尔 托尼·霍尔
程序验证的先驱
有两种构建软件设计的方式：一种方式是让它简单到明显没有缺陷，另一种方式是让它复杂到没有明显的缺陷。
托尼·霍尔 托尼·霍尔
程序验证的先驱
The price of reliability is the pursuit of the utmost simplicity.
托尼·霍尔 托尼·霍尔
程序验证的先驱
可靠性的代价是追求极致的简洁。
托尼·霍尔 托尼·霍尔
程序验证的先驱
Simplicity is prerequisite for reliability.
托尼·霍尔 托尼·霍尔
程序验证的先驱
简洁是可靠性的前提。
托尼·霍尔 托尼·霍尔
程序验证的先驱
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行