Questions tagged «terminology»

有关如何理解特定概念以及符号约定的问题。

4
为什么可计算函数也称为递归函数？
在可计算性理论中，可计算函数也称为递归函数。至少乍一看，它们与您在日常编程中所谓的“递归”（即调用自身的函数）没有任何共同之处。 在可计算性方面，递归的实际含义是什么？为什么将这些函数称为“递归”？ 换句话说：“递归”的两种含义之间有什么联系？
2
什么是Beta对等？
此问题是从理论计算机科学堆栈交换迁移而来的，因为可以在计算机科学堆栈交换上回答。 迁移 7年前。 在我目前正在阅读的lambda演算的脚本中，β等价定义为： 该 -equivalence是一个包含最小的等价。＆equiv; β →交通βββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta 我不知道那是什么意思。有人可以用更简单的方式解释它吗？也许举个例子？ 我需要它来作为遵循Church-Russer定理的引理， 如果M N，则存在具有M A L L和N L.↠ β≡β≡β\equiv_\beta↠β↠β\twoheadrightarrow_\beta↠β↠β\twoheadrightarrow_\beta
7
反向抛光符号的意义是什么？
我向18岁的孩子教授计算机。在向他们解释了反波兰符号后，有人问为什么它足够重要才能参加公开考试。我解释了70年代计算器的历史意义，但这未能真正解决这个问题。RPN也有并发的实际或理论应用。
5
计算到底是什么？
我知道某种意义上的计算是什么（计算机所做的就是这样），但是我想要一个更严格的定义。 Dictionary.com的计算，计算，计算和计算的定义是循环的，因此无济于事。 Wikipedia将计算定义为“遵循明确定义的模型的任何类型的计算”。它将计算定义为“经过有变而将一个或多个输入转换为一个或多个结果的蓄意过程”。但是似乎该定义包括许多动作作为计算，即使通常不将其视为计算。 例如，这是否就意味着炸弹爆炸是一种计算，输入是点燃的保险丝，输出是爆炸？ 那么，计算到底是什么？
1
谁创造了“机器学习”一词？
我试图找出谁创造了“机器学习”一词。一个辅助问题是从1959年引用亚瑟·塞缪尔（Arthur Samuel）在哪里定义“机器学习”的领域为： 使计算机无需明确编程即可学习的研究领域 ？ 在Internet上可以找到很多对此定义的引用，但是我一直无法找到源。有人将其作为他在1959年发表的关于棋子的论文，但我在那里没有找到任何这样的定义。
6
我如何在学术上说“一台计算机比另一台计算机慢”？
我正在写一篇研究论文，我必须说一个微控制器比另一个微处理器慢。但是，我担心仅仅说它“慢”一点在研究论文中是不合适的。 我对吗？仅仅说一个处理器“慢”就可以，还是我需要说其他话吗？我还能说什么？我想出的最好的办法是，一个具有比另一个低的“计算能力”，或者微控制器具有“低的计算能力”。不幸的是，这些表达式在网上搜索时似乎不太流行。 那么，这是一种更好且学术上正确的说法吗？
6
动态编程与蛮力编程有何不同
当我遇到以下引用时，我正在阅读动态编程 动态编程算法将研究解决问题的所有可能方法，并选择最佳解决方案。因此，我们可以将动态编程粗略地认为是一种智能的，蛮力的方法，它使我们能够通过所有可能的解决方案来选择最佳方案。如果问题的范围如此之大，以至于可以快速解决所有可能的解决方案，那么动态编程可确保找到最佳解决方案 给出了以下示例 例如，假设您必须在高峰时段在给定的城市中尽快从A点到达B点。动态规划算法将调查整个交通报告，调查您可能会走的所有可能的道路组合，然后才告诉您哪种方式最快。当然，您可能需要等待一段时间才能完成算法，然后才能开始驾驶。您将采用的路径将是最快的路径（假设外部环境没有任何变化） 蛮力在决定最佳解决方案之前，正在尝试所有可能的解决方案。 如果动态编程在选择最佳解决方案之前也要通过所有可能的解决方案，那么它与Brute Force 有何不同，我看到的唯一区别是动态编程考虑了其他因素（在这种情况下为交通状况）。 我正确地说动态编程是蛮力方法的子集吗？
5
定点，这在计算机科学领域意味着什么
我在stackexchange上经常遇到关于定点问题的参考，并且在网上查找含义，显然是在诸如Wikipedia之类的网站上找到参考。但是，这些参考文献都没有真正回答我的问题，即什么是固定点及其在计算机科学领域的含义。
3
有异常层次结构的理论吗？
我熟悉许多编程语言，它们以某种方式具有异常，但是我亲眼目睹了两种“病理性”趋势。 似乎没有常见的异常模式或层次结构。每种语言基本上都会发布自己的版本，如果例外将其纳入标准，则人们在标准中发现的例外种类将相当随意（大多数是在创建语言工具时实现的，例如从中读取源代码）字符串或调用调试器的异常，或找不到文件时发生的异常等） 用这种语言定义的异常很少被用户程序重用。通常会有一个或两个流行的例外（例如，“未实现”）。尽管大多数时候程序员会创建自己的异常。（例如，将其与创建新的数字类型或新的集合类型进行比较）。 这对我来说似乎是一个可怕的遗漏。没人知道用户程序中将需要哪种错误？我希望有一种很好的层次结构，类似于数字类型，集合，对象系统等。 更糟糕的是，Goolge和Wikipedia在此问题上提供的帮助很少。到目前为止，我只找到了一篇关于函数异常的论文，该论文的开头是一段： 本文认为，惰性函数式编程不仅不需要内置的异常处理机制，而且还为开发和转换使用异常的程序提供了强大的工具。 （异常的功能理论，Mike Spivey，1988年） 但是我认为例外是好的。我不想转换使用异常的程序，相反，我想减少异常的使用。 问题： 有例外理论吗？如果是这样，它叫什么？概述其基础的基石是什么（如果有）？
3
如何阅读打字规则？
我开始阅读越来越多的语言研究论文。我发现它非常有趣，并且是一种全面学习编程的好方法。然而，通常是一个部分，在那里我总是（就拿第三部分的奋斗此），因为我没有在计算机科学的理论背景：类型规则。 是否有任何好的书籍或在线资源可用于该领域的入门？维基百科含糊不清，对初学者没有任何帮助。
3
使用NIL表示空节点的目的是什么？
在我的算法和数据结构课程中，教授，幻灯片和这本书（算法简介，第3版）都使用了这个词NIL来表示例如不存在的节点（在树中）的子代。 有一次，在一次演讲中NIL，我的同学没有说，而是null教授纠正了他，而我不明白为什么教授强调这个词。 人们为什么使用单词NIL代替null，或none或任何其他单词？是否NIL具有其他人没有的某些特定含义？有历史原因吗？ 请注意，我在网络上也看到了一些地方，例如，使用单词null代替NIL，但是通常使用最后一个。
3
“软”实时操作系统实际上可以提供什么保证
我想我知道什么是“硬”实时操作系统。它是带有调度程序的操作系统，该调度程序与应用程序程序员提供合同。应用程序为每个资源分配请求提供截止日期。 如果期限请求是可行的，则调度程序保证将在期限之前将每个资源分配给请求的应用程序。该保证足以使应用程序程序员能够推理特定请求的最大延迟和最小吞吐量。 我发现的所有关于“软”实时系统的定义在我看来都是空虚的。 维基百科说 结果的有用性在其截止日期之后降低，从而降低了系统的服务质量。 嗯 好的。按照这个标准，Windows 95是一个软实时系统，3BSD和Linux也是如此。Wikipedia不是一个很好的来源，但是接下来的两个Google热门记录并没有好得多。例如http://users.ece.cmu.edu/~koopman/des_s99/real_time/说 在软实时系统中，可以容忍很少出现的峰值负载下的性能下降。 那不是合同，那是什么都不说的幻想。 实际操作系统提供的真正的软实时担保/合同的例子有哪些？ 我正在寻找以下形式的答案： 在（OS-name）中，如果程序员这样做（程序员需要做什么），则操作系统保证（系统保证什么）。
2
斯科特连续函数：替代定义
我真的很挣扎于此属性： 令为相干空间，而f ：C l （X ）→ C l （Y ）为单调函数。˚F是连续的，当且仅当˚F （⋃ X ∈ d X ）= ⋃ X ∈ d ˚F （X ），对于所有的，使得是一个有向集。X,YX,YX,Yf:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y)ffff(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x)D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X)DDD 向集合被这样定义：偏序是一个有向组当且仅当这样和。Ç 升（X ）表示X的派系：{ X ＆SubsetEqual; | X | | 一，b ∈ X ⇒ 一个连贯b }。D⊆D⊆D \subseteq ∀x,x′∈D∀x,x′∈D \forall …
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.