Portada del libro de Tópicos de la Teoría de la Recursión
Título del libro:

Tópicos de la Teoría de la Recursión

Aplicaciones de la teoría de la recursión a diversos campos de la matemática

Editorial Académica Española (2015-05-13 )

Books loader

Omni badge apto para el cupón
ISBN-13:

978-3-659-08375-4

ISBN-10:
3659083755
EAN:
9783659083754
Idioma del libro:
Notas y citas / Texto breve:
La teoría de la recursión trata del estudio de los problemas de decisión en diversos campos de la matemática. La teoría busca dilucidar cuáles problemas de decisión son susceptibles de ser resueltos en forma algorítmica, clasificando además los problemas de decisión no resolubles de acuerdo a sus dificultades y circunstancias intrínsecas de irresolubilidad. Las herramientas básicas de la teoría son los diversos modelos de las nociones de computabilidad y de algoritmo, tales como las funciones parcialmente recursivas, las máquinas de Turing, los sistemas productivos de Post, el lambda-cálculo de Church y algunos otros modelos. La teoría experimentó su más fuerte desarrollo en la segunda mitad del siglo XX, gracias a los grandes aportes iniciales de Gödel, Church, Turing, Kleene y Post, entre otros. En esta obra se estudian algunas de las aplicaciones de la teoría a campos tan diversos como la teoría de los predicados, las lógicas aritméticas, los sistemas productivos, las lógicas de primer orden, los cálculos proposicionales parciales, la jerarquía aritmética de Kleene, el décimo problema de Hilbert y las épicas batallas entre Hércules y la Hidra.
Editorial:
Editorial Académica Española
Sitio web:
https://www.eae-publishing.com/
Por (autor):
Eduardo Piza
Número de páginas:
244
Publicado en:
2015-05-13
Stock:
Disponible
Categoría:
Matemáticas
Precio:
45.90 €
Palabras clave:
Algoritmos, problemas de decisión, funciones recursivas, lógicas de primer orden, cálculos proposicionales parciales, décimo problema de Hilbert, Hércules y la Hidra, jerarquía de Kleene, máquinas y grados de Turing, teoría de predicados, sistemas semi-Thue, teorema de la incompletitud de Gödel

Books loader

Newsletter

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay PayPal CryptoWallet Transferencia Bancaria

  0 productos en el carrito
Editar carrito
Loading frontend
LOADING