Introducción a la lógica y al análisis formal / Manuel Sacristan Luzón
By: Sacristan Luzón, Manuel
.
Barcelona : Ariel, 1973Description: 316 página.Subject(s): Logica matematicaDDC classification: 510.1 / | Item type | Current location | Collection | Call number | Vol info | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central Book Cart | General | 510.1 / S123i (Browse shelf) | 1 | Available | 8010004575 |
Browsing Biblioteca Central Shelves , Shelving location: Book Cart , Collection code: General Close shelf browser
| 510.1 / G156i Introducción a la lógica matemática / | 510.1 / P438m Matemática dinámica / | 510.1 / R968i Introducción a la filosofía matemática / | 510.1 / S123i Introducción a la lógica y al análisis formal / | 510.1 / S959 Introducción a la lógica simbólica / | 510.1 / W555 What is Mathematical Logic? / | 510.1 / Z22f Filosofía sintética de las matemáticas contemporáneas |
La lógica formal y las ciencias reales. Categorías lógicas -- Noción de la lógica formal -- La lógica formal en la investigación de fundamentos -- El ideal del lenguaje bien hecho -- Las categorías lógicas -- El sistema de la lógica elemental -- La composición de enunciados. Lógica de enunciados -- La estructura de los enunciados atómicos. Lógica de predicados -- El sistema de la lógica elemental -- Presentación axiomática del cálculo de predicados de primer orden -- La deducción a partir de premisas -- Técnica de la deducción natural. Algunos teoremas -- Formas normales. Comparación de sistema axiomático con el cálculo de la deducción natural -- limitaciones y alcance del cálculo lógico -- las limitaciones del cálculo lógico -- rendimiento del cálculo lógico elemental -- La lógica de predicados de orden superior y el teorema de incompletitud de Gödel -- Decidibilidad en la lógica elemental -- El alcance analítico del cálculo lógico -- Lógica de clases -- Lógica de relaciones -- Lógica formal y metodología -- La división y la definición -- El análisis formal de la inducción -- Bibliografía
There are no comments for this item.