Cover Image

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.

Similar Items

Matemáticas discretas /
by: Johnsonbaugh, Richard
Published: (c2005.)

Matemáticas para informática /
by: Gutiérrez García, Ismael
Published: (©2010.)

Matemática fundamental para matemáticos /
by: Robledo Potes, Jaime
Published: (©2014.)

Lógica /
by: Dalla Chiara Scabia, Maria Luisa
Published: (1976.)

Fundamentos de las matemáticas /
by: Restrepo, Guillermo
Published: (2003.)

Lógica simbólica :
by: Gómez Calderón, Javier
Published: (1979.)

Conceptos elementales de lógica informática /
by: Becerra Correa, Nelson
Published: (2012.)

Introducción a la lógica moderna /
by: Páez, Andrés

Lógica simbólica básica /
by: Camacho, Luis A.
Published: (2005.)

Lógica y argumentación :
by: Bustamante Arias, Alfonso
Published: (c2009.)

Iniciación a la lógica simbólica /
by: Arnaz, José Antonio
Published: (1989.)

Introducción a la lógica /
by: COPI, Irving M.
Published: (c2002.)

Primer curso de lógica matemática /
by: Suppes, Patrick
Published: (2010.)

Primer curso de lógica matemática /
by: Suppes, Patrick
Published: (1988.)

Lógica matemática para informáticos :
Published: (c2007.)

Actividades matemáticas para el desarrollo de procesos lógicos :
by: Luque Arias, Carlos Julio
Published: (2005.)

Matemáticas básicas y operativas :
by: Uribe Cálad, Julio Alberto
Published: (©1986.)

Introducción a la lógica simbólica /
by: Smith, Karl J.
Published: (©1991.)

Lógica I :
Published: (1974.)

Introducción a las matemáticas universitarias /
by: Eslava E.,María Emilia
Published: (1997.)

Primer curso de lógica matemática /
by: Suppes, Patrick
Published: (1988.)

Habilidades de razonamiento y resolución de problemas :
by: Orlando, Mario
Published: (©2012.)

Conjuntos :
by: Kleiman, Ariel
Published: (2007.)

Lógica de programación /
by: Trejos Buriticá, Omar Iván
Published: (2017.)

Iniciación a la lógica simbólica /
by: Arnaz, José Antonio
Published: (1985.)

El juego de la lógica y otros escritos /
by: Carroll, Lewis
Published: (1972.)

Manual de lógica elemental /
by: Lozano González, Mario Alberto
Published: (2016.)

Introducción a la informática :
by: Cantone, Dante

Lógica.
by: GORSKI, D. P.,
Published: (1996.)

Matemáticas básicas /
by: Escudero Trujillo, Rafael
Published: (©2015.)

Lógica y matemáticas para ciencias de la computación /
by: Barboza Gutiérrez, Fidel
Published: (2012.)

17 ecuaciones que cambiaron el mundo /
by: Stewart, Ian

Introducción al razonamiento matemático /
by: Solow, Daniel
Published: (c2013.)

Matemáticas básicas /
by: Ruiz, Héctor Alfonso
Published: (1992.)

Matemáticas universitarias. /
by: Allendoerfer, Carl Barnett,
Published: (1996.)

Matemáticas discretas :
by: Veerarajan, T.
Published: (c2008.)

Lógica II :
Published: (c1974.)

Lógica para la computación :
by: Ledesma, Luis de
Published: (c2010.)

Ejercicios de introducción a la matemática moderna. /
by: Marjoram, D.T.E.
Published: (1973.)

Fantasía y lógica en la matemática /
by: Campedelli, Luigi
Published: (1972.)