Información general de la asignatura

Comprender la programación como una actividad en la cual es indispensable mantener un equilibrio entre los 7 ejes, sus relaciones e implicaciones, para relejar los requerimientos del usuario y obtener un producto de buena calidad.
• Aplicar nuevos elementos en cada uno de los ejes, en respuesta a las dificultades que aparecen en el momento de crecer el problema.
• Desarrollar el documento de conciliación para el levantamiento de requisitos está acorde con criterios técnicos y marcos de referencia.
• Ejemplificar el modelo de requisitos utilizando técnicas de diagramación, seudolenguaje y lenguaje de programación.
• Construir programas de computador que consideren las restricciones del proyecto.

Desarrollar capacidad de análisis lógico deductivo para la solución de problemas computacionales y la ejecución eficiente de programas a partir del manejo adecuado de las componentes sintácticas y semánticas de la lógica, la teoría de conjuntos y la teoría de grafos.

B2 - Integrar y contribuir al desarrollo de nuevas tecnologías y técnicas de modelado de sistemas para formular y resolver problemas complejos, optimizar sistemas y procesos, a través de ideas y soluciones innovadoras.

La Lógica Computacional y Matemática es una disciplina que emerge como consecuencia de la aparición del computador y del mundo informático que le rodea. El computador es una máquina finita en todas sus vertientes: finitos son todos sus recursos físicos, finitos y limitados, aunque muy amplias, son sus capacidades. La Lógica Computacional y Matemática trata de facilitar el camino para acércanos a las ciencias de la computación a partir de áreas de conocimiento como matemática discreta, el álgebra moderna, el análisis combinatorio, el desarrollo de software la simulación y modelado, la teoría de lenguajes de programación, la estructura de datos, el análisis de algoritmos, etc.
1. Lógica Proposicional
1.1 El lenguaje de las Proposiciones
1.1.1 Proposición Simple: Notación y valor de verdad
1.1.2 Proposición Compuesta: Conectores y valor de Verdad
1.2 Tablas de Verdad: Tautologías, Falacias y contradicciones.
1.3 Equivalencias Lógicas: Negación de las proposiciones Compuestas y Formas Normales.
1.4 Métodos de demostración: Reglas de Inferencia y deducciones lógicas
1.5 Cuantificadores: Proposiciones funcionales
2. Teoría de Conjuntos
2.1 El Lenguaje de los Conjuntos
2.1.1 Conjunto y elemento
2.1.2 Relación de pertenencia y Relación de contenencia
2.1.3 Operaciones entre conjuntos
2.1.4 Problemas de Aplicación
2.2 Producto Cartesiano y Relaciones
2.2.1 Par ordenado. Producto Cartesiano.
2.2.2 Relación: Definición, representación y tipos de relaciones
2.3 Clases de Equivalencia y Particiones
3. Teoría de Grafos
3.1 El lenguaje de los grafos
3.1.1 Definición, adyacencia, isomorfismos, construcción, grafos dirigidos y no dirigidos
3.1.2 Clases de Grafos: regular, completo, conexo, simple, multígrafo, bipartito, acíclico, árbol.
3.1.3 Recorrido de los árboles.
3.2 Aplicación de los grafos: Cálculo de la ruta crítica y tiempo de duración de un proyecto.
4. Aplicación de la Matemática discreta
4.1 Álgebra de Boole: Definición, Teoremas, circuitos
4.2 Inducción Matemática
4.3 Aritmética Modular.

* Mora Espinosa CF, Nieto Sánchez JC. (2019). Lógica Matemática. Vol Primera edición. Universidad Central.
* Giménez, A. D. (2012). Lógica matemática. Recuperado de: http://www.monografías.com/trabajos-pdf3/logica-matematica/logica-matematica.pdf el, 27.
* Fau, M. E. (2011). Ejercicios de lógica: desarrollados y explicados… La Bisagra.
* García Obando, P. A. & Aguirre Román, J. O. (2009). Lógica y teoría de la argumentación… Ediciones UIS.
* Gonzáles Tamara, L. (2009). Aciertos matemáticos 11: serie para la educación media… Educar Editores.
* Curo Cubas, A. & Martínez Miraval, M. (2016). Matemática básica para administradores (3a. ed.)… Universidad Peruana de Ciencias Aplicadas (UPC).
* Discretas, M. (2018). Matemáticas Discretas (Doctoral dissertation, ESCUELA SUPERIOR POLITECNICA DEL LITORAL).

Plataforma en línea AVATA.
Biblioteca digital para acceder a material de referencia.Aulas virtuales, bases de datos y recursos web propios de la asignatura