Lógica matemática notas de clase Virgilio Obeso Fernández
Tipo de material: TextoDetalles de publicación: Barranquilla Universidad del Norte 2012Descripción: 95 P. 25 CMISBN:- 9789588252253
- 20 511.3 O12
Contenidos:
Preliminares.--- proposiciones.-- fórmulas bien formadas.--- árboles, definiciones recursivas.--- supresión de paréntesis.--- notación prefijada, entrefijada y posfija.-- decidibilidad.--- convertir una notación entrefija a prefija.--- equivalencias lógicas y su utilización.-- conjuntos completos.--- formas normales.-- cálculo proposicional.--- teorema de la deducción.-- validez.--- completitud.--- consistencia.--- cálculo de predicados.--- predicados, relación y cuantificadores.--- representación simbólica del lenguaje cotidiano.-- variables ligadas y libres.--- teoría general de la inferencia.--- interpretación y validez.
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|---|
Libro Colección General | Central Armenia | Colección General | 511.3 O12 (Navegar estantería(Abre debajo)) | 2012 | 1 | Disponible | L029168 |
Preliminares.--- proposiciones.-- fórmulas bien formadas.--- árboles, definiciones recursivas.--- supresión de paréntesis.--- notación prefijada, entrefijada y posfija.-- decidibilidad.--- convertir una notación entrefija a prefija.--- equivalencias lógicas y su utilización.-- conjuntos completos.--- formas normales.-- cálculo proposicional.--- teorema de la deducción.-- validez.--- completitud.--- consistencia.--- cálculo de predicados.--- predicados, relación y cuantificadores.--- representación simbólica del lenguaje cotidiano.-- variables ligadas y libres.--- teoría general de la inferencia.--- interpretación y validez.