Mathematical Logic

Foundations for Information Science

AvWei Li

Inbunden, Engelska, 2014

Del 25 i serien Progress in Computer Science and Applied Logic

555 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

718 kr

E-bok

861 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2014-11-24
Mått:155 x 235 x 23 mm
Vikt:641 g
Format:Inbunden
Språk:Engelska
Serie:Progress in Computer Science and Applied Logic
Antal sidor:301
Upplaga:2
Förlag:Springer Basel
ISBN:9783034808613
Originaltitel:Mathematical Logic - Basic Principles and Formal Calculus, ISBN 978-7-03-020096-9

Utforska kategorier

Mer om författaren

Wei Li is Professor at the School of Computer Science and Engineering and Director of the National Laboratory of Software Development Environment at Beihang University in Beijing, China.

Innehållsförteckning

Preface.- Preface to the Second Edition.- I Elements of Mathematical Logic.- 1 Syntax of First-Order Languages.- 2 Models of First-Order 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 Meta-Language Environments.- Appendix 1 Sets and Maps.- Appendix 2 Proof of the Representability Theorem.- Bibliography.- Index.

Mer från samma författare

Negative Emissions Technologies for Climate Change Mitigation

Steve A. Rackley, Tingzhen Ming, Wei Li, Michael Tyka, Adrienne Sewel, Diarmaid Clery, George Dowson, Peter Styring, Graham Andrews, Stephen McCord, Pol Knops, Renaud de Richter

Häftad, 2023

1 677 kr

Renewable Energy Microgeneration Systems

Qiang Yang, Ting Yang, Wei Li

Häftad, 2020

1 627 kr

Renewable Energy Microgeneration Systems

Wei Li, Ting Yang, Qiang Yang

E-bok

2020

2 278 kr

Negative Emissions Technologies for Climate Change Mitigation

Renaud de Richter, Pol Knops, Stephen McCord, Graham Andrews, Peter Styring, George Dowson, Diarmaid Clery, Adrienne Sewel, Michael Tyka, Wei Li, Tingzhen Ming, Steve A. Rackley

E-bok

2023

2 350 kr

AI Computing Systems

Zichen Xu, Zidong Du, Qi Guo, Wei Li, Ling Li, Yunji Chen

E-bok

2022

1 411 kr

AI Computing Systems

Yunji Chen, Ling Li, Wei Li, Qi Guo, Zidong Du, Zichen Xu

Häftad, 2023

1 034 kr

Intelligent Railway Alignment Design

Hao Pu, Paul Schonfeld, Wei Li, Taoran Song, Hong Zhang

Häftad, 2026

2 166 kr

Intelligent Railway Alignment Design

Hong Zhang, Taoran Song, Wei Li, Paul Schonfeld, Hao Pu

E-bok

2026

2 742 kr

Far East, Down South

David M Reimers, Raymond A. Mohl, John E. Van Sant, Chizuru Saeki, Christopher A. Airriess, Daniel Bronstein, Angela Chia-Chen Chen, John Howard, John Jung, Verna M. Keith, Karen J. Leong, Wei Li, Vincent H. Melomo, Greg Robinson, Wenxian Zhang, Raymond A. Mohl, John E. Van Sant, Chizuru Saeki

Häftad, 2021

393 kr

Ethnoburb

Wei Li

Inbunden, 2008

839 kr

Mer från samma serie

Applied Probability-Computer Science: The Interface Volume 1

Ralph L. Disney, Teunis J. Ott

Inbunden, 1982

547 kr

Applied Probability— Computer Science: The Interface

Ralph L. Disney, Teunis J. Ott

Häftad, 1982

547 kr

Applied Probability-Computer Science: The Interface Volume 1

R.L. Disney, T.J. Ott

Häftad, 1983

555 kr

Del 4

Notes on Introductory Combinatorics

George Polya, Robert E. Tarjan, Donald R. Woods

Häftad, 1990

884 kr

Del 5

Evolution of Programs

DERSHOWITZ

Häftad, 1983

555 kr

Del 6

Lecture Notes on Bucket Algorithms

DEVROYE

Häftad, 1985

547 kr

Del 7

Real-Time Control of Walking

M.D. Donner

Häftad, 1986

547 kr

Del 9

Feasible Mathematics

S.R. Buss, P.J. Scott

Häftad, 1990

555 kr

Del 10

Graph-Based Proof Procedures for Horn Clauses

RAATZ

Häftad, 1990

547 kr

Del 11

Proof Theory for General Unification

W. Snyder

Inbunden, 1991

572 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Del 7

Real-Time Control of Walking

M.D. Donner

Häftad, 1986

547 kr