KI-Beratung Beta

  • Produktbild: Mathematical Problems from Applied Logic II
  • Produktbild: Mathematical Problems from Applied Logic II
Band 5 - 13%

Mathematical Problems from Applied Logic II Logics for the XXIst Century

13% sparen

92,99 € UVP 106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

02.04.2007

Abbildungen

XXX, 354 p.

Herausgeber

Dov Gabbay + weitere

Verlag

Springer Us

Seitenzahl

354

Maße (L/B/H)

24,6/16,2/2,2 cm

Gewicht

662 g

Auflage

2007 edition

Sprache

Englisch

ISBN

978-0-387-69244-9

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

02.04.2007

Abbildungen

XXX, 354 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

354

Maße (L/B/H)

24,6/16,2/2,2 cm

Gewicht

662 g

Auflage

2007 edition

Sprache

Englisch

ISBN

978-0-387-69244-9

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

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.