Buch, Englisch, 288 Seiten, Print PDF, Format (B × H): 161 mm x 240 mm, Gewicht: 599 g
Buch, Englisch, 288 Seiten, Print PDF, Format (B × H): 161 mm x 240 mm, Gewicht: 599 g
ISBN: 978-0-19-510427-1
Verlag: Oxford University Press
One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information.
Autoren/Hrsg.
Fachgebiete
- Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Informationstheorie, Kodierungstheorie
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken Informationstheorie, Kodierungstheorie
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
Weitere Infos & Material
- PART A: Theoretical Issues
- 1: Jon Barwise and John Etchemendy: Visual Information and Valid Reasoning
- 2: Atsushi Shimojima: Operational Constraints in Diagrammatic Reasoning
- 3: Jon Barwise and Eric Hammer: Diagrams and the Concept of Logical System
- PART B: Case Studies
- 4: Sun-Joo Shin: Situation-Theoretic Account of Valid Reasoning with Venn Diagrams
- 5: eric Hammer and Norman Danner: Towards a Model Theory of Venn Diagrams
- 6: Eric Hammer: Peircean Graphs for Propositional Logic
- 7: Isabel Luengo: A Diagrammatic Subsystem of Hilbert's Geometry
- PART C: Heterogenous Systems
- 8: Jon Barwise and John Etchemendy: Heterogenous Logic
- 9: Steven D. Johnson, Jon Barwise, and Gerard Allwein: Toward the Rigorous Use of Diagrams in Reasoning about Hardware
- 10: Kathi D. Fisler: Exploiting the Potential of Diagrams in Guiding Hardware Reasoning
