Boole
美
英 
例句
Clearly the infamous inventor of symbolic logic, Dr. George Boole -- see Resources -- would feel right at home.
顯然,“聲名狼籍的”符號邏輯發(fā)明者GeorgeBoole博士—請參閱參考資料—會覺得這些選項很親切。
Read more about Dr. George Boole, the inventor of symbolic logic, after whom booleans are named.
閱讀關于GeorgeBoole博士(符號邏輯的發(fā)明者)的更多內容,布爾型就是因他而得名的。
Since that time, Boole's original conception has been extensively developed and refined by algebraists and logicians.
自從那時起,布爾的最初的設想已經被代數學家和邏輯學家廣泛地發(fā)展和精確著。
Axiom definition and basic character theorem of Boole's mathematical system
布爾代數系統(tǒng)的公理化定義及基本性質定理