Vista normal
Vista MARC
Introducción a la Lógica Matematica /
Por: Patrick Suppes [Autor].
Colaborador(es): Shirley Hill [Coautor].
Tipo de material:
TextoEditor: México Reverte Ediciones S.A. 2012Edición: 1a edición.Descripción: 278 páginas. 16 X 22 cm. Ejercicios, Teoremas. 1 Ejem. en Adahualas, 5 Ejem. en Cusco.ISBN: 9789686708011.Tema(s): TERMINOS DE ENLACE
| SIMBOLIZACIÓN DE PROPOSICIONES | AGRUPAMIENTO Y PARÉNTESIS | CONTABILIDAD | REGLAS DE INFERENCIA Y DEMOSTRACIÓN | DOBLE NEGACIÓN | DEDUCCIÓN PROFESIONAL | CUANTIFICADORES UNIVERSALES | LÓGICA DE LA IDENTIDADClasificación CDD: QA9 / Recursos en línea: Haga clic para acceso en línea
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 | Ubicación actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libros
|
Biblio. Andahuaylas UTEA | E.P. Contabilidad | QA9 S94 (Navegar estantería) | 1 Ejemplar | Disponible | BAND16120412 | |
|
Libros
|
Biblioteca Cusco UTEA | E.P. Contabilidad | 510.01 / S94 (Navegar estantería) | Disponible | BCUS18030541 | ||
|
Libros
|
Biblioteca Cusco UTEA | E.P. Contabilidad | 510.01 / S94 (Navegar estantería) | Disponible | BCUS18030542 | ||
|
Libros
|
Biblioteca Cusco UTEA | E.P. Contabilidad | 510.01 / S94 (Navegar estantería) | Disponible | BCUS18030543 | ||
|
Libros
|
Biblioteca Cusco UTEA | E.P. Contabilidad | 510.01 / S94 (Navegar estantería) | Disponible | BCUS18030544 | ||
|
Libros
|
Biblioteca Cusco UTEA | E.P. Contabilidad | 510.01 / S94 (Navegar estantería) | 5 Ejemplares | Disponible | BCUS18030540 |
Navegando Biblioteca Cusco UTEA Estantes , Código de colección: E.P. Contabilidad Cerrar el navegador de estanterías
|
|
|
|
|
|
|
||
| 510 / V44 Introducción al Análisis Matemático | 510 / V44 Introducción al Análisis Matemático | 510.01 / S94 Introducción a la Lógica Matematica / | 510.01 / S94 Introducción a la Lógica Matematica / | 510.01 / S94 Introducción a la Lógica Matematica / | 510.01 / S94 Introducción a la Lógica Matematica / | 510.01 / S94 Introducción a la Lógica Matematica / |
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 para este ejemplar.