Protecting Information簡(jiǎn)介，目錄書(shū)摘
2021-04-02 09:25
來(lái)源：京東
作者：京東
Protecting Information
暫無(wú)報價(jià)
3評論
100%好評
編輯推薦:
內容簡(jiǎn)介:Diagrams are widely used in reasoning about problems in physics, mathematics and logic, but have traditionally been considered to be only heuristic tools and not valid elements of mathematical proofs. This book challenges this prejudice against visualisation in the history of logic and mathematics and provides a formal foundation for work on natural reasoning in a visual mode. The author presents Venn diagrams as a formal system of representation equipped with its own syntax and semantics and specifies rules of transformation that make this system sound and complete. The system is then extended to the equivalent of a first-order monadic language. The soundness of these diagrammatic systems refutes the contention that graphical representation is misleading in reasoning. The validity of the transformation rules ensures that the correct application of the rules will not lead to fallacies. The book concludes with a discussion of some fundamental differences between graphical systems and linguistic systems. This groundbreaking work will have important influence on research in logic, philosophy and knowledge representation.
作者簡(jiǎn)介:Susan Loepp is an Associate Professor of Mathematics in the Department of Mathematics and Statistics at Williams College. Her research is in commutative algebra, focusing on completions of local rings.William K. Wootters, a Fellow of the American Physical Society, is the Barclay Jermain Professor of Natural Philosophy in the Department of Physics at Williams College. He does research on quantum entanglement and other aspects of quantum information theory.
目錄:
相關(guān)商品
九口山讀書(shū)筆記本手帳本 加厚款摘抄摘記本 語(yǔ)文英語(yǔ)創(chuàng )意讀后感記錄本 書(shū)摘本書(shū)評本 閱讀手賬本 A5 破萬(wàn)卷（進(jìn)口紙）
九口山讀書(shū)筆記本手帳本 加厚款摘抄摘記本 語(yǔ)文英語(yǔ)創(chuàng )意讀后感記錄本 書(shū)摘本書(shū)評本 閱讀手賬本 B6 破萬(wàn)卷（進(jìn)口紙）
熱門(mén)推薦文章
相關(guān)優(yōu)評榜
1
杰士派
相關(guān)排行榜
相關(guān)產(chǎn)品
1
dilian
2
京東paypal
4
xplore
6
tanmao
8
wired
9
京東 java
10
windowsphone
11
zeis
15
微軟 internet
16
ibm domino
17
微軟access
19
進(jìn)口寬帶貓
21
d program
22
京公網(wǎng)安備 11000002000088號
