KI-Beratung Beta

  • Produktbild: Mathematical Problems from Applied Logic II
  • Produktbild: Mathematical Problems from Applied Logic II
Band 5

Mathematical Problems from Applied Logic II Logics for the XXIst Century

106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.11.2010

Abbildungen

XXX, 354 p.

Herausgeber

Dov Gabbay + weitere

Verlag

Springer Us

Seitenzahl

354

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

581 g

Auflage

Softcover reprint of hardcover 1st ed. 2007

Sprache

Englisch

ISBN

978-1-4419-2408-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.11.2010

Abbildungen

XXX, 354 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

354

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

581 g

Auflage

Softcover reprint of hardcover 1st ed. 2007

Sprache

Englisch

ISBN

978-1-4419-2408-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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: Mathematical Problems from Applied Logic II
  • Produktbild: Mathematical Problems from Applied Logic II
  • On Two Models of Provability: Provability Logic, Logic of Proofs.- Directions for Computability Theory Beyond Pure Mathematical: Motivations, Directions, Progress So Far And How One Might Go From Here.- Computability and Computable Models: Preliminaries, Bounds for Computable Models, Structure Complexity of Computable Models, Isomorphism Problem, Classes of Computable Models and Index Sets.- First-order Logic Foundation of Relativity Theories: Introduction (Logic and Spacetime Geometry), More Concrete Introduction (Foundation of Spacetime), Intriguing Features of GR Spacetimes (Challenges for the Logician), A FOL Axiom System of SR Extended with Accelerated Observers, One Step toward GR (Effect of Gravitation on Clocks), Questions, Suggestions for Future Research.- Beyond Hybrid Systems: Digital Programs, Continuous Plants and Controllers, Hybrid Systems, Discretization, Continualization, Methodology.- Region-Based Theory of Space: Algebras of Regions, Representation Theory, and Logics: Historical Excursion in the Region-Based Theory of Space, Algebras of Regions, Models, and Representation Theory, Region-Based Propositional Modal Logics of Space.