Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. It provides guidelines for the development of information science and technology. This book, with 10 chapters, presents basic principles and formal calculus of mathematical logic systematically. The first five chapters cover the core contents of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Godel's theorems. The contents of the last five chapters are extensions and developments of classical mathematical logic. This part elaborates version sequences of formal theories and their limits, the system of revision calculus, proxchemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. It also describes the paradigm of environments of three kinds of languages and the basic principles of metalanguage environments and addresses the workflow of scientific research in the information era. The first five chapters of this book may be used as an undergraduate text in mathematical logic and the last five chapters may be taught to graduate students in relevant disciplines. The book may serve as a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences.
具体描述
读后感
评分
评分
评分
评分
用户评价
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有