A.定義是被證明為真的數(shù)學(xué)命題B.定義是蘊(yùn)含在公理系統(tǒng)之中的概念和命題C.定義不可用含混、隱晦或比喻性詞語(yǔ)來(lái)表示D.定義是對(duì)一種事物的本質(zhì)特征或一個(gè)概念的內(nèi)涵與外延確切而簡(jiǎn)要的說(shuō)明
A.研究數(shù)字邏輯電路,我們所關(guān)心的是電路所完成的邏輯功能,而不是電的或機(jī)械的性能B.一般只考慮輸入變量和輸出變量之間的邏輯關(guān)系,并用數(shù)學(xué)的方式來(lái)描述C.代數(shù)表達(dá)式是以理想的形式來(lái)表示實(shí)際的數(shù)字邏輯電路,反映了邏輯電路的特征和功能D.代數(shù)表達(dá)式盡管帶來(lái)了一些方便,但是不能完全反映邏輯電路的特征和功能
A.高度的抽象性。數(shù)學(xué)的抽象程度大大超過(guò)自然科學(xué)中一般的抽象B.邏輯的嚴(yán)密性。數(shù)學(xué)高度的抽象性和邏輯的嚴(yán)密性是緊密相關(guān)的C.普遍的適用性。數(shù)學(xué)的高度抽象性決定了它的普遍適用性D.定理的完整性。數(shù)學(xué)語(yǔ)言長(zhǎng)期的發(fā)展使得它具備相當(dāng)完善的相關(guān)定理