我正在复习我的计算理论课程的一些笔记，我有点执着于展示下面的陈述，我希望有人能帮我解释一下：） 让A成为一种常规语言。语言B={ab|a存在于a中，而B不存在于a*} 为什么B是一种常规语言 有些观点对我来说是显而易见的。如果b仅仅是一个常量字符串，那么这是微不足道的。因为我们知道a在a中，b是字符串，正则语言在union下是封闭的，所以接受这两个字符串的语言的union显然是正则的。然而，我不确定b是常数。也许是的，如果是的话，这就不是什么问题了。我很难理解它。谢谢 问题中的a和b不是常量字符

我试图（经典地）证明 在Coq。我想做的是相反地证明它： 1. Assume there is no such t (so ~(exists t: U, ~phi)) 2. Choose arbitrary t0:U 3. If ~phi[t/t0], then contradiction with (1) 4. Therefore, phi[t/t0] 5. Conclude (forall t:U, phi) 我的问题是第（2）行和第（5）行。我不知道怎么做 要选择U的任意元素，请

假设我被要求生成N以内的斐波那契数，我将生成多少个数？我在找斐波那契数到N的数，而不是第N个数 例如，如果我生成的斐波那契数最多为25，我将生成： 1,1,2,3,5,8,13,21 那是8个数字 如何从数学上计算任意“n”？您可以通过生成函数计算非递归函数。第n个元素可通过以下公式计算： f(n) = (1 / Sqrt(5)) * (((1+Sqrt(5))/2)^n - ((1-Sqrt(5))/2)^n) 也许您可以使用此函数导出一个方法。您可以使用以下公式（请参阅）： 根据你的建

我对识别常规语言很迷茫 我知道如果R是一种正则语言，那么如果a=RR，因为是R的串联，所以a是一种正则语言 但是是B={ww | w继续并尝试泵送引理。从一个非常简单的正则表达式开始，例如： R = ab* 因为此时您正试图证明它不是正则表达式，所以您只需要一个反例。因此，您可以选择任何您想要的R。（上面的方法很好。）继续尝试泵引理。从一个非常简单的正则表达式开始，例如： R = ab* 既然现在你想证明它不是规则的，你只需要一个反例。所以你可以选择你想要的任何一个R。（上面的很好。）谢谢你

使用传统的状态机定义，状态机记录是否可以同时处于多个状态？例如，如果我有一个用户模型，用户可以同时处于订户和促销期状态吗 请注意，我不是在问这样做是否有意义，我的问题是——使用状态机是否可行。维基百科又多了一天： “有限状态机（FSM）或有限状态自动机（复数：自动机）是一种用于设计计算机程序和时序逻辑电路的计算数学模型。它被认为是一种抽象机器，可以处于有限个状态中的一个。机器一次只处于一种状态；它在任何给定时间处于的状态称为当前状态。 " 所以，不。不。状态机一次只有一个状态 组合状态可以与另一

假设我们有两个控制输入位到ALU zx-------zero the x input. nx-------negate the x input. 当这两个位都被设置时，那么操作x输入的顺序或首先操作zx获得结果的控制位的优先级，与先执行nx的场景不同？从概念角度，断言zx和nx是微码或控制逻辑中的错误1 具体发生的情况与微体系结构密切相关。 然而，我们可以假设一台非常简单的机器 zx启用目标寄存器的清除信号 nx启用从加法器2到目标寄存器的数据路径 在下一个时钟，寄存器将与输入同时馈送，并

在图中，我在右下角得到了一个1（最小项），我不能将它分配给任何组。我该怎么办？我应该保持1不变并进行其他简化，还是将其作为单个组进行计算？如果创建的组大小为2^N个元素，这包括大小1（1=2^0）。因此，实际上，您只需在AB'CD'处创建一个单独的组，该组非常简单，您所能做的就是保持原样。A'B'D+ABD+AC'D+AB'CD'我想我的分组程序可以吗？通过绑定规则，我可以用1和9组成一个组，我应该这样做吗？或者我画它的方式可以吗？@Schl….r你可以为1和9创建这样一个组，但这不会给你任何新

NP、NP-Complete和NP-Hard之间有什么区别 我知道网上有很多资源。我想读一下你的解释，原因是它们可能与外面的不同，或者有一些我不知道的东西。NP完全问题是那些既NP难又属于复杂类NP的问题。因此，要证明任何给定的问题都是NP完全的，您需要证明该问题是NP中的，并且是NP难的 属于NP复杂性类别的问题可以在多项式时间内以非确定性方式解决，并且可以在多项式时间内验证NP问题的可能解决方案（即证书）的正确性 k集团问题的非确定性解决方案示例如下： 1） 从图中随机选择k个节点 2） 验

具体地说，我在文本过滤的上下文中看到了它的使用。就好像“谓词”=“筛选条件” 这准确吗？这个词来自逻辑 谓词是关于输入的“是”布尔问题 “IsNull”是一个谓语疑问句 此外，维基百科链接关于。这是一个在数理逻辑领域最常用的术语 从 在数学中，谓词是关系或布尔值函数，相当于这种关系的特征函数或指示函数 A函数p:X→ {true，false}被称为X上的谓词。当P是X上的谓词时，我们有时会说P是X的一个属性 谓词“==”筛选条件 谓语是关于某事物的陈述，它是对的或错的。谓语（'PRED-i-c

给L={a^NB^n:NA |空字符串一个正则语法 A--->aB |空字符串 b--->Ab 但是我们如何计算语法中的数字呢？意思是它如何知道什么时候有超过100个a。而且我甚至不确定我的方法是否有意义 如果您有任何帮助，我们将不胜感激。由于这种语言的成员明显有限，您可以将其作为所有可能情况的列表提供： S -> ab | aabb | aaabbb | ... | a^100b^100 假设s是开始符号： 1) S -> aXb 2) X -> aXb 3) X -&g

我在一本书中读到这句话： 在计算机科学中，没有任何问题不能用另一种间接方法来解决 有人能解释一下吗？“间接层次”是什么意思 据我所知，间接寻址是一个使用值指针而不是值本身的别致名称。请为我澄清这一点。间接寻址的一大潜在优势是减少耦合。这是另一种说法，即事物应该被适当地划分。这通常有助于长期的测试、可维护性和灵活性 例如，如果您的应用程序需要读取一些持久化的数据，那么您可以将其隔离（将数据读取放在方法中），而不是将具体的读取位置（以及如何）分散在整个应用程序中然后让应用程序的所有其他部分调用该方法

我试图用K映射来简化布尔表达式。但是当我绘制地图时，我得到了三个真值，这是不可能绘制地图的 有没有办法简化这张地图 原来的表述是： Y1 = A1 B1 A2' B2' + A1 B1 A2 B2' + A1 B1 A2' B2 非常感谢你的帮助。图为真值表和k图 简化地图没有多大意义，我想你的意思是简化表达式，在这种情况下，是的，你可以。您必须将两个1分成两组（真），得到Y1=A1B1A2'+A1B1B2' 多亏了上面对Nevado的回答，我才能够通过将两个相邻的值分成两组来提出解决方案 如

我在读关于lambda微积分的书。从第2.1节末尾开始： 上面说 但实际上，y应该达到值3而不是5，因为 第一个beta缩减应该将1插入表达式中x的点中。 因此，惰性参数必须保留当前变量 每次缩减的上下文，在本例中记住x=3 在表达式λy.x×y内，但保持x=1的事实 言外之意 (\x.(\x.\y.x * y) 3 ((\z.x + z) 2)) 1 () / \ \x 1 | () /

我最近刚开始阅读一些CS论文，其中最早的一篇是图灵的《关于可计算数字》，在这篇文章中，他提供了一个打印010101序列的机器配置示例。我理解它应该如何工作，但我很难理解为什么它在这些操作中有两个R动作： m-config | symbol | operations | final m-config | None | P0 | b b | 0 | R, R, P1 | b | 1

下面我们介绍三种分支预测算法： a） 将始终采用预测分支的静态预测 b） 在预测分支的初始阶段，将采用一位预测 c） 两位预测，在初始阶段“奇怪地采取” 声明如下： （A） for（i=0；i当实际分支有这样一个非常规则的模式时（根据循环计数器交替），您可以分析一些迭代，找出分支预测何时进入重复的预测模式，然后计算有多少是正确的。您可以假定循环分支没有在循环体中别名分支。它以简单的方式编译，而不是无分支sum+=（~i）&1或sum=50或实际编译器可能进行的其他优化。即，假设C描述的是实际的a

我看到一个问题的答案，这促使我提出这个问题。答案如下： 顺便说一句，请注意此处链接的内容。软件工程 计算机科学是非常不同的学科。软件 工程包括软件开发生命周期（包括 方法和流程）、建模、沟通、企业SE 文化等等，而对代码、算法、， 效率等等 5月12日乔丹回答 这是我的评论： 我有点不同意。软件工程是一门分支学科 计算机科学系。软件工程的一个子领域是 构造，这都是关于代码的。请参阅 我确实认为算法不属于软件工程的范畴，但面向对象编程、安全编程等都不属于 有人说这是重复的，但计算机工程是关于硬件的

通过跟踪自动机所处的状态以及它在输入字符串中所处的距离，可以很容易地在输入字符串上模拟非确定性自动机。但是，如何才能模拟非确定性传感器（当然，传感器可以将输入符号转换为输出符号，并将字符串作为输出，而不仅仅是布尔值）？这似乎更复杂，因为我们需要以某种方式跟踪输出字符串，由于不确定性，输出字符串可能会很多。基本上与NFA相同，但这次不是返回true或false，而是将输出添加到输出集中。这里有一些伪代码： function rec(in, current_state, pos, out) if(

有人如何通过归纳法证明高度为n的二叉树有2^（n+1）-1个节点 首先，我有数学学士学位，所以这是关于如何通过归纳法进行证明的一般描述 首先，显示如果n=1，则有m个节点，如果n=2，则有k个节点。由此确定m，k的公式，该公式在n=1和2时有效（即在您的案例中为2^（n+1）-1 接下来，假设相同的公式作为任意值适用于n。最后，证明公式适用于（n+1）高度。也就是说，n意味着n+1（单步增量）。最后一步通常是最困难的，但如果需要，可以使用n、1和2的结果 这个想法是，你可以看到，对于n=1和2，

想象一下，我们有一个带一级缓存的单核芯片。一级缓存的访问时间如何限制核心可以达到的最大频率 考虑到访问时间，是否有某种公式可用于计算核心频率？例如，如果访问时间是高的两倍，那么频率会是低的两倍吗 到目前为止，我已经了解到访问时间是1/频率，这是正确的吗 提前感谢。我的（非公式）答案如下： cpu->一级缓存（数据和指令）->内存 如果CPU能够以比一级缓存从内存获取指令和/或数据的速度快得多的速度运行，则总管道速度将受到最低速度的限制，即CPU将以一级缓存的较低速度运行 为了防止这个问题，我

任务： 绘制结构化流程图并编写伪代码，描述猜测1到100之间的数字的过程。在每次猜测之后，玩家被告知猜测过高或过低。这个过程一直持续到玩家猜到正确的数字 我的伪代码： Start Num1=6 Get Num2 while Num2 is not = to Num1 if Num2 > Num1 print "too high" else print "too low" endif Get Num2 endwhile

我的HW中有这段代码，它没有提到它是什么语言，问题在代码下面。我对这些表达式不太熟悉，所以我有点困惑，我很乐意得到一些帮助来回答这些问题： x = 3; s = read_string_input(); if (isnumber(s) and strToInt(s) > 0) x = s + 1.3; else x = "negative input"; print(x); 问题是: 它是打字语言吗 它是强的还是弱的打字语言 是动态语言还是静态语言 它是隐式还是显式类型 由于s

我有几个关于正则表达式的问题。据我所知，你只能用*表示字母数，但如果我想写L={a^n b^n | n>=0}，我如何在正则表达式中表示字母数相等 一般来说，我该如何显示正则表达式中字母数量之间的关系？你在形式语言理论中找到了一个非常重要的概念-纯/理论正则表达式无法与语言a^n b^n匹配！这是一个重要的结果。Myhill-Nerode定理是理解为什么会出现这种情况的一个很好的方法，但基本上，它可以归结为：如果你能证明没有有限自动机可以接受这种语言，那么它不是正则的，也没有正则表达式 特别是对

如何将正则表达式（ab*）*b转换为上下文无关语法 当我寻找例子时，我一直在表达式中看到加号，但我没有任何加号。这仅仅是一种不同的编写方式吗？您可以递归地应用以下规则，其中每个规则都将单个正则表达式运算符更改为非终结符。（为每个运算符使用不同的非终端名称。）在下面的示例中，R和S是正则表达式运算符的操作数的转换N是将此运算符转换为的非终端。终端只是简单地通过，没有改变 串联： R S ⇒ N → R 替代： R | S ⇒ N → R

我正在复习我的计算理论课程笔记，我很难理解如何完成某个证明。问题是： A = {0^n 1^m 0^n | n>=1, m>=1} Prove that A is not regular. 很明显，泵引理必须用于此。所以，我们有 |vy |>=1 |vxy |=1） uv^ixy^iz存在于A for all i>=0中 尝试选择正确的字符串似乎有点不确定。我在想0^p1^q0^p，但我不知道我是否能模糊地做出一个q，因为u没有界限，这可能会让事情变得难以控制 那么，我们该怎么做

我现在正在学习一个编译器类，为了实现优化，我们必须构建一个CFG。有一件事我搞不清楚，一个项目有多少CFG？我所看到的每个示例似乎都是一个简单代码段的CGF。所以，如果你有一个有三个功能的程序。每个函数都有一个单独的CFG，还是整个程序都有一个大的CFG？好吧，你可以为每个函数构造一个CFG，然后——如果需要的话——将它们组合成一个完整的CFG。然而，整个程序的CFG可能相当大，因此它们通常不能像示例那样正常工作。每个函数的CFG都是通过调用站点连接的。如果一个函数调用另一个函数，例如： 0

有人能给我解释一下大O符号常量部分的用途吗 我将试着从理解的角度解释我现在的处境： 基本上你有一个函数，例如f（x）=x^2+1和g（x）=x^3 所以，f（x）是O（g（x）），因为对于x，k，对于每个x>k，f（x），它只是一个常数。为了证明f（x）是O（g（x）），你必须选取一些特定的常数C和k，并证明它们满足这个条件。什么让人如此困惑？下面这行措词不当： f（x）是O（g（x）），因为对于x，k的某个值，对于每x> k，f（x）这应该是开着的。因为O表示法是关于函数的形状，而不是它的绝对

我在期末考试中遇到了两个案例。 第一种情况的内存从以下位置获取信息：0x101,0x102,0x101,0x102,0x101,0x102,0x101,0x102,0x101,0x102 第二种情况是从位置获取信息，如： 0x101,0x101,0x101,0x101,0x111,0x109,0x102,0x100 问题是在哪种情况下它使用时间局部性 我的观点是：在第一种情况下。我认为在现实中，当我们访问0x101时，内存也会将0x102访问到缓存中。然后在接下来的六场比赛中，将不会有任何处罚。

这听起来可能是一个奇怪的问题，但我在想用来描述类、名称空间、字段等内容的名称。。。在编程语言中 比如，如果你有一只狗、一只猫和一头牛，你可以说你有一些动物对吧 如果您有一个类a名称空间和一个字段，那么如何描述它们呢 我已经做了一些研究，但到目前为止还没有找到任何有用的 提前谢谢。也许是“编程构造”？所以当我有一些类或名称空间时，我可以说我有一组编程构造？

我是一名二年级和二年级的计算机科学学生，我们得到了一个不确定的有限自动机，问它能接受什么单词 我试图将其简化为确定性有限自动机，结果是： 我认为is不接受任何b*或a或a（b+ab*a）*格式的单词，无法找出它们之间的共同点以及它接受的单词，我想了这么多，它与整个单词无关，仅限于开头，因为如果单词以aa开头，它可以有a和b的任意组合，这无关紧要，它将被接受 非常感谢您的帮助。首先，我将以自己的方式回答问题。然后，我将讨论您到确定性有限自动机的转换 我们可以写一组方程，解q2，看看正则表达式导

到目前为止，我想到的最好的一个方法是，一个卡片目录包含如何烹饪不同类型食物的说明。它不包含如何烹饪食物的信息，也不包含烹饪食物本身的说明，但它可以向您指出其他地方的相关说明。这是一个很好的类比，因为它展示了烹饪不同类型食物（墨西哥、素食、印度等）的灵活性，但卡片目录的概念很快被计算机化搜索所取代。有人问我可怕的“什么是卡片目录？”使用谷歌作为查找烹饪指令的示例是可以的，但没有到实际位置、查找指令和“执行指令”的明确区别。任何人都有对他们有用的类比吗？这种类比似乎过于复杂 函数指针就像是可以帮你完

作为静态分析课程的一部分，我正在学习共归纳法（不是归纳法）。在互联网上翻找，我根本找不到清晰、简洁的描述： 什么是共生产 共同归纳法是如何证明某些事情的（似乎共同归纳法就像在我读到的治疗中挥舞着一只神奇的手） 什么命题需要共推证明 如何操作共导出证明 我的理解（可能是错误的）是这样的： 共归纳是一种证明无限数据结构的方法 就像归纳法一样，一开始似乎是作弊。要认识到的关键是，而不是： 证明某些东西对基本情况有效 在假设它适用于所有（有限）情况下，证明它适用于每个“单一步骤” 然后声称它因此适用于

我试图在Netlogo中编写一些代码。我正在使用现有的化学平衡模型，并试图实现以下内容： 乌龟自有[速度] 问海龟 [ 设置速度（环境温度=30） 速度 如果温度>40[“速度”增加海龟] ifelse温度50，则海龟的速度会增加 ；如果压力小于50，则海龟的速度降低 ] ；；施压 谢谢我想你想做的是这样的： turtles-own [speed] to setup ca create-turtles 50 [ set speed 1 ] end to go a

是否遵循任何特定的方法来指定给定语法的语言？？i、 e.是否有必要运行语法中给出的所有产生式规则来确定它所代表的语言？我没有这样的例子，因为我正在研究的是一个家庭作业问题 [edit]: adding an example, Describe, in English, the language defined by the grammar <S> -> <A> <B> <C> <A> -> a &

我目前正在研究惠誉格式的一阶逻辑证明。我的讲师Jon Barwise紧随其后 我试图做一些证明，但我在理解如何做这些证明时遇到了一些困难。由于我已经阅读了语言证明和逻辑所提供的内容，我想知道是否有其他书籍或资源使用惠誉格式进行正式证明 另外，解决练习会有很大的帮助 谢谢我很有信心，LPL的确切惠誉格式是LPL独有的。一般的概念来自惠誉自己，尽管它可能对您没有多大帮助 尽管我认为你最好的办法是问你的老师特定的问题，或者和一群同学一起工作。Klement的逻辑证明检查器与forallx教科书一起在网

所以像p*1/p=1这样的数学方程式在计算机中总是适用的？如果你把数字存储为分子/分母对，那么，是的，你可以使它无损 我的意思是，当数字10除以3时，它不是存储为3.3333333，而是存储为{10,3}对。这意味着，当你再乘以3时，它将变成10 当然，这可能并不适用于所有边缘情况。您仍然无法表示无理数，如PI或2的平方根，因为它们既不能表示为有限十进制序列，也不能表示为比率 但是，对于仅使用有理数的除法，我无法想象边缘情况下它不起作用。如果您将数字存储为分子/分母对，那么，是的，您可以使其无损

我想了很长时间，但还是没能走得更远。 第一步很容易考虑o^M形式的任何语言，其中M是一个质数，大于我们的对手给出的质数（比如n）。我不知道如何从这里证明，无论我们的对手如何破坏字符串，我们总是可以将其抽出来，以表明它不属于上下文无关语言（因此也不属于常规语言） 附言：这不是家庭作业问题。我已经完成了这门课程。我只是想解决它，因为在我的课程期间我无法解决它。假设给定的语言是上下文无关的。使用，你会得到数字x和y，这样x，x+y，x+2y，x+3y，等等，都是素数。然而，这是不可能的，因为质数之间有

我的教科书上说： 我在乘法部分没有得到这句话： 第一个观察结果是乘积中的位数远远大于被乘数或乘法器中的位数。事实上，如果我们忽略符号位，n位乘法器和m位乘法器的乘法长度是n+m位长的乘积。也就是说，需要n+m位来表示所有可能的产品 我在产品中看到了7位数字，但这一引语意味着应该有8位。这一引语是指存储产品所需的空间（粗体）： 也就是说，n+m位需要表示所有可能的产品 您只看到一种产品。您需要查看n位数和m位数的所有可能产品。例如，对于m=n=4和基数10： 9999×9999 = 999800

我最近问过，但显然没有 然而，我注意到一个问题是，我们主要关注各种类型的微积分。但是考虑到这一点，理论上我可以把神经网络和遗传编程看作是非基于微积分的编程模型，尽管缺乏独立的实现，但这些都是近年来产生的有趣的想法（比如说不到lambda 1930） 同样开箱即用的还有查询语言、正则表达式和基于图形/树的设计，它们虽然部分是数学的，但不是微积分，这让我想到了编程中其他哪些非微积分设计现在很重要，以及其他哪些领域可能为我们提供新的编程范例 **注：**此问题与“新建”无关，但是关于不是起源于微积分。

规则引擎和专家系统之间的区别是什么 例1： 假设我有一个程序，可以确定新驾照的到期日期。它接受诸如签证到期日期、护照号码、生日等输入。它根据此输入确定驾驶执照的到期日期。如果输入没有足够的有效标识来允许新的驾驶执照，它甚至会给出一个错误 例2： 比如说，我正在制作一个在线版的《垄断》游戏。我想要改变游戏规则的能力（比如说，通过围棋400美元，或者在同一块地产上着陆两次之前，任何人都不能购买房产，等等）。我在代码中有一个模块来处理这些规则 这些都是规则引擎还是专家系统？他们看起来很相似。它只是一个

你所说的“企业准备就绪”是什么意思？通常意味着它很昂贵 更严肃地说： 稳妥 可伸缩 马厩 易于在生产中运行 取决于它来自哪里。如果它是一家供应商，那么它通常意味着“我们还没有在像您这样大而复杂的环境中测试过它，但我们正在祈祷它能满足您的要求”。如果它来自您自己的it部门，它通常意味着“我们已经在一些qa环境中尽可能多地测试了它，但它没有完全崩溃。我们希望在您的生产环境中测试它，请”Enterprise Ready，在我的理解中，这与声称它的项目的经验相去甚远，是一种营销术语，用于表示软件足够健

我正在为我的考试做一些复习，去年的试卷中经常问的一个问题是如何只使用XOR门实现OR门。我试着从过去的一个小时，也在互联网上搜索。但失败了。希望能在这里得到一些帮助 不能仅从XOR（或XNOR）门派生OR（或AND、NOR、NAND）门，因为它们不是通用门 这里有一个反对XOR和 XNOR作为通用门 异或门 是一个奇偶校验生成器。层叠 奇偶性生成器总是产生 奇偶校验生成器。又或者不是 奇偶函数 可以使用XOR门 用作逆变器。XNOR门是 一个异或后跟一个反相器，所以 也是奇偶校验生成器 要成为通

我被要求设计一个64位的假想机器，我已经决定了 将4位作为操作码，其余60位作为地址，因为 问题只想让我执行2个操作，它们是3的加法 整数和2个整数的乘法，因此4位指令 足够了。事情是这样的，我必须设计程序 执行。如果我使用60位地址，这意味着我会 有15位十六进制的地址，这是唯一的方法吗？有人能展示吗 告诉我如何设计它，而不必有这么多的地址数字，因为我的 设计会非常混乱。第一个图像是问题，第二个图像是问题 是我尝试做的，这些是我给出的一些指示 ，第三个是16位机器的图像。结果会是这样吗 这边因

这不是一个“纯粹”的编程问题，但由于它与编程理论有着深刻的关系，我认为最好在这里提问 关于p-NP问题，这段摘录自：“本质上，问题p=NP？问：假设一个是或否问题的答案可以很快得到验证。那么，答案本身也可以很快计算出来吗？” 我想知道，验证答案的速度与生成解决方案的速度有什么关系？可能有关系，也可能没有关系 人们关心NP问题是因为我们一直都想快速地解决它们，但到目前为止，我们还没有找到一种快速解决它们的方法。我们想知道是否有一种快速的方法来解决这些问题，或者我们是否应该放弃尝试。本质上，在NP或

我正在编写一个网站，希望包含计算机科学的符号，但我在某处找不到这个符号 有人知道我在哪里能找到它吗？我们有符号吗 例如，心理学有一个符号： 如果你想使用希腊字母，那么ϴ可能是一个不错的选择。或者可能只是一个罗马的“大O”：O？人们通常把0和1排成一行。 这可能是问题所在，有很多徽标，但我正在寻找这个符号，就像我贴的心理学符号一样。你这里的“心理学符号”是大写希腊字母psi，也就是说，它是一个首字母，而不是某种神秘的符号。参考：我倾向于同意你的建议，算法是计算机科学的生命，计算机本身就像是魔法文件

我最近读了Joel Spolsky写的关于“计算机科学学院学生的建议”的文章 在这篇文章中，Joel说，一个了解业务基本原理的程序员将成为一个对业务更有价值的程序员，而不是一个不了解业务基本原理的程序员。许多想法在代码中是有意义的，但在商业中是没有意义的 我想知道是否有一些快速参考手册供CS学生学习微观经济学。我想知道有助于人们理解基本知识的电子书。不是一本电子书，但如果你能得到它，它很值得一读。有一本关于经营小企业的书，作者是约翰·吉尔摩，他曾经拥有一家皮靴店。是的，没错，一家鞋店 他定期在澳

我花了很多时间上下班。现在我花时间听新闻播客。最近我开始听一些教育书籍。我找到了一些关于其他主题的好书，比如管理和营销，但我想知道是否有适合软件开发人员/工程师或关于计算机科学的书可以听 我立刻想到了，但意识到代码块和图表不会很好地被理解 你知道有什么书，也许是关于思想或设计模式的书，可以听吗？问题是，你不能展示任何数学、代码或图表，所以它不是首选的媒介。不过我也经常听。你可以从大学里得到一些讲座，也可以从infoQ中得到音频演示。 对于播客，请检查OPML格式的我的收藏： 有更多的，但我没有发

我想知道什么是可计算的“简明”定义？我这样问是因为我对什么是可计算的和什么不是可计算的感到困惑 某些东西只有在停止时才可计算吗？比如说 function foo(){ while(true); } 是不可计算的，仅仅因为它从不停止？还是我混淆了可计算性的定义和停止问题 谢谢，可计算性不是程序的属性。可计算性是数学问题的一个特性，它意味着存在一种算法，通过对问题的每个实例给出正确的答案来有效地解决问题 停止问题是不可计算的，因为不可能存在完全解决它的算法（对于图灵完整编程语言），但它不是可计算

我浏览了一些关于量子计算机的书，除了量子物理和数学之外，还有一些来自计算机科学（例如图灵机器）的概念。所以，如果我想学习量子计算，我应该从计算机科学中知道什么？例如，阅读SICP有用吗？的第2章和第3章应提供您需要的背景知识 为物理学家提供易于理解的CS简介 除此之外，你还可以读一些书，看看自己是否是天才 SICP可能不是直接适用的，但它很可能是有史以来最好的编程书，所以它总是有用的 计算理论是计算机科学背后的基础科学和数学。这是计算机器的理论，阅读复杂性类和一些基本算法。然而，我不认为有必要深

我很难回答一个关于家庭作业的问题，如果有人能解释一下（以及为什么他们会得出这样的结果），那将非常有帮助： 在没有预测的情况下，ret需要插入三个气泡以停止 直到从堆栈中读取返回地址。一种预测方法 ret指令的返回地址是放置一个环形缓冲区作为 获取阶段中的SRAM阵列，以实现返回地址堆栈。 每个调用指令都将“推送”从 PC递增逻辑到环形缓冲区的末尾。每个ret 指令将从环的末尾“弹出”返回地址 缓冲器当缓冲区空间不足时，调用指令将被删除 开始覆盖已放置在缓冲区上的早期值， 这最终可能会导致这些返回

有人能给我指引正确的方向吗？我不知道如何从叶到根返回结果 tree = { "name": "root", "children": [ { "name": "child1", "children": [ { "name