Kontakt
Jak nakupovat
Doručení
Nákupní rádce
Topicos de la Teoria de la Recursion
Španělština
93 b
Až 30 dní na vrácení zboží
Zákazníci také koupili
/
Brožovaná
641
Kč
/
Brožovaná
1 115
Kč
/
Hračka
752
Kč
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.
Informace o knize
Španělština
Kategorie
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovanéhoMohlo by vás také zajímat
/
Brožovaná
731
Kč
/
Brožovaná
1 029
Kč
/
Brožovaná
692
Kč
/
Pevná
2 647
Kč
/
Brožovaná
354
Kč
/
Brožovaná
756
Kč
/
Pevná
2 357
Kč
