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 (Paperback)
5 Angebote vergleichen
Bester Preis: € 45,90 (vom 03.06.2015)1
Tópicos de la Teoría de la Recursión
DE PB NW
ISBN: 9783659083754 bzw. 3659083755, in Deutsch, Editorial Académica Española, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
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.2015. 244 S. 220 mmVersandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
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.2015. 244 S. 220 mmVersandfertig in 3-5 Tagen, Softcover.
2
Symbolbild
Tópicos de la Teoría de la Recursión (2015)
DE PB NW RP
ISBN: 9783659083754 bzw. 3659083755, in Deutsch, EAE Mai 2015, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - 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. 244 pp. Spanisch.
This item is printed on demand - Print on Demand Titel. Neuware - 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. 244 pp. Spanisch.
3
Tópicos de la Teoría de la Recursión
DE NW
ISBN: 9783659083754 bzw. 3659083755, in Deutsch, neu.
Lieferung aus: Deutschland, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
T picos de la Teor a de la Recursi n
DE NW
ISBN: 9783659083754 bzw. 3659083755, in Deutsch, OmniScriptum GmbH & Co. KG, OmniScriptum GmbH & Co. KG, OmniScriptum GmbH & Co. KG, neu.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Free Shipping on eligible orders over $25, in-stock.
Piza Eduardo, Paperback, Spanish-language edition, Pub by OmniScriptum GmbH & Co. KG.
Piza Eduardo, Paperback, Spanish-language edition, Pub by OmniScriptum GmbH & Co. KG.
5
Symbolbild
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 (Paperback) (2015)
DE PB NW RP
ISBN: 9783659083754 bzw. 3659083755, in Deutsch, EAE, Taschenbuch, neu, Nachdruck.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkostenfrei.
Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Language: Spanish Brand New Book ***** Print on Demand *****.
Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Language: Spanish Brand New Book ***** Print on Demand *****.
Lade…