Compendio de lógica matemática Józef Maria Bocheński ; traducción Rodolfo Fernández González
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 8428307482
- 511.3 B623c 23
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
Libro Colección General | Central Bogotá Sala General | Colección General | 511.3 B623 (Navegar estantería(Abre debajo)) | 1 | Enviar a Procesos Técnicos | 0000000024532 | ||
Libro Colección General | Central Bogotá Sala General | Colección General | 511.3 B623c (Navegar estantería(Abre debajo)) | 2 | Disponible | 0000000042309 |
Navegando Central Bogotá estanterías, Ubicación en estantería: Sala General, Colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
No hay imagen de cubierta disponible |
![]() |
![]() |
![]() |
No hay imagen de cubierta disponible |
![]() |
![]() |
||
511.3 A419 La lógica simbólica | 511.3 A536t Teoría de autómatas y lenguajes formales | 511.3 B623 Compendio de lógica matemática | 511.3 B623c Compendio de lógica matemática | 511.3 B738 Iniciación a la teoría de los conjuntos | 511.3 C151l Lógica simbólica básica | 511.3 C151l Lógica simbólica básica |
I. Principios generales. -- 0. Introducción. -- Noción e historia. -- La lógica y la matemática. -- Aplicaciones. -- 1. Expresiones y operaciones fundamentales. -- Expresión constante, variable. -- Situación, categoría sintáctica. -- Enunciado, nombre, funtor. -- Clasificación de las variables y de los funtores. -- 2. Reglas de escritura. -- II. La lógica de enunciados. -- 3. Funtores veritativos. -- 4. Evaluación. -- 5. Equivalencias. -- 6. Primeros principios e implicaciones. -- 7. Sistema axiomático. -- 8. Un sistema de las reglas de deducción. -- III. La lógica de predicados y de clases. -- La lógica de términos. -- La lógica de predicados. -- La lógica de clases. -- IV. La lógica de relaciones. -- Descripciones relativas. -- Dominios y campos. -- Productivo relativo. -- Producto relativo. -- Relaciones poliádicas. -- V. Temas complementarias. -- Forma normal o canónica. -- Lógica modal. -- Lógica polivalente. -- Las categorías sintácticas