Lógica para informáticos /

Saved in:
Bibliographic Details
Other Authors: Ferré Cirera, Rafael, Nieuwenhuis, Robert, Nivela Alós, Pilar, Oliveras Llunell, Albert, Rodríguez Carbonell, Enric, Sierra Santibáñez, Josefina
Format: Book
Language: Spanish
Published: México, D. F. : Alfaomega Grupo Editor : ©2012.
Marcombo Ediciones Técnicas,
Subjects:
Notas Contenido:
  • Definición de la lógica proposicional
  • Deducción en la lógica proposicional
  • Definición de la lógica de primer orden
  • Deducción de la lógica de primer orden
  • Fundamentos de la programación lógica
  • Ejercicios resueltos
Description
Physical Description:206 páginas ; 23 cm.
ISBN:9786077071655