Primer curso de lógica matemática /

Mostrar otras versiones (1)

Modernamente la Lógica se ha convertido en una materia no sólo profunda; sino de gran amplitud y aplicación a otras Ciencias. Sólo desde hace algunos años se han establecido relaciones sistemáticas entre la Lógica y la Matemática; formulándose una teoría de inferencia completamente explícita que se...

Descripción completa

Detalles Bibliográficos
Clasificación:QA9 S9.68
Autor principal: Suppes, Patrick, 1922-
Otros Autores: Hill, Shirley A. (coaut), Lines Escardo, Enrique (tr)
Formato: Libro
Idioma:Español
Publicado: México, D.F. : Reverté, 1992.
Temas:
Lógica matemática

MARC

LEADER 00000nam a2200000 a 4500
001 000062371
005 20160627105200.0
008 031120r19922011mx g 000 0 spa d
020 |a 9789686708011 
040 |a SpMaUCFS  |b spa  |d Mx-MxUAM 
041 0 |a spa 
050 4 |a QA9  |b S9.68 
082 0 0 |a 511.3  |2 21 
090 |a QA9  |b S9.68 
099 |a QA9  |a .S88 2002 
100 1 |a Suppes, Patrick,  |d 1922- 
240 1 0 |a First course in mathematical logic.  |l Español 
245 1 0 |a Primer curso de lógica matemática /  |c Patrick Suppes, Shirley Hill ; versión española de Enrique Lines Escardo. 
246 0 4 |a Introducción a la lógica matemática. 
260 |a México, D.F. :  |b Reverté,  |c 1992. 
300 |a ix, 278 p. ;  |c 22 cm. 
500 |a Reimpresión 2011 
500 |a Traducción de: First course in mathematical logic 
500 |a Título de la cubierta: Introducción a la lógica matemática 
500 |a Incluye índice 
505 2 0 |g 1.  |t Simnolización de proposiciones --  |g 2.  |t Inferencia lógica --  |g 3.  |t Certeza y validez --  |g 4.  |t Tablas de certeza --  |g 5.  |t Términos, predicados y cuantificadores --  |g 6.  |t Especificación universal y leyes de identidad --  |g 7.  |t Sistema matemático simple: axiomas de la adición --  |g 8.  |t Generalización universal. 
520 |a Modernamente la Lógica se ha convertido en una materia no sólo profunda; sino de gran amplitud y aplicación a otras Ciencias. Sólo desde hace algunos años se han establecido relaciones sistemáticas entre la Lógica y la Matemática; formulándose una teoría de inferencia completamente explícita que se adecua a todos los ejemplos típicos del razonamiento deductivo en Matemáticas y a las Ciencias empíricas. En la mente de todos los matemáticos modernos está el concepto de axioma y la deducción de teoremas a partir de axiomas. El propósito de este libro es introducir al estudiante en el método deductivo de la Matemática moderna; a un nivel que; aun siendo riguroso; sea lo suficientemente sencillo en presentación y contexto; para que permita una fácil comprensión. No se puede poner en duda la importancia en la Matemática moderna; de la teoría de la demostración y de la metodología en la deducción de teoremas a partir de axiomas. Sin embargo; el desarrollo de la destreza en los razonamientos deductivos; ha sido considerado como de interés secundario en los planes de enseñanza de especialización matemática. El punto de vista representado en este libro es el de que una enseñanza de lógica matemática bien meditada y planeada; al principio de la carrera del estudiante le proporcionará una base para estudios de Matemáticas más profundos y penetrantes. El objetivo del presente volumen comprende la teoría proposicional de inferencia; inferencia con cuantificadores universales; y aplicaciones de la teoría de la inferencia al desarrollo de la teoría elemental de grupos conmutativos; o la teoría de la adición; que es como se ha desarrollado en el texto. 
538 |a Comunidad, CBI, Presupuesto Biblioteca 156.02.01.92, IVL20090021, IBI20090140, Vale de librarías UAM, Trámite IST20090130010, $262.50 ($87.50 c/u), W261842-W261844 
538 |a Sandoval Sólis, María Luisa (N.E. 16185) / Depto. de matemáticas / CBI / Presupuesto Biblioteca 156.04.02.92 / ICL20110056 / IB120110235 / Reverté ediciones Fact. A-1142 / w268982 / $87.50 / c.7 
650 4 |a Lógica matemática 
740 0 |a Introducción a la lógica matemática 
700 1 |a Hill, Shirley A.,  |e coaut 
700 1 |a Lines Escardo, Enrique,  |e tr 
905 |a LIBROS 
938 |a Comunidad  |c CBI  |d Presupuesto Biblioteca 156.02.01.92  |e IVL20090021  |f IBI20090140 
938 |a Sandoval Sólis, María Luisa (N.E. 16185)  |b Depto. de matemáticas  |c CBI  |d Presupuesto Biblioteca 156.04.02.92  |e ICL20110056  |f IB120110235 
949 |a Biblioteca UAM Iztapalapa  |b Colección General  |c QA9 S9.68 

Ejemplares similares