El diseño y desarrollo de software es un proceso netamente creativo que se apoya fundamentalmente en la capacidad de razonamiento y en el pensamiento algorítmico.
En éste contexto, se hace necesario estructurar una lógica que ofrezca una base sólida en la línea computacional, presentando una adecuada introducción a la lógica matemática, sistemas numericos, cálculo proposicional, algebra booleana, teoría de la inferencia, diseño de algoritmos y conceptos principales de la programación de computadores.
En éste contexto, se hace necesario estructurar una lógica que ofrezca una base sólida en la línea computacional, presentando una adecuada introducción a la lógica matemática, sistemas numericos, cálculo proposicional, algebra booleana, teoría de la inferencia, diseño de algoritmos y conceptos principales de la programación de computadores.