bibliografia

Bibliográfia 
1. Brookshear, J. Glenn.; “Teoría de la computación”. Addison-Wesley Iberoaméricana. Estados Unidos. 1993.
2. García Valle, J. Luis. “Matemáticas especiales para computación”. Ed. McGraw-Hill. México. 1993.
3. Grassmann, Winfried Karl. Tremblay, Jean-Paul. “Matemática Discreta y Lógica, una perspectiva desde la ciencia de la computación”. Ed. Prentice Hall. España. 1997.
4.Grimaldi, Ralph P. “Matemáticas discreta y combinatoria” 3ª. edición. Ed. Pearson Educación. México. 1998
5. Jiménez Murillo, José Alfredo. “Matemáticas para la computación”. Ed. Alfaomega. México. 2008.
6. Johnsonbaugh, Richard. “Matemáticas Discretas”. sexta edición. ed. Pearson Educación. México. 2005.
7. Kolman, Bernard. Busby, Robert C. Ross, Sharon. “Estructuras de Matemáticas Discretas parala Computación”. 3ª Edición Prentice Hall. México. 1997.
8. Kelly, Dean. “Teoría de Autómatas y Lenguajes Formales”. Ed. Prentice Hall. España. 1995.
9. Lipschutz, Seymour. “Matemáticas para la Computación”. Ed. Mc-Graw Hill. Colombia. 1990
La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike),que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».
Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.1 La lógicainvestiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.
La lógica tradicionalmente se consideró una rama dela filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con lasmatemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática. Hasta el siglo XIX, la lógicaaristotélica y estoica mantuvieron siempre una relación con los argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eran formalistas.2 Hoy esa relación se trata bajo un punto de vista completamente diferente. La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases.
Acepciones
Ciencia argumentativay propedéutica
El término «lógica», se encuentra en los antiguos peripatéticos y estoicos como una teoría de la argumentación o argumento cerrado.3 De este modo la forma argumentativaresponde al principio de conocimiento que supone que representa adecuadamente la realidad.4 Por ello, sin perder su condición de formalidad, no son formalistas y no acaban de desprenderse de las estructuras propiasdel lenguaje.2
Con el nombre de Dialéctica, en la Edad Media, la Lógica mantiene la condición de ciencia propedéutica. Así se estudia en la estructura de las enseñanzas del Trivium como una de las artes liberales.
En la Edad Moderna la lógica tradicional aristotélica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port Royal, en el siglo XVII, pero tampoco supusieron un cambioradical en el concepto de la Lógica como ciencia.
Ciencia del pensar


Gottfried Leibniz (1646-1716).
Los filósofos racionalistas, sin embargo, al situar el origen de la reflexión filosófica en la conciencia, aportaron, a través del desarrollo del análisis como método científico del pensar,5 los temas que van a marcar el desarrollo de la lógica formal. Son de especial importancia la...