Lógica general Luis Piscoya Hermoza [Texto impreso]
Por: Piscoya Hermoza, Luis
.
Tipo de material: ![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Contenidos:
Proposiciones -- El lenguaje de la lógica proposicional -- Disyunción y negación -- El condicional y la implicación -- Bicondicional, funciones de verdad y equivalencia -- Jerarquía de las formulas del lenguaje de la lógica proposicional -- Tautología, principios lógicos y validez -- Formalización -- Deducción natural -- Simplificación del lenguaje proposicional PM -- Bases lógicas de la inteligencia artificial -- Lógica clásica -- Diagramas de Venn -- El lenguaje predicativo -- La inducción clásica -- Reseña histórica de la lógica
Tipo de ítem | Ubicación actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
![]() |
Biblioteca General y Aula Virtual del Ejército Book Cart | Non-fiction | BC 75 P62 2007 (Navegar estantería) | 1 | Disponible | MAIN1510000696 |
Proposiciones -- El lenguaje de la lógica proposicional -- Disyunción y negación -- El condicional y la implicación -- Bicondicional, funciones de verdad y equivalencia -- Jerarquía de las formulas del lenguaje de la lógica proposicional -- Tautología, principios lógicos y validez -- Formalización -- Deducción natural -- Simplificación del lenguaje proposicional PM -- Bases lógicas de la inteligencia artificial -- Lógica clásica -- Diagramas de Venn -- El lenguaje predicativo -- La inducción clásica -- Reseña histórica de la lógica
No hay comentarios para este ejemplar.