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.

Be the first to leave a comment!

Similar Items