Introducción a la lógica matemática
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 0-07-91568-7
- 005.133 - Lenguaje específico de programación
Contenidos:
I. Inducción, intuición y deducción.-- II. Proposiciones.-- III. Gráfica de proposiciones.-- IV. Funciones proposicionales y cuantificadores.-- V. Proposiciones compuestas.-- VI. Fórmulas.-- VII. Álgebra de proposiciones.-- VIII. Argumentos válidos.-- IX. Métodos generales de demostración: Directo e indirecto.-- X. Respuestas a problemas seleccionados.
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Notas | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
![]() |
Facultad Ingeniería Industrial / Ing. Alfredo Hincapie Segura | Libros | 005.133 GALi (Navegar estantería(Abre debajo)) | Disponible | mtaibot | BINGI2026 |
Bibliografía
I. Inducción, intuición y deducción.-- II. Proposiciones.-- III. Gráfica de proposiciones.-- IV. Funciones proposicionales y cuantificadores.-- V. Proposiciones compuestas.-- VI. Fórmulas.-- VII. Álgebra de proposiciones.-- VIII. Argumentos válidos.-- IX. Métodos generales de demostración: Directo e indirecto.-- X. Respuestas a problemas seleccionados.
1976
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.