Librería Científica
0 item
Categories

Dragalin A.G.

  • -7%
    -7%
     Quick View

    Lógica matemática: Capítulos complementarios

    S/130.00

    240 páginas

    A. N. Kolmogórov y A. G. Dragalin, eminentes lógicos y matemáticos soviéticos, ejercieron una marcada influencia en el estilo y la dirección de las investigaciones en el campo de la lógica y la filosofía matemática a nivel mundial.

    El presente libro constituye el segundo tomo de la obra «Lógica matemática» (el primer tomo, “Introducción a la lógica matemática”, también fue editado por nuestra editorial), en la que se da una exposición clásica de los conceptos y resultados fundamentales de la lógica matemática con elementos de teoría de conjuntos, teoría de algoritmos y fundamentos de la matemática. Ambos tomos fueron escritos sobre la base del curso de lógica matemática dictado por los autores en la Facultad de Mecánica y Matemática de la Universidad Estatal “M. V. Lomonósov” de Moscú.

    En el primer capítulo del presente libro se estudia la teoría de conjuntos sobre la base del sistema axiomático de Zermelo—Fraenkel. El segundo capítulo es una introducción a la teoría de algoritmos (computabilidad según Turing, tesis de Church, conjuntos recursivos, conjuntos recursivamente enumerables). El tercer capítulo está dedicado a la teoría de la deducción (teorema de completitud del cálculo de predicados de G\”odel, teorema de L\”owenheim—Skolem, segundo teorema de G\”odel) y concluye con el examen del programa de Hilbert de fundamentación de la matemática.

    Este libro está dirigido a lectores de nivel universitario interesados en la lógica matemática y los problemas filosóficos de la matemática moderna.

    Add to cart
  • Quick View

    Lógica matemática: Introducción a la lógica matemática

    S/150.00

    232 páginas

    A. N. Kolmogórov y A. G. Dragalin, eminentes lógicos y matemáticos soviéticos, ejercieron una marcada influencia en el estilo y la dirección de las investigaciones en el campo de la lógica y la filosofía matemática a nivel mundial.

    El presente libro fue escrito sobre la base del curso de lógica matemática impartido por ambos autores en la Facultad de Mecánica y Matemática de la Universidad Estatal «M. V. Lomonósov» de Moscú, y constituye el primer tomo de la obra «Lógica matemática», en la cual se da una exposición clásica de los conceptos y resultados fundamentales de la lógica matemática con elementos de teoría de conjuntos, teoría de algoritmos y fundamentos de la matemática.

    El primer capítulo constituye por sí mismo un curso inicial mínimo de lógica matemática; al final del libro se presentan dos anexos relacionados con diferentes aplicaciones prácticas del material de este capítulo (códigos con corrección de errores y esquemas de contacto). En el segundo capítulo se analiza la semántica de los lenguajes lógico-matemáticos desde un punto de vista más específico. El tercer capítulo está dedicado a la deducibilidad en la lógica de predicados y a las teorías de primer orden.

    La forma misma de exposición de los resultados fundamentales de la lógica moderna (elementos de la teoría de conjuntos, fundamentos de la lógica de proposiciones y la lógica de predicados) no supone una preparación especial por parte del lector, lo que hace que este libro sea accesible a toda persona interesada en la lógica matemática y los problemas filosóficos de la matemática moderna.

    Read more