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

在Bloom分類法的基礎(chǔ)上，學(xué)術(shù)界又做了大量工作，取得了一系列成果。其中比格斯和科利斯在其著作《學(xué)習(xí)質(zhì)量評價：SOLO分類理論》中給出的可觀察的學(xué)習(xí)成果結(jié)構(gòu)分類法就是一個很好的補充。SOLO分類法關(guān)注學(xué)習(xí)者對問題做出反應(yīng)時所表現(xiàn)的思維過程和所達(dá)到的認(rèn)知水平，能使教育評價的觸角深入到質(zhì)的層面，能為深度學(xué)習(xí)和課程評估提供支持。深入理解BLOOM分類法和SOLO分類法有助于學(xué)生的終身學(xué)習(xí)。SOLO分類法沿用了系統(tǒng)科學(xué)中的結(jié)構(gòu)和層次兩個基本概念，將SOLO劃分為前結(jié)構(gòu)、單點結(jié)構(gòu)、多點結(jié)構(gòu)、關(guān)聯(lián)結(jié)構(gòu)、抽象拓展等5個層次，屬于無學(xué)習(xí)的是（），屬于淺層學(xué)習(xí)的是（），屬于深層學(xué)習(xí)的是（）。

計算機從業(yè)人員的價值觀與工作觀等社會與職業(yè)問題已極大地影響著計算產(chǎn)業(yè)的發(fā)展，并引起業(yè)界人士的高度重視，CS2013將該領(lǐng)域定義為“社會問題與專業(yè)實踐”，強調(diào)它對計算學(xué)科的重要作用和影響。“社會問題與專業(yè)實踐”主要屬于計算學(xué)科（）形態(tài)的內(nèi)容。

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

計算學(xué)科常采用分層抽象的方法降低和控制系統(tǒng)的復(fù)雜程度，而分層抽象背后的原理是數(shù)學(xué)中的等價關(guān)系。請指出下列滿足等價關(guān)系的是（）。