Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150518 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Rok: 1995
ISBN: 9780521461573
OKCZID: 110062842
Citace (dle ČSN ISO 690):
SHIN, Sun-Joo. The logical status of diagrams. Cambridge: Cambridge University Press, c1994. xi, 197 s.
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 proof. This book challenges the prejudice against visualization 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 and specifies rules of transformation that make this system sound and complete. The soundness of the diagrammatic system refutes the contention that graphical representation is misleading in reasoning. The book concludes with a discussion of some fundamental differences between graphical systems and linguistic systems.