首頁
題庫
網(wǎng)課
在線???/a>
桌面端
登錄
搜標(biāo)題
搜題干
搜選項(xiàng)
0
/ 200字
搜索
問答題
【簡答題】簡介計(jì)算機(jī)科學(xué)家與數(shù)學(xué)家的共同點(diǎn)和不同點(diǎn)。
答案:
計(jì)算機(jī)科學(xué)家與數(shù)學(xué)家的共同點(diǎn),主要體現(xiàn)在抽象的運(yùn)用以及對公式的理解。不同點(diǎn)在于,數(shù)學(xué)家側(cè)重于強(qiáng)烈的幾何推理和關(guān)于無限問題...
點(diǎn)擊查看完整答案
在線練習(xí)
手機(jī)看題
你可能感興趣的試題
問答題
【簡答題】什么是形式驗(yàn)證?形式驗(yàn)證有哪兩種主要技術(shù)?
答案:
形式驗(yàn)證就是基于已建立的形式規(guī)格,對所規(guī)格系統(tǒng)的相關(guān)特性進(jìn)行分析和驗(yàn)證,以評判系統(tǒng)是否滿足期望的特性。
形式驗(yàn)...
點(diǎn)擊查看完整答案
手機(jī)看題
問答題
【簡答題】使用形式化方法的原因是什么?
答案:
(1)高質(zhì)量軟件生產(chǎn)的要求
軟件中存在的缺陷,會引起很多問題,如給客戶的業(yè)務(wù)造成損失,甚至危及生命。研究表明,...
點(diǎn)擊查看完整答案
手機(jī)看題
微信掃碼免費(fèi)搜題