The Resource Mathematical Logic : Foundations for Information Science, by Wei Li, (electronic resource)
Mathematical Logic : Foundations for Information Science, by Wei Li, (electronic resource)
Resource Information
The item Mathematical Logic : Foundations for Information Science, by Wei Li, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in European University Institute.This item is available to borrow from 1 library branch.
Resource Information
The item Mathematical Logic : Foundations for Information Science, by Wei Li, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in European University Institute.
This item is available to borrow from 1 library branch.
 Summary
 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 firstorder 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 metalanguage 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, Rcalculus 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
 Language
 eng
 Edition
 2nd ed. 2014.
 Extent
 XIV, 301 pages : 13 illustrations ;
 Contents

 Preface
 Preface to the Second Edition
 I Elements of Mathematical Logic
 1 Syntax of FirstOrder Languages
 2 Models of FirstOrder Languages
 3 Formal Inference Systems
 4 Computability & Representability
 5 Gödel Theorems
 II Logical Framework of Scientific Discovery
 6 Sequences of Formal Theories
 7 Revision Calculus
 8 Version Sequences
 9 Inductive Inference
 10 MetaLanguage Environments
 Appendix 1 Sets and Maps
 Appendix 2 Proof of the Representability Theorem
 Bibliography
 Index
 Isbn
 9783034808620
 Label
 Mathematical Logic : Foundations for Information Science
 Title
 Mathematical Logic
 Title remainder
 Foundations for Information Science
 Statement of responsibility
 by Wei Li
 Language
 eng
 Summary
 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 firstorder 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 metalanguage 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, Rcalculus 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
 Assigning source
 Provided by Publisher
 http://library.link/vocab/creatorName
 Li, Wei
 Image bit depth
 0
 Literary form
 non fiction
 http://library.link/vocab/relatedWorkOrContributorName
 SpringerLink (Online service)
 Series statement
 Progress in Computer Science and Applied Logic,
 Series volume
 25
 http://library.link/vocab/subjectName

 Computer science
 Mathematical logic
 Label
 Mathematical Logic : Foundations for Information Science, by Wei Li, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier.
 Color
 not applicable
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent.
 Contents
 Preface  Preface to the Second Edition  I Elements of Mathematical Logic  1 Syntax of FirstOrder Languages  2 Models of FirstOrder Languages  3 Formal Inference Systems  4 Computability & Representability  5 Gödel Theorems  II Logical Framework of Scientific Discovery  6 Sequences of Formal Theories  7 Revision Calculus  8 Version Sequences  9 Inductive Inference  10 MetaLanguage Environments  Appendix 1 Sets and Maps  Appendix 2 Proof of the Representability Theorem  Bibliography  Index
 Control code
 9783034808620
 Dimensions
 unknown
 Edition
 2nd ed. 2014.
 Extent
 XIV, 301 pages : 13 illustrations ;
 File format
 multiple file formats
 Form of item
 electronic
 Governing access note
 Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, noncommercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
 Isbn
 9783034808620
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia.
 Media type code

 c
 Other control number
 10.1007/9783034808620
 Other physical details
 1 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (OCoLC)899249140
 Label
 Mathematical Logic : Foundations for Information Science, by Wei Li, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier.
 Color
 not applicable
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent.
 Contents
 Preface  Preface to the Second Edition  I Elements of Mathematical Logic  1 Syntax of FirstOrder Languages  2 Models of FirstOrder Languages  3 Formal Inference Systems  4 Computability & Representability  5 Gödel Theorems  II Logical Framework of Scientific Discovery  6 Sequences of Formal Theories  7 Revision Calculus  8 Version Sequences  9 Inductive Inference  10 MetaLanguage Environments  Appendix 1 Sets and Maps  Appendix 2 Proof of the Representability Theorem  Bibliography  Index
 Control code
 9783034808620
 Dimensions
 unknown
 Edition
 2nd ed. 2014.
 Extent
 XIV, 301 pages : 13 illustrations ;
 File format
 multiple file formats
 Form of item
 electronic
 Governing access note
 Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, noncommercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
 Isbn
 9783034808620
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia.
 Media type code

 c
 Other control number
 10.1007/9783034808620
 Other physical details
 1 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (OCoLC)899249140
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.eui.eu/portal/MathematicalLogicFoundationsforInformation/ycf9uweFqk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.eui.eu/portal/MathematicalLogicFoundationsforInformation/ycf9uweFqk/">Mathematical Logic : Foundations for Information Science, by Wei Li, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.eui.eu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.eui.eu/">European University Institute</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Mathematical Logic : Foundations for Information Science, by Wei Li, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.eui.eu/portal/MathematicalLogicFoundationsforInformation/ycf9uweFqk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.eui.eu/portal/MathematicalLogicFoundationsforInformation/ycf9uweFqk/">Mathematical Logic : Foundations for Information Science, by Wei Li, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.eui.eu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.eui.eu/">European University Institute</a></span></span></span></span></div>