La lógica clásica fue estudiada y formalizada
por Aristóteles y básicamente es la que usamos
cotidianamente. Posteriormente Gottfried Leibniz dio los primeros pasos para
construir una lógica simbólica como un modelo del razonamiento humano lo cual
aún no se ha podido lograr. Después de muchos aportes de varios
matemáticos, George Boole desarrolla un álgebra que lleva su nombre que
permitió junto con la lógica formal el desarrollo de la electrónica y condujo a
la aparición de los computadores en el mundo. De esta manera el estudio de los
fundamentos de la lógica es importante en la formación del estudiante de Ingenierías
de sistemas para comprender tanto el desarrollo físico de los computadores como
la producción de software con el uso de principios lógicos.
- Docente: Claudia Stephania Naranjo Guzmán