Mathematical Logic Foundations for Information Science

Idioma: inglés

Editorial: Birkh?user, 2014

3034808615 / 9783034808613

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: Home-set, Mannheim, AlemaniaHome-set

Vendedor de 5 estrellas

Vendedor de IberLibro desde 13 de abril de 2026

Tapa blanda

Condición: Nuevo

EUR 66,86

Envío por EUR 49,90 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and G?del's theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage.The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging.This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students inrelevant disciplines. Sprache: Englisch Gewicht in Gramm: 589.…

N° de ref. del artículo IB-369732

Título
Mathematical Logic Foundations for Information Science
Autor
Wei Li
Editorial
Birkh?user
Año de publicación
2014
Estado
Neu
Encuadernación
Gebundene Ausgabe
Idioma
inglés
ISBN 10
3034808615
ISBN 13
9783034808613
Edición
2ª Edición
Peso del artículo
589 gramos

Home-set

Mannheim, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 13 de abril de 2026

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 10 a 12 días hábilesDe 8 a 10 días hábiles
Primer artículoEUR 49,90EUR 75,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque

Especialidad

Buch

Información empresarial del vendedor

Home-set

Alemania