Cover Image

Lógica matemática para informáticos : ejercicios resueltos /

Saved in:
Bibliographic Details
Other Authors: Hortalá, González, Teresa, Martí Oliet, Narciso, Palomino Tarjuelo, Miguel, Rodríguez Artalejo, Mario, Vado Vírseda, Rafael del
Format: Book
Language: Spanish
Published: Madrid : Pearson Educación, c2007.
Subjects:
Lógica simbólica y matemática
Lógica de primer orden
Cálculo proposicional
Notas Contenido:
  • Lógica proporcional
  • Sintaxis y semántica
  • Formalización, técnicas de razonamiento
  • Equivalencia lógica. Leyes booleanas
  • Cálculo lógico con tableaux
  • Lógica de primer orden
  • Sintaxis y semántica
  • Formalización. Técnicas de razonamiento
  • Equivalencia lógica. Leyes de los cuantificadores
  • Cálculo lógico con tableaux
  • Cálculo lógico con resolución
  • Ejercicios propuestos

Similar Items

Similar Items