Primer curso de lógica matemática / Patrick Suppes, Shirley Hill ; traductor Enrique Linés Escardó
Material type: TextLanguage: Spanish Original language: English Publication details: Barcelona : Reverté, S.A., 1976.Edition: Primera ediciónDescription: 283 páginas ; 22 cmContent type:- 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 | |
---|---|---|---|---|---|---|---|---|---|---|
Libro de Reserva | 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 |
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.