Cantitate/Preț
Produs
Total produse
Vezi coșul
Mathematical Problems from Applied Logic II: Logics for the XXIst Century de Dov Gabbay

Mathematical Problems from Applied Logic II: Logics for the XXIst Century: International Mathematical Series, cartea 5

Editat de Dov Gabbay, Sergei Goncharov, Michael Zakharyaschev
en Limba Engleză Hardback – 2 apr 2007
"Mathematical Problems from Applied Logic II" presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
Contributors include: Sergei Artemov, USA; John Case, USA; Sergei Goncharov, Russia, Judit X. Madarász, István Németi, and Gergely, Székely, Hungary, Anil Nerode, USA and Dimiter Vakarelov, Bulgaria.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 62026 lei  6-8 săpt.
  Springer – 23 noi 2010 62026 lei  6-8 săpt.
Hardback (1) 62484 lei  6-8 săpt.
  Springer – 2 apr 2007 62484 lei  6-8 săpt.

Din seria International Mathematical Series

Preț: 62484 lei

Preț vechi: 73511 lei
-15% Nou

Puncte Express: 937
Preț estimativ în valută:
11959€ • 12616$ • 9966£

Carte tipărită la comandă

Livrare economică 02-16 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780387692449
ISBN-10: 0387692444
Pagini: 354
Ilustrații: XXX, 354 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.67 kg
Ediția:2007
Editura: Springer
Colecția Springer
Seria International Mathematical Series

Locul publicării:New York, NY, United States

Public țintă

Research

Cuprins

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.

Textul de pe ultima copertă

Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
Contributors include: Sergei Artemov, USA; John Case, USA; Sergei Goncharov, Russia, Judit X. Madarász, István Németi, and Gergely, Székely, Hungary, Anil Nerode, USA and Dimiter Vakarelov, Bulgaria.