Matemática para la computación /

Saved in:

Bibliographic Details
Main Author:	Jaime Hernández, Lida Marina (autor)
Other Authors:	Rocuts Pabón, Schweitzer (autor)
Format:	Book
Language:	Spanish
Published:	Bogotá : Politécnico Grancolombiano, 2005.
Series:	Documentos. Ingeniería de sistemas
Subjects:	Lógica simbólica y matemática Matemáticas > Problemas, ejercicios, etc. Ciencia de la computación
Notas Contenido:	Cálculo proposicional Argumentos y tablas de verdad Validez de argumentos a través de tablas Demostraciones formales Reglas de inferencia Arboles de forzamiento semántico Cálculo de predicados Introducción a cuantificadores Variables libres y simbolización Reglas de cuantificación Teoría de conjuntos Nociones básicas Operaciones básicas con conjuntos Producto cartesiano Relaciones Clases de relaciones Cuantificadores generalizados Preliminares Introducción a cuantificadores generalizados y tipos Reglas para el manejo de cuantificadores

Cauca/Agropecuario y Teleinformática: Unknown