KI-Beratung Beta

  • Produktbild: Logical Reasoning with Diagrams
  • Produktbild: Logical Reasoning with Diagrams

Logical Reasoning with Diagrams

Fr. 238.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

13.06.1996

Abbildungen

numerous line figures

Herausgeber

Gerard Allwein + weitere

Verlag

Oxford University Press

Seitenzahl

288

Maße (L/B/H)

24/16.1/2 cm

Gewicht

599 g

Sprache

Englisch

ISBN

978-0-19-510427-1

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

13.06.1996

Abbildungen

numerous line figures

Herausgeber

Verlag

Oxford University Press

Seitenzahl

288

Maße (L/B/H)

24/16.1/2 cm

Gewicht

599 g

Sprache

Englisch

ISBN

978-0-19-510427-1

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Logical Reasoning with Diagrams
  • Produktbild: Logical Reasoning with Diagrams

    • 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