Copyright © 2010. Ediciones Elizcom. All rights reserved.

Cardona, Torres, Sergio Augusto. <i>Lógica matemática para ingeniería de sistemas y computación</i>, Ediciones Elizcom, 2010. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/bibliotecaupssp/detail.action?docID=3199701.
Created from bibliotecaupssp on 2019-10-12 12:21:57.
 Lógica Matemática para
Ingeniería de Sistemas y
Computación

Sergio Augusto Cardona Torres

Adscrito al
Programa de Ingeniería de Sistemas y Computación
Facultad de Ingeniería
Universidad del Quindío

Leonardo Alonso Hernández Rodríguez

Adscrito al
Programa de Ingeniería de Sistemas y Computación
Facultad de Ingeniería
Universidad del Quindío

Sonia Jaramillo Valbuena

Adscrita al
Copyright © 2010. Ediciones Elizcom. All rights reserved.

Programa de Ingeniería de Sistemas y Computación

Facultad de Ingeniería
Universidad del Quindío

Cardona, Torres, Sergio Augusto. <i>Lógica matemática para ingeniería de sistemas y computación</i>, Ediciones Elizcom, 2010. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/bibliotecaupssp/detail.action?docID=3199701.
Created from bibliotecaupssp on 2019-10-12 12:21:57.
 Lógica Matemática para
Ingeniería de Sistemas y
Computación
No está permitida la reproducción total o parcial de esta obra, ni su tratamiento o transmisión por ningún
procedimiento electrónico o mecánico, incluyendo fotocopiado, grabación magnética o cualquier almacenamiento
de información y sistema de recuperación sin autorización escrita del autor.

ISBN: 978-958-99325-9-9
Copyright © 2010. Ediciones Elizcom. All rights reserved.

© Derechos reservados
Reproducido y editado por Ediciones Elizcom
www.elizcom.com
ventas@elizcom.com
Cel: (57) 3113349748
Fax: (57) (6) 7450655
Armenia, Quindío
Colombia
Diciembre de 2010

Cardona, Torres, Sergio Augusto. <i>Lógica matemática para ingeniería de sistemas y computación</i>, Ediciones Elizcom, 2010. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/bibliotecaupssp/detail.action?docID=3199701.
Created from bibliotecaupssp on 2019-10-12 12:21:57.
 Microsoft Office y su logotipo es una marca registrada por Microsoft Corporation.
Prolog es una marca registrada bajo Lesser GNU Public License.

PRESENTACION

La Lógica se considera como un elemento fundamental dentro del proceso de formación de los
estudiantes de ingeniería de sistemas y afines, pues posee una estrecha relación con áreas como
las Matemáticas Discretas y la Programación. También está relacionada con la Inteligencia Artificial
al ser la lógica la base de métodos para representar el conocimiento. En la ingeniería de software,
la lógica tiene una aplicación entre otros en cuanto a la especificación de requisitos y componentes
de software, mediante el uso de lenguajes formales, sin embargo la aplicación en esta área ha sido
muy poca teniendo en cuenta que su uso puede ser problemático dentro del proceso de desarrollo
de software.

Si bien es cierto que es amplia cantidad de información existente sobre lógica para Ciencias de la
Computación y la Ingeniería de Sistemas, no es menos cierto que mucha de esa bibliografía
obedece a un mismo esquema general. Se presentan las técnicas básicas de resolución de
problemas con base a unos ejemplos clásicos, para después dejar propuesto al lector una
colección de ejercicios sobre cada tema. Pero sucede que muchos autores proponen una serie de
ejercicios y actividades, pero pocos llegan a resolverlos, lo que hace que los lectores de estos
libros sobre lógica pierdan de alguna forma las enseñanzas que se extraen de ellos.
Copyright © 2010. Ediciones Elizcom. All rights reserved.

Las orientaciones sicológicas, sociológicas y pedagógicas que permitieron la elaboración de este

libro y su viabilidad en el campo profesional y teórico, están orientadas a fortalecer el objetivo o
propósito general de formación del ingeniero de sistemas y computación. Desde la perspectiva
sicológica, el proceso de enseñanza aprendizaje del pensamiento lógico matemático se asume
como una experiencia que se comparte con otros a través de lo que se piensa, hace, siente, vive,
interesa y necesita. Desde la perspectiva sociológica, quienes comparten la lógica matemática son
capaces de emplearla para: explicar, demostrar, solucionar problemas, crear o hacer
representaciones, orientados a compartir su significado con quienes pertenecen a otras culturas y
para poder analizar, comprender, interpretar, apreciar y transformar los saberes culturales creados
por todos. En general con la enseñanza-aprendizaje de la lógica matemática desde la perspectiva

Cardona, Torres, Sergio Augusto. <i>Lógica matemática para ingeniería de sistemas y computación</i>, Ediciones Elizcom, 2010. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/bibliotecaupssp/detail.action?docID=3199701.
Created from bibliotecaupssp on 2019-10-12 12:21:57.