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.
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|
Libros
|
Biblio. Andahuaylas UTEA | E.P. Contabilidad | 510.01 S94 2012 (Navegar estantería(Abre debajo)) | Disponible | BAND16120412 | |||
|
Libros
|
Biblioteca Cusco UTEA Biblioteca Collasuyo | E.P. Contabilidad | 510.01 S94 2012 (Navegar estantería(Abre debajo)) | ej.1 | Disponible | BCUS18030540 | ||
|
Libros
|
Biblioteca Cusco UTEA Biblioteca Collasuyo | E.P. Contabilidad | 510.01 S94 2012 (Navegar estantería(Abre debajo)) | ej.2 | Disponible | BCUS18030541 | ||
|
Libros
|
Biblioteca Cusco UTEA Biblioteca Collasuyo | E.P. Contabilidad | 510.01 S94 2012 (Navegar estantería(Abre debajo)) | ej.3 | Disponible | BCUS18030542 | ||
|
Libros
|
Biblioteca Cusco UTEA Biblioteca Collasuyo | E.P. Contabilidad | 510.01 S94 2012 (Navegar estantería(Abre debajo)) | ej.4 | Disponible | BCUS18030543 | ||
|
Libros
|
Biblioteca Cusco UTEA Biblioteca Collasuyo | E.P. Contabilidad | 510.01 S94 2012 (Navegar estantería(Abre debajo)) | ej.5 | Disponible | BCUS18030544 |
Browsing Biblioteca Cusco UTEA shelves, Shelving location: Biblioteca Collasuyo, Collection: E.P. Contabilidad Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
No cover image available | ||
| 510 V44 2012 Matemática básica | 510.01 S94 2012 Introducción a la Lógica Matematica / | 510.01 S94 2012 Introducción a la Lógica Matematica / | 510.01 S94 2012 Introducción a la Lógica Matematica / | 510.01 S94 2012 Introducción a la Lógica Matematica / | 510.01 S94 2012 Introducción a la Lógica Matematica / | 510.1 G69 2004 Complementos de Matemáticas / |
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.