Más ...
Este libro fue ideado como un primer curso de lógica matemática, escrito sobre la base de las lecciones impartidas por los autores como parte del curso (de un semestre) de lógica matemática que se ofrece a los estudiantes del primer curso de la Facultad de Mecánica y Matemática de la Universidad Lomonósov de Moscú. El objetivo de los autores es dar a conocer al lector los conceptos fundamentales de la lógica matemática, los cuales son de importancia para los matemáticos de todas las especialidades. Una gran atención se dedica al uso correcto de las notaciones exactas utilizadas en la lógica matemática para la escritura de las afirmaciones matemáticas, así como a las leyes lógicas, los fundamentos de la teoría de conjuntos y la teoría de algoritmos. El presente libro contiene tres capítulos y forma la primera parte del curso escrito por los autores. 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 del primer 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 deducibilidad en la lógica de predicados y a las teorías de primer orden. Aquí se discuten algunos resultados importantes de la lógica matemática. Las demostraciones correspondientes se darán en la segunda parte del curso (véase), donde se estudian los principios de la teoría de conjuntos y la teoría de algoritmos, el teorema de completitud de Gödel en el cálculo de predicados, y se examina el programa de Hilbert de fundamentación de la matemática. El estudio del curso de lógica matemática supone la resolución de ejercicios y problemas en las clases prácticas. Para esto se recomienda utilizar el libro de problemas. Todos los problemas mostrados en el texto son fáciles y no pueden sustituir los problemas del libro recomendado. En el libro se utilizan las siguientes notaciones. El símbolo $..$ indica el inicio de una demostración, mientras que el símbolo $\pp$ denota su final. Los signos $\bydef$, $\Rightarrow$, $\Leftrightarrow$ sustituyen las frases "por definición", "si..., entonces", "si y sólo si", respectivamente. Las secciones y subsecciones marcadas con un asterisco ($\star$) pueden ser omitidas durante una primera lectura. En este libro hemos tratado de adoptar un método "concéntrico" de exposición, es decir, los temas más importantes se discuten en varias oportunidades durante el proceso de enseñanza, y van adquiriendo paulatinamente una claridad completa. En la segunda parte del curso (véase) la mayor atención se dedica a los resultados fundamentales de la lógica matemática, se regresa al estudio del concepto de conjunto, pero esta vez sobre la base de la teoría axiomática formal teoría axiomática formal de Zermelo–Fraenkel. De esta manera, con ayuda de esta obra, el lector que no es especialista en lógica obtendrá una idea precisa sobre los resultados clásicos de la lógica, a la vez que el futuro especialista en esta rama de la matemática recibirá la preparación necesaria para el estudio de libros de texto más detallados.
Andréi Nikoláievich Kolmogórov
Eminente matemático soviético, miembro de la Academia de Ciencias de la Unión Soviética. Nació el 25 de abril de 1903 en la ciudad de Tambov (Rusia). En 1925 concluyó sus estudios en la Primera Universidad de Moscú (célebre institución que, posteriormente, se convertiría en la actual Universidad Estatal «M. V. Lomonósov» de Moscú), donde trabajó como profesor desde 1931. Ejerció el cargo de jefe de varios departamentos y decano de la Facultad de Mecánica y Matemática de esta universidad. Autor de numerosos trabajos considerados clásicos en la teoría de funciones de variable real, teoría de conjuntos, topología, lógica constructiva, análisis funcional, mecánica teórica, teoría de algoritmos, teoría de la información, etcétera. Los resultados logrados por Kolmogórov en la teoría de probabilidades tienen carácter fundamental. Es bien conocida su actividad relacionada con la metodología y la organización de la enseñanza de la matemática. Ocupó el cargo de presidente de la Sociedad Matemática de Moscú. Doctor honoris causa de numerosas universidades extranjeras, miembro de diferentes academias y sociedades científicas, galardonado con premios internacionales y órdenes estatales.
Albert Grigórievich Dragalin Destacado representante de la escuela soviética de constructivismo matemático. Nació el 10 de abril de 1941 en la isla Morzhebiets (Región de Arjánguelsk, Rusia). Estudió en la Facultad de Mecánica y Matemática de la Universidad Estatal «M. V. Lomonósov» de Moscú, donde trabajó desde 1966. Desde 1983 vivió en Hungría. Dirigió el Departamento de Matemática de Cálculo de la Universidad «L. Kossuth» de la ciudad de Debrecen. La Academia de Ciencias de Hungría le otorgó el título de Doctor en Ciencias en 1988. Autor de trabajos fundamentales sobre los fundamentos de la teoría de modelos y la teoría de la demostración en la lógica intuicionista, y sobre los métodos constructivos en el análisis no estándar.
|
Comprar en Perú: URSS. 224 pp. (Spanish). Rústica. 16.9 EUR
De forma viva y amena, el autor expone una diversa información sobre el héroe del libro, la famosa constante matemática que aparece en los lugares más inesperados, obteniendo de este modo una especie de "pequeña enciclopedia" del número pi. La parte principal del libro es de carácter recreativo,... (Información más detallada) URSS. 232 pp. (Spanish). Rústica. 19.9 EUR
Los problemas de los que se compone este libro atrajeron a los autores por su estética. Las preguntas ?`qué es lo que hace que nos guste uno u otro problema? y ?`cuál es la fuente de belleza y elegancia en la matemática? constituyen los temas fundamentales que se discuten en esta obra. La exposición... (Información más detallada) URSS. 80 pp. (Russian). Rústica. 5.9 EUR
Коллекция забавных историй и легенд, шуточных дефиниций и остроумных высказываний химиков и о химиках. (Información más detallada) 376 pp. (English). Cartoné. 110.9 EUR
The present book includes the first full catalogue of Russian porcelain of the 18th and 19th centuries from the Vladimir Tsarenkov Collection. The collection has over 250 outstanding works by leading Russian manufactories — the Imperial Porcelain Factory in Saint Petersburg and the Gardner Porcelain... (Información más detallada) URSS. 144 pp. (Spanish). Rústica. 12.9 EUR
En el libro se describe de manera accesible y amena un sistema de ejercicios para el rejuvenecimiento facial. Los ejercicios se ilustran mediante fotografías que facilitan la comprensión del texto y permiten realizar individualmente la gimnasia. Los resultados alcanzados tras la realización del curso... (Información más detallada) URSS. 136 pp. (Spanish). Rústica. 12.9 EUR
En el libro se presenta de una manera clara y amena un sistema de ejercicios que contribuyen al rejuvenecimiento del rostro sin necesidad de recurrir a una intervención quirúrgica. El sistema es accesible a todos, no exige gastos materiales complementarios y es extraordinariamente efectivo. Todo el que... (Información más detallada) URSS. 160 pp. (Spanish). Rústica. 14.9 EUR
El concepto de coherencia surgió en la óptica clásica. Hoy este concepto no sólo se ha convertido en un concepto general de la física, sino que se ha salido del marco de esta ciencia. En este libro el problema de la coherencia se estudia desde diferentes posiciones. Se examinan, además, las propiedades... (Información más detallada) URSS. 272 pp. (Spanish). Rústica. 21.9 EUR
El elemento clave de la física contemporánea es el concepto de campo cuántico. Hoy en día se considera que este constituye la forma universal de la materia que subyace a todas sus manifestaciones físicas. Este libro puede ser recomendado como una primera lectura para aquellos estudiantes y físicos de... (Información más detallada) URSS. 224 pp. (Spanish). Rústica. 19.9 EUR
La presente edición de la obra Matemática en el tablero de ajedrez, del conocido ajedrecista y escritor Yevgueni Guik, consta de tres tomos, a lo largo de los cuales se describen diversos puntos de contacto entre estas dos actividades del intelecto humano. Se resuelven diversos tipos de problemas matemáticos... (Información más detallada) URSS. 128 pp. (Russian). Rústica. 12.9 EUR
Это рассказы о любви, нежности, желании и страсти, которая бывает и возвышенной, и цинично-жестокой. В них абсурд и гротеск чередуются с методичной рассудочностью, милосердием и муками совести. Их персонажи – человеческие, слишком человеческие, - однажды встречаются, проживают кусок... (Información más detallada) |