Primer curso de lógica matemática / Patrick Suppes, Shirley Hill ; traductor Enrique Linés Escardó
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- texto
- sin medio
- volumen
- 8429151508
- Introducción a la lógica matemática
- 511.3 S959 1976 21
Item type | Current library | Collection | Call number | Materials specified | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|---|
![]() |
Sede Prado (Barranquilla) | Reserva | 511.3 S959 1976 (Browse shelf(Opens below)) | Ej. 1 | Descartado | Colección 3, Isla 9, Lado B, Módulo 1 | 100001341 |
Browsing Sede Prado (Barranquilla) shelves, Collection: Reserva Close shelf browser (Hides shelf browser)
510.5 G215 1986 Sea usted una computadora humana / | 510.5 T128 El hombre que calculaba : romance. Aventuras en un singular calculista persa / | 511.3 L767 2009 Matemáticas discretas / | 511.3 S959 1976 Primer curso de lógica matemática / | 512 A581 2007 Álgebra elemental / | 512.13 S949 2006 Álgebra y trigonometría / | 512.13 S979 1988 Algebra y trigonometría con geometría analítica / |
Incluye índice de materias en las páginas 279
1. Simbolización de proposiciones -- 2. Inferencia lógica -- 3. Certeza y validez -- 4. Tablas de certeza -- 5. Términos, predicados y cuantificadores universales -- 6. Especificación universal y leyes de identidad -- 7. Un sistema matemático simple, axiomas de la adición -- 8. Generalización universal.
El objetivo de este libro 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
There are no comments on this title.