符号逻辑 [数] symbolic logic ; denotic logic ; symbol logic ; symmetric logic
符号逻辑(数理逻辑) symbolic logic
符号逻辑学 [数] Symbolic Logic
符号逻辑协会 Association for Symbolic Logic
符号逻辑算子 symbolic logical operator
符号逻辑模型 [计] model of symbolic logic
符号逻辑期刊 Journal of Symbolic Logic
符号逻辑文摘 Bulletin of Symbolic Loglc
符号逻辑快报 The Bulletin of Symbolic Logic
阅读关于 George Boole 博士(符号逻辑的发明者)的更多内容,布尔型就是因他而得名的。
Read more about Dr. George Boole, the inventor of symbolic logic, after whom booleans are named.
显然,“声名狼籍的”符号逻辑发明者George Boole博士—请参阅参考资料—会觉得这些选项很亲切。
Clearly the infamous inventor of symbolic logic, Dr. George Boole — see Resources — would feel right at home.
我会给你们一些难题因为,我们在做哲学逻辑,我们在做符号逻辑。
I'll just leave you with a little conundrum because that's philosophical logic we're not doing that here, we are doing symbolic logic here.
应用推荐