Matemáticas para informática /

Saved in:
Bibliographic Details
Main Author: Gutiérrez García, Ismael
Format: Book
Language: Spanish
Published: Barranquilla : Ediciones Uninorte ©2010.
Ecoe Ediciones,
Subjects:
Notas Contenido:
  • Lógica matemática
  • Cálculo proposicional
  • Introducción a la lógica de primer orden
  • Teoría de conjuntos
  • El sistema axiomático ZF