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 : Birkhäuser Basel : Imprint: Birkhäuser, 2010.
Edición:1st ed. 2010.
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:
  • Syntax of First-Order Languages
  • Models of First-Order Languages
  • Formal Inference Systems
  • Computability & Representability
  • Gödel Theorems
  • Sequences of Formal Theories
  • Revision Calculus
  • Version Sequences
  • Inductive Inference
  • Workflows for Scientific Discovery.

Ejemplares similares