Академический Документы
Профессиональный Документы
Культура Документы
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
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.
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.