Libros Y Revistas | varias ofertas hoy
-5%1 
- Editorial Urss -
20.81 EUR 21.91 EUR
Editorial Urss Lecciones De Matemática: Lógica, Algoritmos, Computabilidad. De Diofanto A Turing Y Gdel. T.6
Agapea.com
Brand: Editorial Urss
EAN: 9785396000698
MPN: 9785396000698
Categoría: Libros y revistas
Libro: Lecciones de Matemática: Lógica, algoritmos, computabilidad. De Diofanto a Turing y Gdel. T.6 (978-5-396-00069-8) de V. BOSS (Editorial URSS ) Comprar Libros de Ciencias Técnicas .Matemáticas .. El presente libro se caracteriza por una exposición breve y clara de los temas tratados, valiéndose de analogías y sin entrar en detalles innecesarios. Se presta especial atención a la interrelación de los resultados y al enfoque general del material considerado. Este tomo está dedicado a los fundamentos de la matemática, los problemas de la computabilidad y la deducibilidad. Entre los temas tratados podemos mencionar las máquinas de Turing, las funciones recursivas, la lógica, la teoría de modelos, la indecidibilidad de la aritmética y la imposibilidad de axiomatizarla, el décimo problema de Hilbert. Los problemas clásicos relacionados con estos temas se han abordado desde un nuevo punto de vista, facilitando de este modo su comprensión (por ejemplo, los teoremas de Gdel se demuestran en unas pocas líneas). Para estudiantes, profesores, ingenieros y científicos. 0 Introducción a la serie \"Lecciones de Matemática\" Prólogo al sexto tomo 1 Algoritmos y computabilidad 1.1. Cálculos universales 1.2. ?`Qué es un algoritmo? 1.3. Computabilidad 1.4. Ejemplos y comentarios 1.5. Problema de la indeterminación 1.6. Conjuntos enumerables 1.7. Procedimientos efectivos 1.8. Máquinas de Turing 1.9. Sobre el funcionamiento de las máquinas de Turing 1.10. Funciones recursivas 1.11. Conjuntos diofánticos 1.12. Comentarios y complementos 2 Incompletitud de la aritmética 2.1. Teoremas de G\"odel 2.2. Imposibilidad de formalización de la verdad 2.3. Consistencia 2.4. Ecuaciones no resolubles 2.5. Sobre las verdades aritméticas 2.6. ?`Es posible ayudar a la aritmética desde afuera? 2.7. Demostración del segundo teorema de G\"odel 2.8. Paradojas lingísticas 3 Funciones universales y enumeraciones 3.1. Funciones universales 3.2. Conjuntos universales 3.3. Isomorfismo de enumeraciones de G\"odel 3.4. Teorema del punto fijo 3.5. Teorema de Rice 3.6. Enumeraciones y g\"odelización 4 Deducibilidad 4.1. Conflicto con la definición de verdad 4.2. Problema HSI de Tarski 4.3. Algoritmos normales de Márkov 4.4. Sistemas de Post 4.5. Problema de la equivalencia de palabras 4.6. Tag-problemas 4.7. Gramáticas formales 4.8. Teoría y práctica 5 Lógica matemática 5.1. ?`En qué consiste su misión? 5.2. Variables, conectivas y funciones 5.3. álgebra de Boole 5.4. Fórmulas, proposiciones, predicados 5.5. Sintaxis y semántica 5.6. Cálculo proposicional 5.7. Lenguajes de primer orden 5.8. Interpretaciones y modelos 5.9. El lenguaje de la aritmética 5.10. Carácter aritmético de las funciones computables 5.11. Medios prohibidos 5.12. Comentarios 6 El lenguaje diofántico y el décimo problema de Hilbert 6.1. Conjuntos diofánticos y funciones diofánticas 6.2. Problemas indecidibles 6.3. Polinomio universal 6.4. Resultados técnicos 6.5. Complementos 7 Matemática constructiva 7.1. Números...
Compara precios desde:
Editorial Urss in Libros y revistas
EAN: 9785396000698
MPN: 9785396000698
Categoría: Libros y revistas
Libro: Lecciones de Matemática: Lógica, algoritmos, computabilidad. De Diofanto a Turing y Gdel. T.6 (978-5-396-00069-8) de V. BOSS (Editorial URSS ) Comprar Libros de Ciencias Técnicas .Matemáticas .. El presente libro se caracteriza por una exposición breve y clara de los temas tratados, valiéndose de analogías y sin entrar en detalles innecesarios. Se presta especial atención a la interrelación de los resultados y al enfoque general del material considerado. Este tomo está dedicado a los fundamentos de la matemática, los problemas de la computabilidad y la deducibilidad. Entre los temas tratados podemos mencionar las máquinas de Turing, las funciones recursivas, la lógica, la teoría de modelos, la indecidibilidad de la aritmética y la imposibilidad de axiomatizarla, el décimo problema de Hilbert. Los problemas clásicos relacionados con estos temas se han abordado desde un nuevo punto de vista, facilitando de este modo su comprensión (por ejemplo, los teoremas de Gdel se demuestran en unas pocas líneas). Para estudiantes, profesores, ingenieros y científicos. 0 Introducción a la serie \"Lecciones de Matemática\" Prólogo al sexto tomo 1 Algoritmos y computabilidad 1.1. Cálculos universales 1.2. ?`Qué es un algoritmo? 1.3. Computabilidad 1.4. Ejemplos y comentarios 1.5. Problema de la indeterminación 1.6. Conjuntos enumerables 1.7. Procedimientos efectivos 1.8. Máquinas de Turing 1.9. Sobre el funcionamiento de las máquinas de Turing 1.10. Funciones recursivas 1.11. Conjuntos diofánticos 1.12. Comentarios y complementos 2 Incompletitud de la aritmética 2.1. Teoremas de G\"odel 2.2. Imposibilidad de formalización de la verdad 2.3. Consistencia 2.4. Ecuaciones no resolubles 2.5. Sobre las verdades aritméticas 2.6. ?`Es posible ayudar a la aritmética desde afuera? 2.7. Demostración del segundo teorema de G\"odel 2.8. Paradojas lingísticas 3 Funciones universales y enumeraciones 3.1. Funciones universales 3.2. Conjuntos universales 3.3. Isomorfismo de enumeraciones de G\"odel 3.4. Teorema del punto fijo 3.5. Teorema de Rice 3.6. Enumeraciones y g\"odelización 4 Deducibilidad 4.1. Conflicto con la definición de verdad 4.2. Problema HSI de Tarski 4.3. Algoritmos normales de Márkov 4.4. Sistemas de Post 4.5. Problema de la equivalencia de palabras 4.6. Tag-problemas 4.7. Gramáticas formales 4.8. Teoría y práctica 5 Lógica matemática 5.1. ?`En qué consiste su misión? 5.2. Variables, conectivas y funciones 5.3. álgebra de Boole 5.4. Fórmulas, proposiciones, predicados 5.5. Sintaxis y semántica 5.6. Cálculo proposicional 5.7. Lenguajes de primer orden 5.8. Interpretaciones y modelos 5.9. El lenguaje de la aritmética 5.10. Carácter aritmético de las funciones computables 5.11. Medios prohibidos 5.12. Comentarios 6 El lenguaje diofántico y el décimo problema de Hilbert 6.1. Conjuntos diofánticos y funciones diofánticas 6.2. Problemas indecidibles 6.3. Polinomio universal 6.4. Resultados técnicos 6.5. Complementos 7 Matemática constructiva 7.1. Números...
Compara precios desde:
Editorial Urss in Libros y revistas
