Datos generales

• Plan de estudios: 0505 - INGENIERÍA EN AUTOMATIZACIÓN
• Créditos: 2.0

Grupos

Tabla información sobre los grupos de la asignatura

Actividad	Grupo	Periodos	Horarios	Aula	Profesor/Tutor
CLASE TEÓRICO PRÁCTICA COLABORATIVA	(1) - CLASE TEÓRICO PRÁCTICA COLABORATIVA - GRUPO 1 - BOGOTÁ	20/01/2020 - 21/03/2020	SÁBADO 11:00 - 13:00	AULA 410 - M2	BLANCA NUBIA TORRES LOPEZ
			SÁBADO 14:00 - 16:00	AULA 410 - M2	BLANCA NUBIA TORRES LOPEZ
		13/04/2020 - 30/05/2020	SÁBADO 11:00 - 13:00	-	BLANCA NUBIA TORRES LOPEZ
			SÁBADO 14:00 - 16:00	-	BLANCA NUBIA TORRES LOPEZ

Contenidos

PROGRAMA DE LA ASIGNATURA

Presentación

La matemática discreta 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 y finitas y limitados, aunque muy amplias, son sus capacidades. La matemática discreta trata de facilitar el camino para acércanos a las ciencias de la computación a partir de áreas de conocimiento como la lógica matemática, el álgebra moderna, el análisis combinatorio, el desarrollo de software la simulación y modelado, la teoría de lenguajes de programación, las estructura de datos, el análisis de algoritmos, etc.

Objetivo de Aprendizaje

El estudio de las matemáticas discretas va a proporcionar al estudiante de Ingeniería de Sistemas, los conocimientos necesarios, para que pueda aumentar su capacidad de análisis lógico deductivo. Unido a lo anterior comprenda la modelización algorítmica como el camino más viable para la solución de un problema, además facilitará el proceso de aprendizaje y su aplicación en la verificación de programas y la teoría de conjuntos.

Contenidos Temáticos

 CALCULO PROPOSICIONAL
-Proposiciones
-El lenguaje de las proposiciones
-Equivalencias lógicas
-Formas normales
-Reglas de inferencia y deducción proposicional
-Cláusulas y resolución básica

 CALCULO DE PREDICADOS
-Componentes sintácticas del cálculo de predicados
-Traducción de oraciones
-Validez
-Derivaciones y equivalencias
-Formas normales
-Fórmula de Skolen

  CONJUNTOS
-Conjuntos y relaciones
-Producto cartesiano y relaciones.
-Enteros y divisibilidad
-Aritmética modular

 INDUCCIÓN Y RECURSIÓN
-Inducción matemática.
-Relaciones de recurrencia.
-Resolución de relaciones de recurrencia.

Evaluación Formativa

Las evaluaciones se realizaran dentro de las normas de la Universidad en tres momentos.Las actividades a realizar en cada momento son:

-Parcial escrito 40%
-Talleres 15%
-Quices y tareas 15%
-Exposiciones de problemas lógicos 15%
-Otros aspectos que el profesor considere 15%

Bibliografía Básica Obligatoria

1. Rosen Kenneth H. Matemática discreta y sus aplicaciones. 5ª. Edición. McGraw-Hill. España 2003.
2. Grassmann Winfried Kart y Tremblay Jean Paul. Matemática discreta y lógica. Una perspectiva desde la computación. Editorial Prentice Hall. 1997.
3. Grimaldi Ralph. Matemáticas discretas y combinatorias. Editorial Addison Wesley Iberoamericana, 1997.
3. Suppes Patrick and Hill Shirley. Introducción a la lógica matemática. Editorial Reverte S.A. 1994.
4. Tucker Allen B y Cupper Robert D. Informática, lógica, resolución de problemas, programas y computadoras. Editorial Mc Graw-Hill. 1994.
Johnsonbaugh Richard. Matemáticas discretas. Editorial Prentice Hall. 1999.
5. Kolman Bernard, Busby Robert y Ross Sharon. Estructuras de matemáticas discretas para la computación. Editorial Prentice Hall. 1997.
6.Estrada Kassir Eduardo. Un primer curso de lógica matemática y computacional. Notas de clase.