- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問(wèn)答題
【簡(jiǎn)答題】簡(jiǎn)介計(jì)算機(jī)科學(xué)家與數(shù)學(xué)家的共同點(diǎn)和不同點(diǎn)。
答案：
計(jì)算機(jī)科學(xué)家與數(shù)學(xué)家的共同點(diǎn)，主要體現(xiàn)在抽象的運(yùn)用以及對(duì)公式的理解。不同點(diǎn)在于，數(shù)學(xué)家側(cè)重于強(qiáng)烈的幾何推理和關(guān)于無(wú)限問(wèn)題...
你可能感興趣的試題
問(wèn)答題
【簡(jiǎn)答題】什么是形式驗(yàn)證？形式驗(yàn)證有哪兩種主要技術(shù)？
答案：
形式驗(yàn)證就是基于已建立的形式規(guī)格，對(duì)所規(guī)格系統(tǒng)的相關(guān)特性進(jìn)行分析和驗(yàn)證，以評(píng)判系統(tǒng)是否滿足期望的特性。
形式驗(yàn)...
形式驗(yàn)...
問(wèn)答題
【簡(jiǎn)答題】使用形式化方法的原因是什么？
答案：
（1）高質(zhì)量軟件生產(chǎn)的要求
軟件中存在的缺陷，會(huì)引起很多問(wèn)題，如給客戶的業(yè)務(wù)造成損失，甚至危及生命。研究表明，...
軟件中存在的缺陷，會(huì)引起很多問(wèn)題，如給客戶的業(yè)務(wù)造成損失，甚至危及生命。研究表明，...
