Lógica Matemática para Informáticos – Ejercicios Resueltos – PDF

Mega

Download – Descargar – Lógica Matemática para Informáticos – Ejercicios Resueltos – PDF – Libro

por Teresa Hortalá González, Narciso Martí Oliet, Miguel Palomino Tarjuelo, Mario Rodríguez Artalejo y Rafael del Vado Vírseda

LÓGICA PROPOSICIONAL

Sintaxis y semántica.

Formalización, tecnica de razonamiento.

Equivalencia lógica, leyes booleanas.

Cálculo lógico con Tableaux.

LÓGICA DE PRIMER ORDEN

Sintaxis y semántica.

Formalización, tecnica de razonamiento.

Equivalencia lógica, leyes booleanas.

Cálculo lógico con Tableaux.

Cálculo lógico con resolución.

Ejercicios propuestos.

Tagged with: ,