| Título : |
MANUAL DE LÓGICA ELEMENTAL |
| Tipo de documento: |
texto impreso |
| Autores: |
MARIO ALBERTO LOZANO GONZÁLEZ, AUTOR ; ADRIANA PÉREZ ARMENDÁRIZ, AUTOR |
| Mención de edición: |
1 EDICION |
| Editorial: |
MEXCIO [MEXICO] : TRILLAS |
| Fecha de publicación: |
2016 |
| Número de páginas: |
349 Páginas |
| Il.: |
24 cm. |
| ISBN/ISSN/DL: |
978-607-17-2685-8 |
| Nota general: |
LENGUAJE FORMAL PROPOSICIONAL - TEORÍA DE CONJUNTOS - CÁLCULOS DEDUCTIVOS - LENGUAJE FORMAL CUANTIFICACIONAL |
| Idioma : |
Español (spa) |
| Clasificación: |
LOGICA
|
| Clasificación: |
160 |
| Resumen: |
En este texto introductorio a la lógica formal se da un tratamiento básico a los temas y problemas de la lógica clásica de primer orden, con énfasis en los aspectos semánticos de los sistemas lógicos. El libro se divide en tres partes: en la primera se introducen elementos de la teoría estándar de conjuntos y conceptos básicos de lógica formal. Las partes segunda y tercera se enfocan en la lógica proposicional y en la lógica de cuantificadores, respectivamente, de manera que se respeta el orden común de temas en manuales universitarios de lógica simbólica: primero se revisa la estructura y el funcionamiento de cada lenguaje formal, luego e presenta una semántica que lo interpreta y, finalmente, el cálculo o los cálculos correspondientes a tal lenguaje y semántica. El lector encontrará aquí explicaciones claras y didácticas- cuidando el rigor y la precisión formal requeridos en la lógica simbólica contemporánea- que presentan de manera progresiva los elementos de cada parte, y en las que lo revisado se ilustra con diversos ejemplos. |
| Link: |
https://biblioteca.comfamiliar.com.co/pmb/opac_css/index.php?lvl=notice_display& |
|  |
Refinar búsqueda
