Lógica y matemáticas discretas en la informática : el estilo calculatorio /

Saved in:

Bibliographic Details
Main Author:	Bohórquez Villamizar, Jaime Alejandro
Corporate Author:	Escuela Colombiana de Ingeniría
Format:	Book
Language:	Spanish
Published:	Bogotá : Escuela Colombiana de Ingeniría, 2012.
Series:	Colección de informática
Subjects:	Lógica simbólica y matemática Lógica combinatoria Constructibilidad (Teoría de conjuntos) Modelos matemáticos
Notas Contenido:	Fundamentos del lenguaje matemático Sintaxis Sistemas formales Lógica de predicados y operatorias La lógica como lenguaje para modelar Conjuntos, relaciones y funciones Teoría de conjuntos Aritmética y combinatoria Teoría de relaciones.

Description
Physical Description:	440 páginas : ilustraciones, diagramas ; 25 cm.
Bibliography:	Incluye referencias bibliográficas e índice alfabético
ISBN:	9789588726045

Similar Items