Imagen de Amazon.com
Vista normal
Vista MARC
Introducción a la Lógica Matematica / Patrick Suppes
Tipo de material:
TextoIdioma: Es Detalles de publicación: México Reverte Ediciones S.A. 2012Edición: 1a ediciónDescripción: 278 páginas. 16 X 22 cm. Ejercicios, Teoremas. 1 Ejem. en Adahualas, 5 Ejem. en CuscoISBN: - 9789686708011
- QA9 / S94
Contenidos:
Resumen: La obra presente de 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 acción, el objetivo es proporcionar inferencias 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 desarrolla en el texto.
Prefacio. -- Simbolización proposiciones. -- Inferencia lógica. -- Certeza y validez. -- Tablas de certeza. -- Términos, predicados y cuantificadores universales. -- Especificación universal y leyes de identidad. -- Un sistema matemático simple axiomas de la adicción. -- Generalización universal.
No hay ítems correspondientes a este registro
Prefacio. -- Simbolización proposiciones. -- Inferencia lógica. -- Certeza y validez. -- Tablas de certeza. -- Términos, predicados y cuantificadores universales. -- Especificación universal y leyes de identidad. -- Un sistema matemático simple axiomas de la adicción. -- Generalización universal.
La obra presente de 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 acción, el objetivo es proporcionar inferencias 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 desarrolla en el texto.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.