Lógica matemática notas de clase
Obeso Fernández, Virgilio et al
Lógica matemática notas de clase / Virgilio Obeso Fernández . -- Barranquilla : Universidad del Norte, 2012 . -- 95 P. ; 25 CM.
Nota de contenido : 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.
.
9789588252253
LÓGICA MATEMÁTICA--LÓGICA MATEMÁTICA--LÓGICA
511.3 / O12
Libro Colección General / Ej.1 / L029168 / Central Armenia / 511.3 O12 2012
Lógica matemática notas de clase / Virgilio Obeso Fernández . -- Barranquilla : Universidad del Norte, 2012 . -- 95 P. ; 25 CM.
Nota de contenido : 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.
.
9789588252253
LÓGICA MATEMÁTICA--LÓGICA MATEMÁTICA--LÓGICA
511.3 / O12
Libro Colección General / Ej.1 / L029168 / Central Armenia / 511.3 O12 2012