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

在計(jì)算學(xué)科中，采用的數(shù)學(xué)方法主要是離散數(shù)學(xué)的方法，因?yàn)橛?jì)算學(xué)科的根本問題是（）問題。

在知道了二進(jìn)制數(shù)的模后，根據(jù)公式[–X]補(bǔ)=（–X+MOD），可以求出二進(jìn)制數(shù)的補(bǔ)碼。假設(shè)機(jī)器字長為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）和一家法國公司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)？（）

對(duì)軟件的分析，可以從系統(tǒng)的角度，也可以從集合的角度來分析。因此，控制和降低軟件的復(fù)雜度的問題就可以轉(zhuǎn)化為如何降低系統(tǒng)的復(fù)雜性，或更為基礎(chǔ)地如何降低集合復(fù)雜性的問題。下列哪些選項(xiàng)能夠有效地降低系統(tǒng)（或集合）的復(fù)雜性？（）