Articles liés à Mathematical Logic: Foundations for Information Science
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Présentation de l'éditeur :
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. 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 in relevant disciplines.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurBirkhauser Verlag AG
- Date d'édition2014
- ISBN 10 3034808615
- ISBN 13 9783034808613
- ReliureRelié
- Numéro d'édition2
- Nombre de pages301
Acheter neuf
En savoir plus sur cette édition
EUR 53,76
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic) by Li, Wei [Hardcover ]
Edité par
Birkhäuser
(2014)
ISBN 10 : 3034808615
ISBN 13 : 9783034808613
Neuf
Couverture rigide
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre Hardcover. Etat : new. N° de réf. du vendeur 9783034808613
Acheter neuf
EUR 53,76
Autre devise
Image d'archives
Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic, 25)
Edité par
Birkhäuser
(2014)
ISBN 10 : 3034808615
ISBN 13 : 9783034808613
Neuf
Couverture rigide
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Mar3113020037919
Acheter neuf
EUR 57,50
Autre devise
Image d'archives
Mathematical Logic : Foundations for Information Science
Edité par
Birkhäuser
(2014)
ISBN 10 : 3034808615
ISBN 13 : 9783034808613
Neuf
Couverture rigide
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783034808613_lsuk
Acheter neuf
EUR 60,17
Autre devise
Image fournie par le vendeur
Mathematical Logic
Edité par
Springer Basel Nov 2014
(2014)
ISBN 10 : 3034808615
ISBN 13 : 9783034808613
Neuf
Buch
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 in relevant disciplines. 316 pp. Englisch. N° de réf. du vendeur 9783034808613
Acheter neuf
EUR 53,49
Autre devise
Image fournie par le vendeur
Mathematical Logic : Foundations for Information Science
Edité par
Springer Basel
(2014)
ISBN 10 : 3034808615
ISBN 13 : 9783034808613
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783034808613
Acheter neuf
EUR 56,69
Autre devise
Image fournie par le vendeur
Mathematical Logic
Edité par
Springer Basel
(2014)
ISBN 10 : 3034808615
ISBN 13 : 9783034808613
Neuf
Couverture rigide
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A research monograph with a textbook style, well-structured and providing concrete illustrative examples as well as formal proofs for all theoretical results New ideas and methodologies from information science and technology are used to annotate . N° de réf. du vendeur 4318397
Acheter neuf
EUR 47,23
Autre devise
Image d'archives
Mathematical Logic
Edité par
Birkhauser (SPR)
(2014)
ISBN 10 : 3034808615
ISBN 13 : 9783034808613
Neuf
Couverture rigide
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre Etat : Brand New. Ship within 24hrs. Satisfaction 100% guaranteed. I Ships from multiple Locations I "Special Note" We do not Provide Service On APO & PO BOX Box addresses. Delivery with In 7-14 working Day Only. This Books ship from the United Kingdom & USA other locations in India depending on your location and availability. N° de réf. du vendeur AY 9783034808613
Acheter neuf
EUR 95,47
Autre devise