Lógica matemática para informáticos /
Hortala Gonzalez, Teresa
Lógica matemática para informáticos / Teresa Hortalá, Narciso Martí; Miguel Palomino Tarjuelo; Mario Rodríguez Artalejo. - 1ª Ed. - 390 páginas ; 27 cm.
Factura Educativa
I LOGICA PROPOSICIONAL: 1 Sintaxis y semantica 2 Formalizacion. Tecnicas de razonamiento 3 Equivalencia logica. Leyes Booleanas 4 Calculo logico con tableaux Parte II LOGICA DE PRIMER ORDEN: 5 Sintaxis y semantica 6 Formalizacion. Tecnicas de razonamiento 7 Equivalencia logica. Leyes de los cuantificadores 8 Calculo logico con Tableaux 9 Calculo logico con resolucion 10 Ejercicios propuestos
9788483224540
LOGICA MATEMATICA (LOGICA SIMBOLICA)
511 / H788 2008
Lógica matemática para informáticos / Teresa Hortalá, Narciso Martí; Miguel Palomino Tarjuelo; Mario Rodríguez Artalejo. - 1ª Ed. - 390 páginas ; 27 cm.
Factura Educativa
I LOGICA PROPOSICIONAL: 1 Sintaxis y semantica 2 Formalizacion. Tecnicas de razonamiento 3 Equivalencia logica. Leyes Booleanas 4 Calculo logico con tableaux Parte II LOGICA DE PRIMER ORDEN: 5 Sintaxis y semantica 6 Formalizacion. Tecnicas de razonamiento 7 Equivalencia logica. Leyes de los cuantificadores 8 Calculo logico con Tableaux 9 Calculo logico con resolucion 10 Ejercicios propuestos
9788483224540
LOGICA MATEMATICA (LOGICA SIMBOLICA)
511 / H788 2008