Mathematical Logic Foundations for Information Science /

Mostrar otras versiones (1)

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 cl...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Li, Wei (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Basel : Springer Basel : Imprint: Birkhäuser, 2014.
Edición:2nd ed. 2014.
Colección:Progress in Computer Science and Applied Logic, 25
Temas:
Machine theory.
Mathematical logic.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares