利用數(shù)學(xué)方法研究邏輯規(guī)律的科學(xué)。又稱邏輯代數(shù)、開關(guān)代數(shù)。取一個形式符號系統(tǒng),其中有常符號0,1,一元函數(shù)符號“-”:二元函數(shù)符號“+”;以及關(guān)于這組符號的形式公理系統(tǒng)A1:x+y=y+x,x·y=y·x;A2:x+(y·z)=(x+y)·(x+z),x·(y+z)=x·y+x·z;A3:x+ (本文共 532 字 ) [閱讀本文] >>
海量資源,盡在掌握
 利用數(shù)學(xué)方法研究邏輯規(guī)律的科學(xué)。又稱邏輯代數(shù)、開關(guān)代數(shù)。取一個形式符號系統(tǒng),其中有常符號0,1,一元函數(shù)符號“-”:二元函數(shù)符號“+”;以及關(guān)于這組符號的形式公理系統(tǒng)A1:x+y=y+x,x·y=y·x;A2:x+(y·z)=(x+y)·(x+z),x·(y+z)=x·y+x·z;A3:x+ (本文共 532 字 ) [閱讀本文] >>