Syllabus

Plan :16
ESCUELA INGENIERÍA CIVIL EN COMPUTACIÓN
INGENIERÍA CIVIL EN COMPUTACIÓN
MODELOS DISCRETOS

Nombre del Módulo MODELOS DISCRETOS

Número de Créditos Créditos STC-Chile: 6

Expresados en SCT - CHILENúmero de horas totales: 162

Presencial Autónomo
Cátedra Ayudantía Práctica Laboratorio Seminario Clínica Terreno Taller Tarea Estudio
Distribución de horas 4,00 1,00 0,00 0,00 0,00 0,00 0,00 0,00 2,00 2,00

Área de Conocimiento Ingeniería y Tecnología

Semestre 4

Requisitos

- ALGEBRA LINEAL (PRERREQUISITO)

- TEORIA DE SISTEMAS (PRERREQUISITO)

Unidad Responsable de la INGENIERÍA CIVIL EN COMPUTACIÓN

Construcción del Syllabus

Competencias del perfil de

egreso al que contribuye 08. Dominar el cuerpo de conocimiento disciplinar de ciencias de la computación conforme a
este módulo y nivel de logro estándares reconocidos nacional e internacionalmente para su correcto desempeño
de cada una de ellas profesional.

Aprendizajes

8.4.I. Reconoce las características de los distintos paradigmas de programación en la solución

de problemas computacionales.

8.5.I. Identifica los conceptos y técnicas de análisis de complejidad computacional en

algoritmos computacionales.

8.5.D. Analiza la complejidad computacional de algoritmos concretos mediante modelos

matemáticos.

8.5.L. Evalúa la complejidad computacional de algoritmos bajo distintas condiciones y

capacidades de equipos computacionales.

8.1.D. Construye algoritmos que solucionen problemas de mediana complejidad mediante la

integración de estrategias, estructuras de control, y estructuras de datos avanzadas.

1/5
Documento para uso interno. Vicerrectoría de Pregrado / Versión: 2023/1
Impreso: 5-07-2023 , 21:46:17 PM
 Syllabus

Unidades de aprendizajes y
saberes esenciales Unidad 1: Inducción
Reconocer las técnicas de demostración fundamentales, a saber, prueba directa,
contradicción e inducción para ser usadas como herramienta de validación de soluciones a
problemas acotados.
Aplicar las técnicas de demostración fundamentales de prueba directa, contradicción, e
inducción como herramienta de validación de soluciones a problemas acotados.
Comparar el proceso de inducción matemática y/o estructural contra el de recursividad, en el
diseño de soluciones a problemas acotados.

Unidad 2: Analisis de la complejidad asintótica de Algoritmos

Explicar por qué cualquier algoritmo requiere del uso de recursos computacionales medibles
con ecuaciones de recurrencia, tiempo y memoria
Reconocer técnicas básicas de conteo, progresiones aritméticas, y progresiones geométricas
en la resolución de ecuaciones de recurrencias
Resolver ecuaciones de recurrencia de una variable en aplicaciones prácticas.
Explicar el uso de recursos computacionales, a través de notación formal.

Unidad 3: Lógica proposicional y de primer orden

Reconocer los conceptos fundamentales de lógica proposicional y de predicados de primer
orden en la formalización de modelos lógicos
Aplicar la lógica proposicional y de predicados de primer orden a la solución de problemas
acotados.
Utilizar técnicas de consecuencia lógica como herramienta de deducción formal en el contexto
de la lógica proposicional y de predicados de primer orden.

Unidad 4: Conjuntos, relaciones y funciones

Reconocer aspectos de la teoría de conjuntos, relaciones y funciones como herramienta de
formalización matemática de propósito general.
Utilizar aspectos de la teoría de conjuntos, relaciones y funciones como herramienta de
formalización matemática.

Unidad 5: Grafos
Representar grafos y árboles matriz de adyacencia y lista de adyacencia a través de
estructuras de datos
Diseñar problemas de teoría de grafos caminos mínimos, árbol cobertor mínimo mediante
algoritmos fundamentales
Resolver problemas de teoría de grafos caminos mínimos, árbol cobertor mínimo mediante la
implementación de algoritmos fundamentales
Implementar grafos y arboles mediante la utilización de estructuras de representación de
datos tales como listas de adyacencia, matriz de adyacencia entre otras

Metodología a utilizar Clases teóricas o cátedras

El propósito de este método es compartir conocimientos y activar procesos cognitivos. Se
denomina como clase teórica una modalidad organizativa de la enseñanza en la que se utiliza
principalmente como estrategia didáctica la exposición verbal por parte del profesor de los
saberes que contempla el módulo. Aunque esta exposición se puede realizar de diversas
formas y con distintos medios, la característica esencial de esta modalidad de enseñanza es
su unidireccionalidad -hablar a los estudiantes- ya que tanto la selección de los saberes a
exponer como la forma de hacerlo constituyen una decisión del profesor (De Miguel, 2005)

Aprendizaje basado en problemas (ABP)

La finalidad de este método es que los estudiantes desarrollen aprendizajes significativos a
través de la resolución de problemas. Los estudiantes deben trabajar en grupos, sintetizar y
construir el conocimiento para resolver los problemas, que por lo general han sido tomados de
la realidad. El profesor debe desarrollar las habilidades para facilitar y generar en los alumnos
disposición para trabajar de esta forma, así como retroalimentar constantemente a los

2/5
Documento para uso interno. Vicerrectoría de Pregrado / Versión: 2023/1
Impreso: 5-07-2023 , 21:46:17 PM
 Syllabus

estudiantes sobre su participación en la solución del problema y finalmente reflexionar con el

grupo sobre las habilidades, actitudes y valores estimulados por la forma de trabajo (Instituto
Tecnológico de Monterrey [ITM], 2000).

Aprendizaje basado en proyectos

La finalidad de este método es la realización de un proyecto para la resolución de un
problema, aplicando habilidades y conocimientos adquiridos. Los estudiantes realizan un
proyecto en un tiempo determinado para resolver un problema, que tiene como resultado
generar un servicio, crear un producto único, o abordar una tarea mediante la planificación,
diseño y realización de una serie de actividades, en las cuales ellos deben aplicar los
aprendizajes adquiridos y efectuar un uso efectivo de recursos. Mediante esta metodología,
los estudiantes elaboran un producto tangible para la resolución de problemas enmarcados en
un contexto específico. Los estudiantes planean, implementan y evalúan proyectos que tienen
aplicación en el mundo real.

Evaluaciones de
aprendizaje
- ÁREA N°1: U1 INDUCCIÓN (25% - Exigible de aprobación)

Evaluaciones de desempeño escritas u orales:

- Tareas de resolución de problemas 35%

El alumno resuelve una serie de problemas, ya sea vía cálculo analítico o

desarrollando uno o varios programas computacionales que resuelven un problema
específico relacionado a los contenidos de la unidad.

Evaluaciones tipo pruebas escritas u orales:

- Prueba escrita 65%

El alumno resuelve una serie de problemas en un tiempo acotado

- ÁREA N°2: U2 ANÁLISIS DE ALGORITMOS (25% - Exigible de aprobación)

Evaluaciones de desempeño escritas u orales:

- Tareas de resolución de problemas 35%

El alumno resuelve una serie de problemas, ya sea vía cálculo analítico o

desarrollando uno o varios programas computacionales que resuelven un problema
específico relacionado a los contenidos de la unidad.

Evaluaciones tipo pruebas escritas u orales:

- Prueba escrita 65%

3/5
Documento para uso interno. Vicerrectoría de Pregrado / Versión: 2023/1
Impreso: 5-07-2023 , 21:46:17 PM
 Syllabus

El alumno resuelve una serie de problemas en un tiempo acotado.

- ÁREA N°3: U3 LÓGICA (15%)

Evaluaciones de desempeño escritas u orales:

- Tareas de resolución de problemas 100%

El alumno resuelve una serie de problemas, ya sea vía cálculo analítico o

desarrollando uno o varios programas computacionales que resuelven un problema
específico relacionado a los contenidos de la unidad.

- ÁREA N°4: U4 CJTOS, RELACS Y FUNCS (10%)

Evaluaciones de desempeño escritas u orales:

- Tareas de resolución de problemas 100%

El alumno resuelve una serie de problemas, ya sea vía cálculo analítico o

desarrollando uno o varios programas computacionales que resuelven un problema
específico relacionado a los contenidos de la unidad.

- ÁREA N°5: U5 GRAFOS (25%)

Evaluaciones de desempeño escritas u orales:

- Tareas de resolución de problemas 100%

El alumno resuelve una serie de problemas, ya sea vía cálculo analítico o

desarrollando uno o varios programas computacionales que resuelven un problema
específico relacionado a los contenidos de la unidad.

- PRUEBA RECUPERATIVA

En caso de reprobar las Tareas de resolución de problemas (tarea) de las Unidades 1

o 2 se pueden entregar en una segunda fecha con un descuento en la nota de 1.5
puntos.

En caso de reprobar la prueba escrita (prueba) de las Unidades 1 o 2 se puede rendir

en una segunda fecha con un descuento en la nota de 1.5 puntos.

Requerimientos especiales Este módulo no contempla una prueba opcional, según acuerdo del Consejo de Escuela de la
carrera de Ingeniería Civil en Computación, ratificado por el Consejo de Facultad de la
Facultad de Ingeniería.

4/5
Documento para uso interno. Vicerrectoría de Pregrado / Versión: 2023/1
Impreso: 5-07-2023 , 21:46:17 PM
 Syllabus

Bibliografía
Nombre: APUNTES DE MATEMÁTICAS DISCRETAS, Tipo de soporte de bibliografía:
Libro Digital , Tipo de bibliografía: Básica, Autor(es): Jorge Pérez ; Pontificia Universidad
Católica de Chile, Capítulos utilizados del Libro: Todos, Año: 2009

Nombre: APUNTES DE ANÁLISIS DE ALGORITMOS, Tipo de soporte de bibliografía:

Libro Digital , Tipo de bibliografía: Básica, Autor(es): Rodrigo Paredes; Universidad de
Talca, Capítulos utilizados del Libro: Todos, Año: En desarrollo

Nombre: APUNTES INTELIGENCIA ARTIFICIAL, Tipo de soporte de bibliografía: Libro

Digital , Tipo de bibliografía: Básica, Autor(es): Alejandro Bassi ; Universidad de Chile,
Capítulos utilizados del Libro: Algunos, Nro de capítulos: 4, Capítulos: 1-4, Año: 1999

Nombre: APUNTES DE ALGORITMOS Y ESTRUCTURAS DE DATOS, Tipo de soporte de

bibliografía: Libro Digital , Tipo de bibliografía: Básica, Autor(es): Benjamin Bustos,
Patricio Poblete ; Universidad de Chile, Capítulos utilizados del Libro: Algunos, Nro de
capítulos: 1, Capítulos: Capítulo de grafos, Año: 1995

Nombre: INTRODUCTION TO ALGORITHMS, Tipo de soporte de bibliografía: Libro , Tipo

de bibliografía: Complementaria, Autor(es): T.H. Cormen, C.E. Leiserson , R.L. Rivest ,
C.Stein; The MIT Press; 3rd Edition, Código ISBN / ISSN: 0262033844, Capítulos utilizados
del Libro: Todos, Año: 2009, Editorial: T.H. Cormen, C.E. Leiserson , R.L. Rivest , C.Stein;
The MIT Press; 3rd Edition

Nombre: INTRODUCTION TO GRAPH THEORY, Tipo de soporte de bibliografía: Libro ,

Tipo de bibliografía: Complementaria, Autor(es): D.B. West; Pearson; 2nd edition, Código
ISBN / ISSN: 0130144002, Capítulos utilizados del Libro: Todos, Año: 2000

Nombre: DISCRETE AND COMBINATIONAL MATHEMATICS: AN APPLIED

INTRODUCTION, Tipo de soporte de bibliografía: Libro , Tipo de bibliografía:
Complementaria, Autor(es): Ralph P. Grimaldi; Addison Wesley Longman; 4th Edition,
Código ISBN / ISSN: 0201199122, Capítulos utilizados del Libro: Algunos, Nro de
capítulos: caps 1, 2, 3, 4, 5, 11, 12, Año: 1998

5/5
Documento para uso interno. Vicerrectoría de Pregrado / Versión: 2023/1
Powered by TCPDF (www.tcpdf.org)
Impreso: 5-07-2023 , 21:46:17 PM