理解源于數(shù)學(xué)，定義、定理和證明是數(shù)學(xué)的核心，也是計(jì)算學(xué)科理論形態(tài)的核心內(nèi)容。下列關(guān)于“定義”的描述正確的有（）。

下列關(guān)于將一個(gè)具體的數(shù)字邏輯轉(zhuǎn)換成抽象的代數(shù)表達(dá)式而加以分析和研究的說法正確的是（）。

將討論范圍限制到一種與職業(yè)相關(guān)的具體、特定的檢舉方式上，即非政府檢舉、非個(gè)人檢舉，未來的職業(yè)人員應(yīng)該避免的檢舉有（）。

“模”這個(gè)概念來自計(jì)量系統(tǒng)，是計(jì)量器產(chǎn)生“溢出”的量，它的值在計(jì)量器上表示不出來，計(jì)量器上只能表示模的余數(shù)。對(duì)于模為（12）10（其十六進(jìn)制為（C）16）的計(jì)量系統(tǒng)，其顯示范圍為0~11。下列有關(guān)說法正確的是（）。

下列敘述分別體現(xiàn)了軟件開發(fā)的系統(tǒng)化方法需要遵循的基本原則：抽象第一的原則、層次劃分的原則、模塊化原則。請(qǐng)按下列敘述選擇對(duì)應(yīng)的原則（）。（1）對(duì)實(shí)際的事物進(jìn)行人為處理，抽取所關(guān)心的、共同的、本質(zhì)特征的屬性，并對(duì)這些事物及其特征屬性進(jìn)行描述。由于抽取的是共同的、本質(zhì)特征的屬性，從而大大降低了系統(tǒng)元素的絕對(duì)數(shù)量。（2）根據(jù)系統(tǒng)模型說明的原因和真實(shí)系統(tǒng)提供的依據(jù)，提出以模型代替真實(shí)系統(tǒng)進(jìn)行模擬實(shí)驗(yàn)，達(dá)到認(rèn)識(shí)真實(shí)系統(tǒng)特性和規(guī)律性的方法。（3）如果一個(gè)系統(tǒng)過于復(fù)雜，以至于很難處理，那么，就得先將它分解為若干子系統(tǒng)。

英國(guó)德蒙特福德大學(xué)（De Montfort University，DMU）信息技術(shù)管理與研究中心穆罕默德教授認(rèn)為“職業(yè)化”應(yīng)該視為從業(yè)人員、職業(yè)團(tuán)體及其服務(wù)對(duì)象——公眾之間的三方關(guān)系準(zhǔn)則。對(duì)該準(zhǔn)則的理解可以借用計(jì)算機(jī)科學(xué)中“協(xié)議”思想作進(jìn)一步討論，下列說法正確的是（）。

采用蒙特卡洛（Monte Carlo）方法，計(jì)算2≤x≤3范圍內(nèi)曲線y=0與y=log （x-1）+2之間的近似面積（如下圖陰影部分），那么隨機(jī)數(shù)x，y的取值范圍分別為（）。

在知道了二進(jìn)制數(shù)的模后，根據(jù)公式[–X]補(bǔ)=（–X+MOD），可以求出二進(jìn)制數(shù)的補(bǔ)碼。假設(shè)機(jī)器字長(zhǎng)為8位，表示范圍為0~255，其模為256。-35的補(bǔ)碼計(jì)算過程如下：[-35]補(bǔ)=（-35）10+（28）10=（-35）10+（256）10=（255-35）10+1=（11111111-00100011+00000001）2=（11011100+00000001）2=（11011101）2，下列說法不正確的是（）。

Therac-25是加拿大原子能公司（AECL）和一家法國(guó)公司CGR聯(lián)合開發(fā)的一種醫(yī)療設(shè)備（醫(yī)療加速器），它產(chǎn)生的高能光束或電子流能夠殺死人體毒瘤而不會(huì)傷害毒瘤附近健康的人體組織。該設(shè)備于1982年正式投入生產(chǎn)和使用。在1985年6月到1987年1月不到兩年的時(shí)間里，因該設(shè)備引發(fā)了6起由于電子流或X光束的過量使用造成的醫(yī)療事故，造成了4人死亡、2人重傷的嚴(yán)重后果。據(jù)調(diào)查，1985年到1987年間發(fā)生的6起事故是操作員的失誤和軟件缺陷共同造成的。以下哪些結(jié)論正確并與該案例有關(guān)？（）

系統(tǒng)科學(xué)方法針對(duì)的是復(fù)雜性問題，而復(fù)雜性又是相對(duì)于人的能力而言的。要理解軟件開發(fā)的復(fù)雜性和困難，就有必要先了解“人固有能力的局限性，以及使用工具后產(chǎn)生的力量“。下列哪些選項(xiàng)支撐這個(gè)觀點(diǎn)？（）