Código: 167238 A
Ubicación Semestral: 4
Intensidad Horaria Semanal: 5
Créditos: 3
Tipo: Teórico - Práctica
Facilitador: MSc. Luis Armando Portilla Granados
Contacto: laporti@unipamplona.edu.co - laportig@hotmail.com
Introducción
Este curso esta dirigido a estudiantes del Programa de Ingeniería de Sistemas, como Introducción a las Ciencias Computacionales, con el fin de aportar fundamentos teóricos requeridos para el perfil de formación del programa.
Objetivo
El estudiante aplicará la teoría de las Matemáticas Discretas en la interpretación y resolución de problemas de las ciencias computacionales.
Horario
- Miércoles: 9-12m - Aula FJ103
- Viernes: 8-10am - Aula FJ103
Horario de Asesorías
- Miércoles: 2-4pm - Oficicinas de profesores FJ103
Sistema de Evaluación
ACUERDO No.186 del 02 de diciembre de 2005: Por el cual compila y actualiza el Reglamento Académico Estudiantil de Pregrado. (Acuerdo No. 102 del 19 de diciembre de 2013 que modifica el astículo 32)
ARTÍCULO 32. - Aplicación de Evaluaciones: Las evaluaciones serán aplicadas teniendo en cuenta los siguientes criterios:
a. Establézcase las semanas sexta (6), décima primera (11) y décima sexta (16), como fechas para realizar las evaluaciones de cada una de las asignaturas de un programa académico.
b. Las evaluaciones se realizarán desde los horarios de clase establecidos.
c. Para las asignaturas con una intensidad de hasta tres (3) horas semanales la evaluación podrá ocupar el 100% de la franja semanal, para las demás la evaluación no podrá exceder el 50% de la intensidad horaria semanal, entendiéndose que en el 50% restante deberán desarrollarse actividades académicas.
- Corte 1: 35% (15% actividades de evaluación - 20% exámen)
- Corte 2: 35% (15% actividades de evaluación - 20% exámen)
- Corte 3: 30% (10% actividades de evaluación - 20% exámen)
Exámenes Primer Periodo Académico de 2018
- Corte 1: Miércoles 4 de Abril
- Corte 2: Miércoles 9 de Mayo
- Corte 3: Miércoles 13 de Junio
Plan de Estudios – Línea Ciencias Computacionales
Introducción a las Ciencias Computacionales – 4 Semestre (167238)
Matemáticas Discretas: Fundamentación – Lógica y teoría de conjuntos - Relaciones y funciones - Principios de conteo – Teoría de grafos
Lógica Computacional – 5 Semestre (167243)
Lógica proposicional - Lógica de predicados - Teorema de Herbrands- Principio de resolución - Resolución semántica y lineal
Teoría de la Computación – 6 semestre (167270)
Lenguajes y gramáticas formales – Gramáticas regulares y autómatas finitos - Gramáticas independientes del contexto y autómatas de pila – Máquinas de Turing
Contenidos
- LÓGICA: Definición - Proposiciones – Conectivos lógicos – Tablas de verdad - Tautologías, contradicciones y contingencias – Implicación lógicas – Equivalencia lógica - Álgebra proposicional – Ejercicios de aplicación.
- CONJUNTOS: Definición - Pertenencia – Especificación – Subconjuntos – Diagramas de Venn – Operaciones con conjuntos – Problemas
- RELACIONES: Definición – Relación inversa – Representaciones gráficas de relaciones – Composición entre relaciones – Tipos de relaciones – Ejercicios de aplicación
- FUNCIONES: Definición – Composición de funciones – Tipos de funciones – Funciones matemáticas – Ejercicios de aplicación
- CONTEO: Definición – Principios de conteo – Técnicas de conteo: combinaciones y permutaciones – Ejercicios de aplicación
- GRAFOS: Definiciones – Representación de un grafo en memoria: matrices de incidencia y adyacencia – Subgrafos – Grafos isomorfor y homeomorfos – Caminos – Componentes conexos – Distancia y diámetro – Puntos de corte y puentes – Grafos Eulerianos y Hamiltonianos – Grafos etiquetados y ponderados – Algoritmos para hallar el camino más corto: Dijkstra, Bellman – For, A*, Floyd, Johnson y Viterbi – Grafos especiales – Ejercicios de aplicación
- ÁRBOLES: Definiciones – Árboles de expansión – Listas de adyacencia – Búsquedas en profundidad y anchura: algoritmos DFS y BFS – Árboles de expansión mínima: algoritmos de Kruskal y Prim - Grafos planos, mapas y regiones – Ejercicios de aplicación.
Bibliografía
Matemáticas para la computación, JOSE A. JIMENEZ MURILLO, Alfaomega, México 2008 - Matemáticas discretas, RAMÓN ESPINOSA ARMENTA, Alfaomega, México 2010 - Matemática Discreta (Schaun), tercera edición, SEYMOUR LIPSCHUTZ Y MARC LIPSON, Mc Graw Hill, México 2009. - 2000 Problemas resueltos de Matemática Discreta (Schaun), SEYMOUR LIPSCHUTZ Y MARC LIPSON, Mc Graw Hill, Madrid 2004. - Introducción a la matemática discreta, EMMANUEL BRIAND, Universidad de Sevilla 2011 - Matemática discreta, FRANCESC COMELLAS - JOSEP FÀBREGA - ANNA SÀNCHEZ - ORIOL SERRA, Edicions de la Universitat Politécnica de Catalunya 2001. - Matemáticas discretas para las ciencias computacionales, HUGO DAVID CALDERON VILCA, Perú 2008. - Matemáticas discretas y sus aplicaciones, 5ª edición, KENNETH H. ROSEN, Mc Graw Hill, Madrid 2004. - Matemáticas para la computación, JOSÉ ALFREDO JIMÉNEZ MURILLO, Alfaomega, México 2009 - Matemáticas discretas, 4ª edición, RICHARD JOHNSONBAUGH, PRENTICE HALL, México, 1999.
