Lógica matemática : antecedentes y fundamentos / Alberto Moreno.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
![]() |
UCU Centro Regional Gualeguaychú Carrera Docente | 160.12 | M 63 (Navegar estantería(Abre debajo)) | 1 | Sala | 368 |
Navegando UCU Centro Regional Gualeguaychú Estantes, Ubicación: Carrera Docente Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
160 | H 22 Teoria del conocimiento / | 160 | M 3 Lógica para principiantes / | 160.12 | F 22 Lógica matemática / | 160.12 | M 63 Lógica matemática : antecedentes y fundamentos / | 165 | M 63 El Método III : el conocimiento del conocimiento. Libro primero. Antropología del conocimiento / | 165.63 | D 23 El discurso del método / | 165.6/.8 | G 4 A estudiar se aprende : metodología de estudio sesión por sesión / |
I. Introducción:
1. Lógica
II. Historia de la lógica no-matemática:
2. La lógica de Aristóteles. -- 3. La lógica de los estoicos. -- 4. La lógica medieval. -- 5. La lógica después del medioevo. -- Referencias bibliográficas.
III. Elementos de lógica no-matemática.
6. Lógica de enunciados. -- 7. Lógica de términos. Relaciones entre enunciados. -- 8. Lógica de términos. Silogismo. -- Referencias bibliográficas.
IV. Algebra de la lógica
9. Lógica de términos. -- 10. Lógica de enunciados. -- 11. Historia del álgebra de la lógica. -- Referencias bibliográficas.
V. Lógica matemática
12. Lógica matemática. -- 13. lógica de enunciados. -- 14. Funciones de verdad. -- 15. Leyes de la lógica de enunciados. -- 16. Sistema P M. -- 17. Lógica de predicados. -- 18. Métodos de los árboles lógicos. -- 19. Identidad.
VI. Relaciones entre "las" lógicas
20. Lógica no-matemática. Algebra de la lógica y Lógica matemática.
VII. Un clásico de la historia de la lógica
J. Lukasiewicz: Historia de la lógica de enunciados.
Bibliografía
Índice de autores
Índice alfabético