計(jì)算機(jī)科學(xué)與導(dǎo)論：思想與方法問(wèn)答題每日一練(2019.09.15)

問(wèn)答題
判斷下列圖中，哪個(gè)存在歐拉路徑，哪個(gè)存在歐拉回路。
答案：
a、b、c、d都存在歐拉路徑，a存在歐拉回路。
問(wèn)答題
什么是形式化方法？
答案：形式化方法是基于嚴(yán)密的、數(shù)學(xué)上的形式機(jī)制的開(kāi)發(fā)方法。它包括形式規(guī)格，以及支持規(guī)格語(yǔ)言的語(yǔ)法檢查和規(guī)格屬性證明的方法和工具...
問(wèn)答題
在Brookshear給出的機(jī)器中，地址00到07的內(nèi)存單元包含了以下內(nèi)容，機(jī)器從00開(kāi)始執(zhí)行，回答一下問(wèn)題：a.將執(zhí)行了的指令轉(zhuǎn)換成自然語(yǔ)言。b.該程序中用到哪些寄存器，在程序結(jié)束時(shí)它們的值各為多少？
答案：
問(wèn)答題
以“梵天塔問(wèn)題”為例，說(shuō)明理論上可行的計(jì)算問(wèn)題實(shí)際上并不一定能行。
答案：對(duì)于許多問(wèn)題，我們可以找到相應(yīng)的算法，從而證明該問(wèn)題在理論上是可計(jì)算的。例如，對(duì)于“梵天塔問(wèn)題”，可以基于遞歸方法給出相...
問(wèn)答題
什么是科學(xué)素養(yǎng)？
答案：科學(xué)素養(yǎng)就是對(duì)個(gè)人決策、參與公共和文化事務(wù)以及經(jīng)濟(jì)生產(chǎn)所需要的科學(xué)概念和過(guò)程的知識(shí)和理解。

感谢您访问我们的网站，您可能还对以下资源感兴趣：