OPCIÓN EN MATEMÁTICAS COMPUTACIONALES
Departamento de Ingeniería de Sistemas y Computación
Departamento de Matemáticas
Agosto de 2008
INDICE
1. Presentación………………………………………………………………………. 3
2. A quién va dirigida ………………………………………………………………… 3
3. Objetivos …………………………………………………………………………… 4
Objetivo General
Objetivos Específicos
4. Reglamento …………………………………………………………………...…… 5
Administración
Reglamentación Genérica
5. Cursos de la OMC ……………………………………………………………….... 7
Bloque de Profundización
Bloque Básico de Matemáticas
Bloque Básico de Informática
6. Administración de la OMC……………………………………………………….. 12
7. Ejemplos de formas a seguir la OMC…………………………………………… 13
Estudiantes de Matemáticas
Estudiantes de Ingeniería de Sistemas y Computación
Estudiantes de Ingeniería
Estudiantes de otras carreras
2
1. PRESENTACIÓN
Una Opción en un grupo de materias valoradas entre 15 y 18 créditos, que un
estudiante regular de pregrado puede tomar en un área específica de
conocimientos. Para el estudiante, este mecanismo constituye una manera formal
de estructurar la porción electiva de sus estudios.
2. A QUIÉN VA DIRIGIDA
La Opción en Matemáticas Computacionales (OMC) está dirigida a todos los
estudiantes de la Universidad. Por su contenido académico, debe ser
especialmente atractiva para estudiantes de Ingeniería de Sistemas y
Computación o de Matemáticas, pero también puede resultar interesante para
estudiantes de otras ingenierías o ciencias dentro de la Universidad.
3
3. OBJETIVOS
OBJETIVO GENERAL
Reforzar los conocimientos de matemáticas e informática de los estudiantes que
emprendan la opción, en aspectos fundamentales y aplicados. De esta forma se
quiere incentivar la colaboración, en docencia e investigación, entre las dos
disciplinas.
OBJETIVOS ESPECÍFICOS
Profundizar en fundamentos matemáticos de la informática.
Desarrollar interés por la aplicación de herramientas computacionales en
problemas matemáticos.
Promover la participación de estudiantes y profesores en el estudio y
desarrollo de áreas que requieran o apliquen conocimientos matemáticos e
informáticos.
4
4. REGLAMENTO
Administración
La OMC es administrada de manera conjunta por el Departamento de Ingeniería
de Sistemas y Computación (DISC) y el Departamento de Matemáticas (DM).
a. Tanto en el DISC como en el DM hay un profesor de planta, llamado el
Representante de la OMC, encargado de las labores administrativas
correspondientes a su departamento. Los representantes de cada
Departamento son los responsables de, de forma conjunta,
Aceptar o rechazar solicitudes de ingreso a la OMC
Establecer los cursos que -según la oferta de cada semestre- son válidos
para cumplir requisitos de la OMC
Avalar inscripciones de cursos de estudiantes de la OMC para cumplir con
lo requerido
Avalar ante la Coordinación de su Departamento el cumplimiento de los
requisitos de la OMC por parte de cada estudiante.
b. El estudiante interesado en cursar la OMC debe solicitar su ingreso, por
escrito, a la Coordinación del DISC o a la Coordinación del DM.
c. Cada Coordinación da curso de la solicitud al Representante de la OMC de su
departamento, quien responde por escrito al estudiante su aceptación o
rechazo, con copia a la Coordinación.
d. Al graduarse, es responsabilidad del estudiante solicitar a la Coordinación que
supervisó su OMC la notificación a la Oficina de Registro y a la coordinación de
su programa la aprobación de su OMC.
5
Reglamentación Genérica
a. Ninguna materia obligatoria ni electiva técnica en el currículo del programa al
que pertenece el estudiante puede ser contabilizada dentro de los créditos de
la OMC.
b. No se exigen requisitos de promedio, diferentes de los que permiten al
estudiante permanecer en la Universidad, para seguir dentro de la opción.
c. Los prerrequisitos de un curso, que sean específicos para estudiantes de la
OMC de una carrera, pueden ser reemplazados por otros para estudiantes de
otras carreras, previa autorización de la Coordinación del programa del curso,
avalada por el Representante de la OMC del programa responsable del curso.
d. Las materias que son válidas para la OMC pueden variar en el tiempo. En caso
de que esto suceda, será comunicado con anterioridad a la oferta e inscripción
de cursos del semestre académico en que el cambio entre en vigor.
6
5. Cursos de la OMC
Las exigencias de cursos que pueden seguirse para aprobar la OMC dependen
del programa profesional del estudiante que la emprende. Adicionalmente, se
quiere promover el desarrollo de perfiles diferentes, mediante la electividad al
seleccionar cursos dentro de conjuntos de posibilidades.
La opción consta de 15 créditos repartidos en tres bloques, en cada uno de los
cuales el estudiante tendrá una oferta de varios cursos dentro de los que puede
elegir según su conveniencia
Advertencias para estudiantes de pregrado en Sistemas y Computación /
Matemáticas:
Los cursos ISIS o MATE que no sean obligatorios para estudiantes de pregrado de
Matemáticas o de Ingeniería de Sistemas y Computación pero que tengan
materias similares como obligatorias dentro de su carrera no cuentan para la
opción.
Los estudiantes de Matemáticas deberán escoger Sistemas como área menor
dentro de su currículo.
7
BLOQUE DE PROFUNDIZACIÓN
El bloque de profundización está constituido por materias dictadas por el DISC o el
DM que profundizan el conocimiento de alguna línea iniciada en los bloques
básicos. No se garantiza la oferta regular de todos los cursos referenciados.
El estudiante de la OMC debe escoger 3 créditos de las siguientes materias
consideradas avanzadas, en la formación de Informática o de Matemáticas:
Código Nombre Crd Prerrequisitos
ISIS Algorítmica paralela 3 Consultar consejero
4201
ISIS Programación funcional 3 Consultar consejero
4206
ISIS Programación lógica 3 Consultar consejero
4207
ISIS Programación no convencional 3 Consultar consejero
3101
ISIS Programación por restricciones 3 Consultar consejero
3104
ISIS Deducción automática 4 Consultar consejero
4104
ISIS Análisis de Algoritmos 4 Consultar consejero
4208
ISIS Diseño de lenguajes 4 Consultar consejero
4209
ISIS Criptografía aplicada 4 Consultar consejero
4409
ISIS Minería de datos 4 Consultar consejero
4503
MATE Herramientas para explorar el 3 MBIO 153 / MATE 1105 (Alg. Lineal)
2721 genoma
MATE Algebra abstracta 2 3 MATE 2101
3101
MATE Teoría algebraica de grafos 3 MATE 2101
3110
MATE Funciones recursivas 3 MATE 3120
3122
MATE Algoritmos de grafos 3 MATE 1105 (Alg. Lineal)
3704
MATE Teoría de juegos 3 MATE/IND 2505 (Probabilidad)
3712
MATE Teoría de modelos 1 4 MATE 3120
4140
8
Eventualmente, un estudiante podrá solicitar a un Representante de la OMC el
que una materia inicialmente considerada de nivel básico sea tenida en cuenta
como de profundización. La aprobación de la solicitud se decidirá conjuntamente
entre los Representantes, dependiendo del caso y de las razones que se
expongan.
9
BLOQUE BÁSICO DE MATEMÁTICAS
El estudiante de la OMC debe escoger 6 créditos de las siguientes materias
consideradas básicas en la formación de Matemáticas:
Código Nombre Crd Prerrequisitos
MATE Matemática estructural 3 -
1102
MATE Teoría de números 3 MATE 1102 / MATE 1105 (Alg.
1103 Lineal)
MATE Teoría de grafos 3 MATE 1207 (Cálc. Vectorial)
1104
MATE Algebra Abstracta 1 3 MATE 1102 / MATE 1105 (Alg.
2101 Lineal)
MATE Combinatoria computacional 3 MATE 1102
2110
MATE Análisis numérico 3 MATE 2301 (Ec Diff)
2601
MATE Lógica 3 MATE 2101
3120
10
BLOQUE BÁSICO DE INFORMÁTICA
El estudiante de la OMC debe escoger 6 créditos de las siguientes materias
consideradas básicas en la formación de Informática:
Código Nombre Crd Prerrequisitos
ISIS Herramientas de Deducción 3 -
1101 Formal
ISIS Fund. de Ciencias de 3 ISIS 1101
1102 Computación
ISIS Algorítmica y Programación 1 3 -
1204
ISIS Algorítmica y Programación 2 3 ISIS 1204
1205
ISIS Teoría de lenguajes 3 ISIS 1102 / MATE 3120
2102
ISIS Diseño de algoritmos 3 ISIS 1102 / MATE 3120; ISIS 1206
2103 (Estr. Datos)
ISIS Modelaje de software 3 ISIS 1102 / MATE 3120
3103
11
6. ADMINISTRACIÓN DE LA OMC
Representantes de la OMC en los departamentos
DISC: Rodrigo Cardoso
DM: Maricarmen Martínez
Coordinadores de Pregrado
DISC: Olga Lucía Giraldo
DM: Ahmed Ould
Cuerpo Profesoral
DISC DM
Rodrigo Cardoso Carlos Montenegro
Silvia Takahashi Luis Jaime Corredor
Rafael García Xavier Caicedo
Rubby Casallas Maricarmen Martínez
Jorge Villalobos Alf Onshuus
Milton Quiroga Ahmed Ould
Nicolás López Mario Valencia
12
7. EJEMPLOS DE FORMAS A SEGUIR LA OMC
Estudiantes de Matemáticas
Programa A (“estudiante de Matemáticas profundizando en Matemáticas”)
MATE 1103 Teoría de números
MATE 2721 Herramientas para explorar el genoma
MATE 2110 Combinatoria computacional
ISIS 2103 Diseño de algoritmos
ISIS 3103 Modelaje de software
Programa B (“estudiante de Matemáticas profundizando en Informática”)
MATE 1103 Teoría de números
MATE 1104 Teoría de grafos
ISIS 2101 Modelaje y especificación de software
ISIS 2103 Diseño de algoritmos
ISIS 4104 Deducción automática
Estudiantes de Ingeniería de Sistemas y Computación
Programa C (“estudiante de Ing. de Sistemas y Computación profundizando en
Informática”)
ISIS 2101 Modelaje y especificación de software
ISIS 3104 Programación por restricciones
ISIS 4104 Deducción automática
MATE 1103 Teoría de números
MATE 1104 Teoría de grafos
Programa D (“estudiante de Ing. de Sistemas y Computación profundizando en
Matemáticas”)
ISIS 2101 Modelaje y especificación de software
ISIS 3101 Programación no convencional
MATE 2101 Algebra Abstracta 1
MATE 3120 Lógica
MATE 4140 Teoría de modelos 1
13
Estudiantes de Ingeniería (no de Sistemas y Computación) /
Economía / ...
Programa E (“estudiante de Ingeniería – no de Sistemas, orientado a informática”)
ISIS 1101 Herramientas de Deducción Formal
ISIS 1102 Fund. de Ciencias de Computación
ISIS 1205 Algorítmica y Programación 2
MATE 1103 Teoría de números
MATE 1104 Teoría de grafos
Programa F (“estudiante de Ingeniería – no de Sistemas, orientado a
matemáticas”)
ISIS 1101 Herramientas de Deducción Formal
ISIS 1205 Algorítmica y Programación 2
MATE 1103 Teoría de números
MATE 1104 Teoría de grafos
MATE 2721 Herramientas para explorar el genoma
Estudiantes de otras carreras
Programa G (“estudiante de Biología interesado en aplicaciones de informática”)
ISIS 1101 Herramientas de Deducción Formal
ISIS 1102 Fund. de Ciencias de Computación
ISIS 1205 Algorítmica y Programación 2
MATE 1104 Teoría de grafos
MATE 2721 Herramientas para explorar el genoma
14