DESCRIPCIN SINTTICA DEL PLAN DE ESTUDIOS

LICENCIATURA EN CIENCIAS DE LA COMPUTACIN

Unidad Acadmica: Plan de Estudios: rea de Conocimiento: Facultad de Ciencias Licenciatura en Ciencias de la computacin Ciencias Fsico Matemticas y las Ingenieras

Fecha de aprobacin por el H. Consejo Universitario: 12 de agosto de 1994 Perfil Profesional: El licenciado en Ciencias de la Computacin es un profesional que por sus conocimientos profundos en matemticas y computacin realiza investigacin y docencia en esta ltima y colabora aplicando adecuadamente las matemticas y las tcnicas y equipos computacionales para resolver problemas de investigacin o aplicaciones de otras disciplinas. Requisitos de Ingreso: Para alumnos de la UNAM: Haber concluido el bachillerato en el rea de las Ciencias Fsico Matemticas y de las Ingenieras. Solicitar la inscripcin de acuerdo a los instructivos que se establezcan. Para aspirantes procedentes de otras instituciones: o o o o Haber concluido el bachillerato; Tener promedio mnimo de siete (7) en el bachillerato o su equivalente; Aprobar el concurso de seleccin; Solicitar la inscripcin de acuerdo a los instructivos que se establezcan.

Duracin de la carrera: 8 semestres Valor en crditos del plan de estudios: Total: 392 (*) Obligatorios: 292 rea de Concentracin: 50 Optativos: 50 Seriacin: La seriacin de asignaturas es recomendada.

Organizacin del plan de estudios: El plan de estudios se cursa en ocho semestres. Se compone de 26 materias de carcter obligatorio y 10 a elegir como optativas. En las materias obligatorias podemos identificar a 10 de ellas aportando los conocimientos formativos bsicos del rea de matemticas, y que corresponde al tronco comn con las licenciaturas de Matemticas y Actuara (y en gran medida con la carrera de Fsica). Otras 13 materias obligatorias proporcionan al estudiante una formacin slida y suficientemente amplia en ciencias de la computacin, y 3 ms proporcionan herramientas desde el rea de matemticas. Con estas materias obligatorias podemos garantizar que nuestros egresados van a tener una visin amplia y slida de las ciencias de la computacin, as como la formacin bsica y el herramentaje matemtico necesario para que se desenvuelvan como verdaderos cientficos, particularmente en el rea de las matemticas. Requisitos para la titulacin: Generales: Haber cursado y aprobado todos los crditos y asignaturas del plan de estudios correspondiente. Acreditado el Servicio Social. Haber aprobado el examen oral y escrito. La prueba podr ser: Tesis Trabajo elaborado en seminario, laboratorio, taller o Servicio Social. Particulares: Los crditos del plan de estudios debern cubrirse de la siguiente manera: 292 crditos que corresponden a las materias obligatorias del plan de estudios. 50 crditos seleccionados dentro de alguna de las 5 reas de concentracin. 50 crditos seleccionados de manera libre de la lista completa de materias optativas de la licenciatura de Matemticas, Fsica, Actuara, Biologa o de la Facultad de Ingeniera. Para cursar aquellas materias que no estn registradas como materias optativas de esta licenciatura, el estudiante requerir de la aprobacin del Departamento de Matemticas para cursarlas. Para el caso de la elaboracin de un trabajo escrito que no corresponda a una tesis; el seminario, laboratorio, taller o servicio social deber ser autorizado previamente por el Consejo Tcnico, para el auspicio de exmenes escritos con el propsito de que sean considerados como requisitos de egreso. El examen oral consistir en la defensa del trabajo escrito, cualquiera que haya sido su modalidad. Haber acreditado el dominio, en el mbito tcnico, de dos idiomas adems del espaol.

LICENCIATURA EN CIENCIAS DE LA COMPUTACIN ASIGNATURAS OBLIGATORIAS

PRIMER SEMESTRE *CL. CR. NOMBRE DE LA ASIGNATURA 0007 0091 0244 0416 10 18 10 10 lgebra Superior I Clculo Diferencial e Integral I Geometra Analtica I Matemticas Discretas SEGUNDO SEMESTRE 0008 0092 0224 0245 10 18 10 10 lgebra Superior II Clculo Diferencial e Integral II Introduccin a Ciencias de la Computacin I Geometra Analtica II TERCER SEMESTRE 0005 0093 0339 0340 10 18 10 10 lgebra Lineal I Clculo Diferencial e Integral III Introduccin a Ciencias de la Computacin II Probabilidad y Estadstica CUARTO SEMESTRE 0006 0094 0415 0574 10 18 10 10 lgebra Lineal II Clculo Diferencial e Integral IV Anlisis Lgico Diseo de Sistemas Digitales QUINTO SEMESTRE 0036 0414 0576 0605 10 10 10 10 10 Anlisis Numrico I Anlisis de Algoritmos I Teora de la Computacin Arquitectura de Computadoras Optativa SEXTO SEMESTRE 0575 10 Ingeniera de Software 0606 10 Sistemas de Bases de Datos 0607 10 Lenguajes de Programacin y sus Paradigmas

0608 10 Inteligencia Artificial 10 Optativa SPTIMO SEMESTRE 0713 10 Sistemas Operativos 0714 10 Redes de Computadoras 10 Optativa 10 Optativa 10 Optativa OCTAVO SEMESTRE 10 10 10 10 10 Optativa Optativa Optativa Optativa Optativa Idioma Idioma

ASIGNATURAS OPTATIVAS POR REAS DE CONCENTRACIN

CIENCIAS COMPUTACIONALES 0001 0002 0009 0010 0037 0077 0162 0165 0217 0626 0743 0800 0801 0802 0803 0804 0805 0806 0807 0808 0809 0810 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 lgebra Moderna I lgebra Moderna II Anlisis Matemtico I Anlisis Matemtico II Anlisis Numrico II Anlisis de Redes Ecuaciones Diferenciales I Ecuaciones Diferenciales Parciales I Funciones Especiales y Transformadas Integrales Probabilidad II Seminario de Anlisis Matemtico (Sistemas Dinmicos) Redes Neuronales y Autmatas Celulares Anlisis de Algoritmos II Computacin Simblica Graficacin por Computadora Herramientas de Computacin para la Ciencias (Software Cientfico) Proceso Digital de Imgenes Procesos Paralelos y Distribuidos Simulacin Supercmputo Visualizacin Seminario de Temas Selectos de Computacin
4

0840 10 Variable Compleja I 0841 10 Variable Compleja II COMPUTACIN TERICA 0001 0002 0447 0626 0759 0764 0777 0801 0802 0806 0810 0811 0812 0813 0814 0815 0975 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 lgebra Moderna I lgebra Moderna II Lgica Matemtica III Probabilidad II Teora de las Grficas Teora de los Nmeros I Teora de los Nmeros II Anlisis de Algoritmos Computacin Simblica Procesos Paralelos y Distribuidos Seminario de Temas Selectos de Computacin Lgicas no Clsicas Mtodos Probabilsticos en Computacin Programacin Funcional y Lgica Semntica y Verificacin Teora de Cdigos Seminario de Anlisis Combinatorio II INTELIGENCIA ARTIFICIAL 0447 0751 0754 0759 0806 0810 0811 0812 0816 0817 0818 0819 0820 0821 0975 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 Lgica Matemtica III Seminario sobre la Enseanza de las Matemticas I Seminario sobre la Enseanza de las Matemticas II Teora de las Grficas Procesos Paralelos y Distribuidos Seminario de Temas Selectos de Computacin Lgicas no Clsicas Mtodos Probabilsticos en Computacin Algoritmos Genticos Compiladores Introduccin a la Ciencia Cognitiva Lingstica Computacional Robtica Sistemas Expertos Seminario de Anlisis Combinatorio PROGRAMACIN 0001 0002 0077 0251 10 10 10 10 lgebra Moderna I lgebra Moderna II Anlisis de Redes Geometra Proyectiva
5

0362 0751 0754 0801 0802 0803 0805 0806 0809 0810 0813 0815 0816 0817 0822 0823

10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10

Introduccin a la Investigacin de Operaciones Seminario sobre la Enseanza de las Matemticas I Seminario sobre la Enseanza de las Matemticas II Anlisis de Algoritmos II Computacin Simblica Graficacin por Computadora Proceso Digital de Imgenes Procesos Paralelos y Distribuidos Visualizacin Seminario de Temas Selectos de Computacin Programacin Funcional y Lgica Teora de Cdigos Algoritmos Genticos Compiladores Diseo de Interfaces Diseo y Programacin Orientada a Objetos

APLICACIONES A CIENCIAS SOCIALES Y ADMINISTRATIVAS 0001 0002 0362 0398 0621 0626 0633 0634 0759 0803 0810 0817 0823 0824 0825 0826 0975 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 lgebra Moderna I lgebra Moderna II Introduccin a la Investigacin de Operaciones Estadstica I Programacin Lineal Probabilidad II Programacin Entera Programacin no Lineal Teora de las Grficas Graficacin por Computadora Seminario de Temas Selectos de Computacin Compiladores Diseo y Programacin Orientada a Objetos Grandes Bases de Datos Seminario de Aplicaciones de Cmputo Sistemas Manejadores de Bases de Datos Seminario de Anlisis Combinatorio

*CL.= CLAVE CR.= CREDITO NOTAS 1. El alumno deber presentar y aprobar durante los primeros dos aos de inscripcin a la licenciatura en examen de dominio del idioma ingls tcnico (se podr alargar este plazo mediante permiso expreso e individual dado por el H. Consejo Tcnico de la Facultad).

2. Los crditos del plan de estudios debern cubrirse de la siguiente manera: 292 crditos que corresponden a las materias obligatorias del plan de estudios; 50 crditos seleccionados dentro de algunas de las 5 reas de concentracin; 50 crditos seleccionados de manera libre de la lista completa de materias optativas de la licenciatura, de las licenciaturas de Matemticas, Fsica, Actuara, Biologa o de la Facultad de Ingeniera. Para cursar aquellas materias que no estn registradas como materias optativas de esta licenciatura, el estudiante requerir de la aprobacin del Departamento de Matemticas para cursarlas. 3. Para el caso de la elaboracin de un trabajo escrito que no corresponda a una tesis; el seminario, laboratorio, taller o servicio social deber ser autorizado previamente por el Consejo Tcnico, para el auspicio de exmenes escritos con el propsito de que sean considerados como requisitos de egreso. 4. El examen oral consistir en la defensa del trabajo escrito, cualquiera que haya sido su modalidad. 5. Haber acreditado el dominio, en el mbito tcnico, de dos idiomas adems del espaol, uno de los cuales corresponde al que debern acreditar antes del tercer ao. El segundo idioma se podr elegir entre los aceptados para la licenciatura en Matemticas de esta facultad.

DESCRIPCIN SINTTICA DE LAS ASIGNATURAS

LICENCITURA EN CIENCIAS DE LA COMPUTACIN
0001 10 LGEBRA MODERNA I Estudiar la Teora de Grupos, la cual es una de las ramas ms desarrolladas de la Matemtica. Adems se ofrece una introduccin a la Teora de Anillos. 0002 10 LGEBRA MODERNA II Se busca dar al alumno una idea profunda de la Teora de Anillos y ejemplos importantes como los dominios enteros, euclidianos, y sus aplicaciones a Teora de Nmeros y sobre anillos de polinomios. Que al alumno conozca bien la Teora de Galois y sus grandes explicaciones, como son la imposibilidad de resolver todos los polinomios de grado mayor que cuatro por radicales, y de hecho conocer algoritmos para construir polinomios con esta propiedad. Se revisan tambin los problemas de triseccin de ngulos y duplicacin del cubo. Finalmente se estudia la construccin de campos finitos y los teoremas de Wedderburn y Frobenius.

0005 10 LGEBRA LINEAL I El lgebra lineal es una de las ms antiguas y a la vez una de las ms modernas reas de la Matemtica. Tanto por sus conceptos como por su aplicacin en diversas reas del conocimiento se ha convertido en una materia bsica en muchas carreras. Este curso ofrece la mitad del conocimiento del lgebra Lineal. 0006 10 LGEBRA LINEAL II Al igual que el primer curso de lgebra Lineal I, se presentan conceptos tericos y aplicaciones bsicas para muchas reas de la Matemtica moderna. Este curso ofrece la segunda mitad del conocimiento elemental del lgebra Lineal y en l se encuentran los temas ms profundos del rea. 0007 10 LGEBRA SUPERIOR I Este curso introduce los temas bsicos de la Matemtica y en particular del lgebra: Son el fundamento de los cursos que se imparten en la carrera. Este curso ofrece la primera mitad del material que se considera elemental. 0008 10 LGEBRA SUPERIOR II Este curso contina la presentacin de los conceptos bsicos de la Matemtica en general y del lgebra en particular. Al igual que los temas incluidos en lgebra Superior I constituyen el fundamento de todos los cursos de esta carrera. Este curso ofrece la segunda mitad del material bsico. 0009 10 ANLISIS MATEMTICO I Dar un tratamiento riguroso a algunos de los conceptos que se introducen en los cursos de Clculo Diferencial e Integral, se hace nfasis en los aspectos tericos. Se generalizan los conceptos de funcin, lmite y continuidad a espacios mtricos y se realiza de manera formal el estudio de sucesiones y series de funciones, conceptos adquiridos en el ltimo curso de clculo. 0010 10 ANLISIS MATEMTICO II Este curso es continuacin del curso Anlisis Matemtico I. El objetivo de ste, al igual que el anterior es tratar de manera rigurosa los conceptos adquiridos en los cursos de clculo y presentar algunos nuevos que lo introducirn en el estudio del anlisis avanzado. Se estudia nuevamente el concepto de derivada en el caso de funciones reales de variable real de manera formal, pero breve, para posteriormente enfocar toda la atencin al caso de funciones de varias variables. Los teoremas importantes relacionados con este concepto son demostrados con todo detalle. Las series de potencias, que sern de gran utilidad para el alumno, se presentan en este curso. Se presenta tambin en este curso la integral de

Riemann-Stieltjes, una integral diferente a la conocida por el alumno hasta este momento. 0036 10 ANLISIS NUMRICO I Introducir algoritmos eficientes y estables para la resolucin de problemas matemticos planteados por las necesidades del desarrollo de las ciencias y la tecnologa, haciendo nfasis en sus alcances y limitaciones. Se introduce tambin el manejo de software de calidad para cada uno de los temas tratados. 0037 10 ANLISIS NUMRICO II En este curso se da una introduccin aquellos temas que histricamente ms han influido en el desarrollo de las Computadoras, el Anlisis Numrico y la Computacin Cientfica; temas que por dems tienen gran repercusin en la ciencia y la tecnologa. En forma resumida ellos son: La solucin de sistemas lineales Algebraicos a gran escala, el clculo de valores y vectores propios de una matriz; y la solucin numrica de problemas de ecuaciones diferenciales ordinarias y parciales. 0077 10 ANLISIS DE REDES Proporcionar al alumno los elementos analticos necesarios para la formulacin, anlisis y solucin de los problemas bsicos de optimizacin en redes. Se estudian las propiedades tericas de cada problema as como diversos algoritmos que lo resuelven considerando diferentes tipos de restricciones. Se discuten algunos aspectos de complejidad algortmica y se aplican resultados de Programacin Lineal especializndolos a la estructura particular del caso de redes. 0091 18 CLCULO DIFERENCIAL E INTEGRAL I En este primer curso de Clculo se pretende que el alumno conozca los elementos matemticos bsicos que sustentan el concepto de derivabilidad de una funcin entre nmeros reales. Este objetivo hace necesaria una revisin detallada de conceptos matemticos tales como el de funcin e incluso el nmero real. En particular, se busca que el alumno rebase el conocimiento intuitivo que tiene de estos conceptos. 0092 18 CLCULO DIFERENCIAL E INTEGRAL II En este segundo curso de Clculo se pretende que el alumno conozca los elementos matemticos bsicos que intervienen en la definicin precisa del concepto de integral de una funcin entre nmeros reales. Como en el caso de la derivada, se desea que el alumno adquiera habilidad para manejar los aspectos operacionales y de aplicacin a otras reas, adems de comprender la estrecha vinculacin matemtica que hay entre estos dos conceptos.

0093 18 CLCULO DIFERENCIAL E INTEGRAL III Introducir el concepto de funcin de varias variables y que el alumno conozca la forma en que se extienden las definiciones de lmite, continuidad y derivada par este tipo de funciones. Este curso comprende principalmente una amplia exposicin de los resultados y propiedades ms relevantes del concepto de derivada para esta clase de funciones. 0094 18 CLCULO DIFERENCIAL E INTEGRAL IV Exponer las diferentes formas en que el concepto de integral se extiende a funciones de varias variables. Del mismo modo, se pretende que el alumno conozca la interpretacin fsica de los conceptos de integral de lnea y superficie y los importantes teoremas relacionados con estos conceptos. 0162 10 ECUACIONES DIFERENCIALES ORDINARIAS I Familiarizar al alumno con una amplia gama de fenmenos a los que al asociarle un modelo matemtico intervenga Ecuaciones Diferenciales ordinarias y/o parciales, tomando en cuenta los rangos de validez que tienen estos modelos en funcin de las hiptesis con que son construidos. Asimismo familiarizarlo con un mnimo de habilidad en el manejo de las tcnicas que le permiten obtener soluciones explcitas de Ecuaciones Diferenciales, en los casos que es posible, haciendo resaltar el importante papel que juegan las Ecuaciones Diferenciales Lineales y a su vez haciendo notar que estas tcnicas son limitadas en el sentido de que las soluciones de una gran cantidad de Ecuaciones Diferenciales no son, o no son fcilmente, expresables explcitamente a travs de funciones elementales. Siendo necesario, consecuentemente, el desarrollo de una teora que nos permita contestar ciertas preguntas acerca de las soluciones sin que stas se conozcan en forma explcita. 0165 10 ECUACIONES DIFERENCIALES PARCIALES I Que el estudiante aprenda a resolver problemas concretos de la fsica, como son: Problemas de propagacin de ondas (cuerda, membrana, sonido, electromagntica, Klein-Gordon, etc.). Propagacin de calor, de partculas, ondas ssmicas, resonancia, etc. Y para resolver este tipo de problemas el estudiante aprender cmo pasar de un fenmeno fsico a las ecuaciones diferenciales parciales que modelan este fenmeno y luego a encontrar la familia de soluciones de este fenmeno para poder hacer predicciones de comportamiento del mismo en un tiempo distinto al de la observacin. Llegando a aplicaciones como tomografa, percepcin remota radares, etc. 0217 10 FUNCIONES ESPECIALES Y TRANSFORMADAS INTEGRALES Estudiar y construir las funciones especiales como soluciones de algunas ecuaciones diferenciales de la fsica clsica y moderna para diversas condiciones

10

iniciales y/o de frontera. Representar funciones como series y/o transformadas integrales de conjuntos completos de funciones ortonormales y de otras funciones. Ilustrar las aplicaciones de las funciones especiales y las transformadas integrales de la solucin de variedades de problemas. 0224 10 INTRODUCCIN A CIENCIAS DE LA COMPUTACIN I Este curso introduce la metodologa de diseo de software utilizando para ello un lenguaje moderno de programacin. Se introduce a los estudiantes al proceso de diseo e implementacin de un programa que resuelva un problema algortmico. Se cubren tipos de datos y se introducen algunos mtodos de bsqueda y ordenamiento para motivar los aspectos metodolgicos. Se cubren estructuras de control, tipos de datos y abstraccin de procedimientos. El curso introduce tambin la historia y el impacto social de la computacin y la naturaleza de la propiedad intelectual. El acceso a un laboratorio dedicado es de primordial importancia para llevar a cabo adecuadamente este curso. 0244 10 GEOMETRA ANALTICA I Proporcionar a los alumnos los conocimientos fundamentales que le permitan relacionar de tal manera el lgebra y la Geometra, que sean capaces de representar, resolver e interpretar analticamente problemas geomtricos, y geomtricamente problemas Algebraicos. As como interpretar geomtricamente propiedades, valores, relaciones y mtodos analticos y expresar analticamente propiedades geomtricas. Se presentarn tambin diferentes alternativas de representacin de lugares geomtricos (ecuaciones cartesianas, vectoriales, paramtricas, polares) identificando sus ventajas, desventajas y algunas de sus aplicaciones. 0245 10 GEOMETRA ANALTICA II Proporcionar los conocimientos fundamentales que le permitan aplicar diferentes tipos de transformaciones a las curvas presentadas en Geometra Analtica I, as como reconocer, analizando una ecuacin de segundo grado con dos o tres variables, el lugar geomtrico que representa. Presentar otros sistemas de coordenadas que simplificarn la solucin de problemas de ciertas aplicaciones. 0251 10 GEOMETRA PROYECTIVA El curso de divide en dos partes, cuyos objetivos son: Primera parte.- Unificar y extender el estudio del plano euclidiano al del plano y espacios proyectivos. Desarrollar el razonamiento puramente geomtrico mediante el uso de los mtodos sintticos. Familiarizar al alumno con el mtodo axiomtico (a travs de la fundamentacin de la geometra proyectiva). Establecer algunas de las conexiones de la geometra proyectiva con la teora de grupos y las funciones de variable compleja. Segunda Parte.- Mediante temas selectos se trata de introducir al alumno a otras reas, tanto de la geometra como de la graficacin por

11

computadora o la teora de grupos, que estn extremadamente ligadas con la geometra proyectiva. 0339 10 INTRODUCCIN A CIENCIAS DE LA COMPUTACIN II Este curso contina con el desarrollo de las ideas fundamentales en el diseo y desarrollo de software. Se introduce a los alumnos el concepto de tipo abstracto de datos. Este concepto se aplica a la implementacin de varias estructuras de datos, incluyendo stacks, colas y rboles binarios. Se revisan algoritmos de bsquedas y ordenamientos que utilizan estas estructuras de datos. Otros temas incluyen recursividad, el ciclo de vida del software, especificacin de requisitos e introduccin a verificacin de programas. Tambin en este curso se hace una introduccin superficial a los problemas de complejidad de algoritmos. 0340 10 PROBABILIDAD Y ESTADSTICA En toda profesin se hacen investigaciones que implican observaciones en las que se emplean tcticas que se sistematizan de alguna manera, pero que tienen un fin determinado. Estos mtodos incluyen a la Estadstica que se integra al mtodo cientfico a travs de la experimentacin u observacin, y que se utiliza como un dispositivo para someter a prueba una hiptesis establecida o para adquirir cierto conocimiento. La mayor parte de las investigaciones dan resultados que son inferencias, es decir, son enunciados de carcter incierto. La cuantificacin de esa incertidumbre es la Probabilidad. 0352 10 INTELIGENCIA ARTIFICIAL Dar un panorama selectivo de conceptos clave y aplicaciones de la inteligencia artificial, junto con una experiencia extensa con algn lenguaje que se utilice comnmente para construir sistemas de IA (Lisp, Prolog). Los subsistemas incluyen representacin del conocimiento, bsqueda en el espacio de estados, bsqueda heurstica, sistemas expertos, proceso del lenguaje natural, lgica proposicional, modelos de aprendizaje y visin. 0362 10 INTRODUCCIN A LA INVESTIGACION DE OPERACIONES Proporcionar los conocimientos que permitan al alumno conocer los orgenes de la Investigacin de Operaciones, comprender su metodologa, algunas de sus aplicaciones ms comunes. Podr formular modelos matemticos simples y conocer y aplicar los algoritmos adecuados. 0398 10 ESTADSTICA I Dar los conocimientos bsicos del anlisis estadstico de datos, para lo cual es necesario ilustrar, desde la importancia de los mtodos descriptivos (histogramas, grficas, etc.) hasta los procedimientos para la estimacin de parmetros, las propiedades estocsticas de los estimadores, as como las pruebas de hiptesis

12

estadstica. De manera general el curso provee los conceptos necesarios para el aprendizaje de tcnicas estadsticas ms avanzadas como seran Anlisis de Regresin o Diseo de Experimentos. 0414 10 ANLISIS DE ALGORITMOS I Este curso da un tratamiento profundo de anlisis de complejidad. Ayudan a motivar y desarrollar el tema varios algoritmos de bsqueda y ordenamientos, as como mtodos de espacios de bsqueda del rea de Inteligencia Artificial y estructuras de archivos utilizados en sistemas de bases de datos. Se discuten clases de complejidad, as como la naturaleza de la NP completes e intratabilidad. Esto lleva a una discusin de computabilidad y de la mquina universal de Turing. Se discuten algunos problemas asociados con algoritmos paralelos. 0415 10 ANLISIS LGICO Introducir al estudiante en el anlisis del lenguaje matemtico a travs de los lenguajes de primer orden. De stos, se enfatizan por igual tres aspectos: su estructura formal, su semntica (a travs de las estructuras matemticas) y la teora de la inferencia lgica. 0447 10 LGICA MATEMTICA III Dar una exposicin rigurosa de los Teoremas de Incompletud de la aritmtica, debido a Kurt Gdel. Para desarrollar esta exposicin es necesaria una presentacin de la aritmtica recursiva (funciones y relaciones recursivas) y de un sistema formal para representarla. 0486 10 MATEMTICAS DISCRETAS Este curso da a los estudiantes una introduccin al rea de las matemticas finitas, poniendo especial nfasis en teora de algoritmos, grficas, lgebra de Boole, induccin y recursin. 0574 10 DISEO DE SISTEMAS DIGITALES Introducir sistemas digitales, sus modelos matemticos y su realizacin en hardware. Los temas incluyen elementos lgicos, tcnicas de minimizacin, organizacin de sistemas de memoria y arquitectura, interfases y comunicacin de datos y arquitecturas alternativas incluyendo multiprocesadores y mquinas hipercubo. 0575 10 INGENIERA DE SOFTWARE Este curso presenta un estudio profundo de muchos de los temas de ingeniera de software, especificacin de requisitos, diseo funcional y orientado a objetos, verificacin y mantenimiento de software. Se discuten ambientes y herramientas de software y se introduce a los estudiantes a su uso. Se consideran tambin

13

implicaciones sociales tales como el costo de las fallas y las responsabilidades profesionales. El curso tambin comprende una introduccin a la interaccin computadora-humano y una discusin de algunas interfases de software vistas desde el punto de vista de ingeniera de software. Este curso requiere de la participacin de los estudiantes en proyectos por equipos. 0576 10 TEORA DE LA COMPUTACIN El curso introduce la teora de computabilidad, incluyendo resultados importantes del estudio de autmatas y lenguajes formales. El curso empieza con una discusin de autmatas y su relacin con lenguajes regulares, libres de contexto y dependientes del contexto. Se representan teoras generales de computabilidad incluyendo las Mquinas de Turing, funciones recursivas y clculo lambda. Se discuten nociones de dicibilidad e indicibilidad y se relaciona esto con anlisis de complejidad. Finalmente se presentan y analizan enfoques a semntica de programas, llevando esto a una breve introduccin al tema de verificacin formal de programas. 0605 10 ARQUITECTURA DE COMPUTADORAS Tratar alternativas de diseo en arquitectura de computadoras. Revisa y cubre la organizacin de la mquina en el mbito de lenguaje ensamblador, la organizacin del subsistema de memoria, concepto de interfases y aspectos que surgen al manejar las comunicaciones en el procesador. Se estudian tambin algunas arquitecturas alternativas. 0606 10 SISTEMAS DE BASES DE DATOS Este curso cubre lo referente a sistemas de bases de datos, cuyos temas incluyen modelos de datos (Entidad-Relacin, relacional y orientado a objetos); lenguaje de consulta (lgebra racional, clculo relacional); el diccionario de datos; implementacin del ncleo de un sistema de bases de datos relacional y ejemplos concretos de lenguajes y sistemas de bases de datos comerciales. Otros temas que tambin se cubren son: Optimizacin de las consultas; teora de las formas normales y el diseo de la base de datos; proceso de transacciones, control y recuperacin de errores; seguridad e integridad; sistemas distribuidos de bases de datos; interfaces con los usuarios y lenguajes de consulta grficos; estudio de la organizacin fsica de las bases de datos; tecnologas modernas (hipertexto y sistemas basados en el conocimiento). 0607 10 LENGUAJES DE PROGRAMACIN Y SUS PARADIGMAS Introducir al estudiante a la naturaleza de los lenguajes de programacin contemporneos, empezando por una revisin profunda de lenguaje ensamblador y finalizando con un tratamiento profundo de un lenguaje verdadero orientado a objetos (tal como Smalltalk o Eiffel). Se discute la evolucin de lenguajes imperativos (FORTRAN, Algol, PL/I, Pascal) y lenguajes funcionales (Lisp, Scheme, ML). Adicionalmente se introducen conceptos fundamentales de diseo e
14

implementacin de los lenguajes de alto nivel, incluyendo los conceptos de ligado, chequeo de tipos y administracin de memoria durante ejecucin. 0621 10 PROGRAMACIN LINEAL Proporcionar los conocimientos que permitan al alumno comprender los fundamentos tericos de la Programacin Lineal, formular modelos de Programacin Lineal, as como aplicar el algoritmo adecuado en cada situacin y obtener las conclusiones vlidas en las diferentes aplicaciones de la Programacin Lineal. 0626 10 PROBABILIDAD II Proveer de material y conceptos bsicos para el aprendizaje de materias posteriores en el plan de estudios. Los conceptos de vector aleatorio, caractersticas numricas de vectores aleatorios, las tcnicas para encontrar la distribucin de transformacin de vectores, as como los teoremas lmite y distintos modos de convergencia, son el fundamento terico de muchas aplicaciones en un primer curso de Estadstica. En Procesos Estocsticos, una manera de hacer caracterizaciones es mediante las funciones de distribucin de vectores aleatorios, cuyas componentes son las variables aleatorias resultantes de observar el proceso de un conjunto finito de tiempos. 0633 10 PROGRAMACIN ENTERA Proporcionar al alumno los conocimientos que le permitan comprender la dificultad del paso de Programacin Lineal a la Programacin Entera, conocer las aplicaciones tpicas, entender la interrelacin con problemas de optimizacin combinatoria, as como aplicar los diferentes algoritmos adecuadamente. 0634 10 PROGRAMACIN NO LINEAL Entender la Programacin no Lineal como marco de referencia de problemas de optimizacin, reconocer las aplicaciones tpicas, y comprender los fundamentos tericos de los diferentes algoritmos para aplicar el algoritmo adecuado al problema bajo estudio. 0713 10 SISTEMAS OPERATIVOS Se inicia con un tratamiento razonablemente profundo de sistemas operativos y concluye con una breve introduccin a los sistemas de bases de datos. Los temas de sistemas operativos incluyen tareas, procesos, sincronizacin de procesos, organizacin de memoria fsica y virtual, sistemas operativos distribuidos, seguridad y privaca. En apoyo a estos temas de sistemas operativos, se introducen construcciones de sistemas de programacin que apoyan la concurrencia. Los temas de bases de datos incluyen organizacin fsica de bases de datos y su modelo relacional.

15

0714 10 REDES DE COMPUTADORAS Este tema le da al estudiante fundamentos para el estudio de redes de computadoras. Se cubren los mtodos y prcticas de actualidad que se utilizan en redes de computadoras para permitir la comunicacin. Se cubren tambin los elementos fsicos y arquitectnicos, as como las capas de informacin para una red de comunicacin, junto con las herramientas de diagnstico, diseo, operacin y medidas de eficiencia que se utilizan para implementar, operar y afinar una red de este tipo. Se contrastan distintas arquitecturas para redes y se comparan con modelos de computadoras centrales con tiempo compartido tradicional. Subtemas importantes incluyen protocolos de comunicacin y arquitectura de redes, nodos de la red, eslabones de datos, conmutaciones y enrutamientos, protocolos terminal-a-terminal (end to end), Redes locales y seguridad de los datos. 0743 10 SEMINARIO DE ANLISIS MATEMTICO (SISTEMAS DINMICOS) La teora cualitativa de las ecuaciones diferenciales fue fundada por Henri Poincare alrededor de 1900 y ha tenido desde entonces un crecimiento enorme. El estudio desde un punto de vista geomtrico o topolgico de las propiedades cualitativas de las soluciones de las ecuaciones diferenciales es lo que se conoce como la teora de sistemas dinmicos. 0751 10 SEMINARIO SOBRE LA ENSEANZA DE LAS MATEMTICAS I Presentar a los estudiantes mtodos modernos para la enseanza de las matemticas en general y de la computacin en particular. Se revisarn paquetes actuales (como, posiblemente Mathematica, MathLab). El temario depender de la instancia particular del curso. 0754 10 SEMINARIO SOBRE LA ENSEANZA DE LAS MATEMTICAS II Presentar a los estudiantes mtodos modernos para la enseanza de las matemticas en general y de la computacin en particular. Se revisarn paquetes actuales (como, posiblemente Mathematica, MathLab), profundizando en su uso. El temario depender de la instancia particular del curso. 0759 10 TEORA DE LAS GRFICAS Dar a conocer los temas clsicos y bsicos de la teora de grficas. Se muestran algunas aplicaciones relacionadas con cada uno de los temas, incursionando tambin en algunos casos en algoritmos que se plantean en la programacin lineal. 0764 10 TEORA DE LOS NMEROS I El curso provee de ideas y mtodos principales relativos a los nmeros enteros. As como los aspectos histricos y su desarrollo.

16

0777 10 TEORA DE LOS NMEROS II En este curso se establecen resultados para determinar soluciones enteras de algunas ecuaciones, as como representaciones de los nmeros reales, que facilitan el encontrar la solucin de ciertas ecuaciones. 0800 10 REDES NEURONALES Y AUTMATAS CELULARES Familiarizar al estudiante con los aspectos tcnicos y tericos que tienen que ver con la interfase entre la tecnologa moderna relevante y el cerebro humano, relacionados adems con temas tan variados como biologa, ciencias de la computacin, psicologa y estadstica entre otros. 0801 10 ANLIS DE ALGORITMOS II Se hace nfasis en los aspectos tericos de Ciencias de la Computacin. Se revisa la teora de grficas para trabajar con algoritmos de cadenas y geomtricos, analizando en todo momento su complejidad. Tambin se trabaja con algoritmos paralelos y concurrentes que se presentan en arquitecturas modernas, sistemas operativos, computacin distribuida y redes. 0802 10 COMPUTACIN SIMBLICA Este curso cubre los fundamentos y usos de sistemas Algebraicos, as como una amplia perspectiva de los mtodos de actualidad que son efectivos para llevar a cabo cmputo simblico utilizando computadoras. Los estudiantes debern ser capaces de entender los conceptos bsicos, estructuras de datos y algoritmos de la computacin simblica. Utilizando un sistema disponible, los estudiantes sern capaces de resolver problemas matemticos de manera simblica. Se deber ensear el papel de la computacin simblica dentro de las Ciencias de la Computacin y otras disciplinas relacionadas con ella. Los subtemas incluyen sistemas Algebraicos por computadora; representacin de los datos; algoritmos fundamentales (clculos con matrices, series de Taylor, diferenciacin); simplificacin de polinomios; algoritmos avanzados (mtodos modulares para el Mximo Comn Divisor, inversin de matrices, factorizacin de polinomios); integracin formal. 0803 10 GRAFICACIN POR COMPUTADORA Una revisin de los principios y metodologas de graficacin por computadora, incluyendo la representacin, manipulacin y despliegue de objetos de dos y tres dimensiones. Los subtemas incluyen caractersticas de dispositivos de despliegue (barrido, de vector); representacin de objetos primitivos (lneas, curvas, superficies) y objetos compuestos; transformaciones en dos y tres dimensiones (traslaciones, rotaciones, escalamiento); lneas ocultas y superficies: sombreado y coloracin; grficas interactivas y la interfase con el usuario; tcnicas de animacin.

17

0804 10 HERRAMIENTAS DE COMPUTACIN PARA LA CIENCIA (SOFTWARE CIENTFICO) Proporcionar a los alumnos la oportunidad de manejar herramientas de software orientadas a la resolucin de problemas asociados a la investigacin cientfica, como son: la revisin bibliogrfica automatizada, la elaboracin de artculos para publicacin, reportes, resmenes, el empleo de paquetes y bibliotecas de clculo especializado, etc. El contenido exacto del curso depender de actualidad en los momentos en que ste se imparta. 0805 10 PROCESO DIGITAL DE IMGENES Presentacin de los conceptos y tcnicas desarrolladas para el proceso digital de imgenes, con el fin de poder extraer informacin de imgenes captadas por cualquier medio (sea percepcin remota, cmara fotogrfica, rayos X, o cualquier dispositivo de captura de imgenes). Se darn los elementos necesarios para restaurar informacin degradada o transformada por algn elemento fsico (como lente fuera de foco, deformaciones geomtricas, etc.), as como tcnicas de segmentacin de imgenes para separar los distintos elementos que conforman la imagen. 0806 10 PROCESOS PARALELOS Y DISTRIBUIDOS Este curso tiene que ver con el diseo, estructura y uso de sistemas con procesadores que interactan. Incluyendo conceptos de la mayora de las reas de Ciencias de la Computacin. Son muy importantes para el soporte bsico para Sistemas Paralelos y Distribuidos los conceptos de Algoritmos y Estructuras de Datos. Lenguajes de Programacin, Arquitectura, Sistemas Operativos e Ingeniera de Software, mientras que los conceptos de Cmputo numrico, Bases de Datos e Ingeniera Artificial e Interfases mquina-hombre son importantes en prcticamente todas las aplicaciones. 0807 10 SIMULACIN Dar una introduccin al uso de la computadora para estudios de simulacin, incluyendo mtodos de simulacin de modelos de eventos discretos y su evaluacin y anlisis. Se hace nfasis en los aspectos de programacin del proceso de simulacin. Se cubren de manera superficial subsistemas continuos en modelos de eventos discretos. 0808 10 SUPERCOMPUTO Proporcionar los elementos tericos y la experiencia prctica con las tcnicas de implementacin que mejoran el rendimiento escalar y vectorial de programas, mediante herramientas de optimizacin, rendimiento de E/S, depuracin y multitareas.

18

0809 10 VISUALIZACIN El curso tiene como objetivo proporcionar al estudiante las herramientas necesarias para que pueda producir imgenes sombreadas y slidos de tres dimensiones en una pantalla grfica de computadora. Se proporcionar asimismo una comprensin terica de estas tcnicas junto con las habilidades de programacin necesarias para implementarlas. 0810 10 SEMINARIO DE TEMAS SELECTOS DE COMPUTACIN Se tratarn temas de actualidad de niveles apropiados. Tambin se podrn utilizar para el desarrollo de trabajo de tesis (o requisito para titulacin), si es que el tema del seminario se presta para ello. 0811 10 LGICAS NO CLSICAS Dado que no existe una lgica general que caracterice a todos los argumentos vlidos, es conveniente revisar algunas extensiones a los sistemas lgicos que pueden verse como extensiones o desviaciones de los sistemas caracterizados como de lgicas clsicas. Se revisan varias extensiones, las dos ms importantes siendo la lgica intencional y la lgica de tipos. 0812 10 MTODOS PROBABLISTICOS EN COMPUTACIN El curso se centra en aleatoriedad en algoritmos. Consiste en tres partes. La primera introduce el mtodo probabilstico como una herramienta poderosa para demostrar la existencia de objetos combinatorios. Las tcnicas que se introducen son importantes para el resto del curso. La segunda parte discute varios algoritmos aleatorizados en distintos ambientes. La tercera parte completa el ciclo y trata con mtodos para quitar la aleatoriedad en los algoritmos de tal manera de volverlos determinsticos. Este curso busca hacer conciencia respecto al papel que juega la aleatoriedad en la teora de algoritmos. 0813 10 PROGRAMACIN FUNCIONAL Y LGICA Familiarizar a los estudiantes con los paradigmas de la programacin funcional y lgica. El primero de stos est ntimamente ligado al estudio de los lenguajes de programacin en cuanto a su aspecto semntico, mientras que el segundo es una herramienta poderossima en este mismo sentido en las aplicaciones de Inteligencia Artificial. Se revisa en este curso el estilo de programacin de los lenguajes funcionales, su estructura, aplicaciones e implementacin. 0814 10 SEMNTICA Y VERIFICACIN Se enfatiza en la representacin y manipulacin, as como la aplicacin de sistemas formales en la computacin. Se discutirn temas de lgica, conjuntos,

19

lgebra, complejidad de la semntica de los lenguajes de programacin y la verificacin de programas. 0815 10 TEORA DE CDIGOS Este curso busca combinar, en la teora de cdigos, teoras matemticas elegantes con construcciones de un impacto prctico importante. Revisa construcciones de cdigos para la correccin de errores, cdigos secretos y aquellos que se utilizan en la comprensin de datos. 0816 10 ALGORITMOS GENTICOS Introducir al estudiante a aquellos algoritmos que se basan en analogas a procesos naturales, como son los algoritmos genticos, estrategias evolutivas, programacin evolutiva, sistemas clasificadores y redes neuronales y las relaciones que hay entre ellos y la optimizacin numrica, la resolucin de problemas tradicionalmente difciles como los relacionados con grficas y matrices, as como el aprendizaje en la computadora. 0817 10 COMPILADORES Este curso consiste de un estudio profundo de los principios y aspectos de diseo de los traductores de Lenguajes de Programacin. Se discuten los componentes principales de un compilador: anlisis lxico, anlisis sintctico, chequeo de tipos, generacin de cdigo y optimizacin. Se ven estrategias alternativas para el reconocimiento (descenso recursivo, reconocimiento descendente, predictivo, RL) y se comparan entre s respecto al uso eficiente de tiempo y espacio. Entre los subtemas se incluye la ambigedad, representacin de datos, recuperacin desde errores, diseo de tablas de smbolos, ligado, herramientas para la generacin de compiladores, compilacin incremental e intrpretes. 0818 10 INTRODUCCIN A LA CIENCIA CONGNITIVA Presentar los aspectos sociolgicos, psicolgicos y filosficos que tienen que ver con la adquisicin y conservacin del conocimiento, y que repercuten en los sistemas computacionales que pretenden adquirir y representar al conocimiento. 0819 10 LINGSTICA COMPUTACIONAL El estudiante deber familiarizarse con el rea de lingstica computacional, fundamentalmente con los aspectos relacionados con el proceso de lenguaje natural por computadora, que cubran tanto los aspectos del reconocimiento sintctico y las distintas notaciones utilizadas para lenguaje natural, as como las representaciones ms comunes. Al finalizar el curso el estudiante ser capaz de programar diversos algoritmos que tienen que ver con lenguaje natural, as como conocer la situacin actual y perspectivas del rea.

20

0820 10 ROBTICA Familiarizar a los estudiantes con los conceptos fundamentales involucrados en el rea de robtica y las aplicaciones ms comunes de la misma. Al trmino del curso sern capaces de integrarse a un equipo de investigacin y desarrollo de mquinas inteligentes en la capacidad de auxiliar. 0821 10 SISTEMAS EXPERTOS Al finalizar el curso, el estudiante deber conocer los mecanismos fundamentales para la elaboracin de un sistema experto, as como de la naturaleza y alcance de los sistemas expertos. El estudiante deber manejar los conceptos de mquina de inferencia, base de conocimientos, elucidacin del conocimiento. Se incluyen en el curso los aspectos tericos de este campo, como son la interaccin entre representacin y control, los elementos bsicos de la lgica formal y los problemas que representa el razonar con ambigedad. 0822 10 DISEO DE INTERFASES Se presentan los principios fundamentales para la implementacin de las interfases con los usuarios, que son, hoy en da, uno de los componentes principales de cualquier sistema de cmputo. Se describen los principios generales para crear un entorno en el cual se pueden construir buenas interfases para el usuario. Asimismo se presentan y evalan un amplio rango de lenguajes y herramientas para especificar y construir interfases. El nfasis es en "cmo construir". 0823 10 DISEO Y PROGRAMACIN ORIENTADA A OBJETOS Este curso combina un estudio de sintaxis y semntica de lenguajes con un tratamiento profundo del proceso de diseo de software. Este ltimo hace nfasis en el enfoque orientado a objetos, que es introducido en contraste con los mtodos tradicionales de diseo. Se utiliza el diseo de un editor interactivo dirigido por la sintaxis como un caso concreto a lo largo de todo el curso. Los subtemas incluyen una revisin de autmatas y lenguajes formales para utilizar estos conceptos en la construccin del editor. Se ver de manera especial la semntica de los lenguajes de programacin que se encarga de analizar el uso de modelos formales e informales para la misma (axiomtica, denotacional, operativa). Se cubren tambin los temas relacionados con diseo e implementacin de grandes sistemas de software siguiendo distintas estrategias, como son el diseo funcional / orientado al proceso y el diseo ascendente y la reutilizacin. Por ltimo se revisarn los mecanismos formales e informales para verificacin y validacin de sistemas de software. 0824 10 GRANDES BASES DE DATOS Estudiar y analizar los conceptos ms importantes, como son la redundancia y la consistencia en el manejo de grandes cantidades de informacin con una
21

estructura comn, tomando en cuenta para ello los modelos de datos, los lenguajes de manipulacin para la estructura de datos y el hardware de alto rendimiento para grandes bases de datos. 0825 10 SEMINARIO DE APLICACIONES DE COMPUTO Se revisarn en este curso aplicaciones importantes que estn presentes en el momento de impartir el mismo. Se pueden incluir temas de actualidad en cuanto a aplicaciones del Cmputo a otras disciplinas ya sea a travs de paquetera novedosa e interesante, o bien de desarrollo de aplicaciones especficas en el marco de proyectos de investigacin. 0826 10 SISTEMAS MANEJADORES DE BASES DE DATOS Proporcionar un panorama general de los sistemas manejadores de bases de datos actuales, resaltando las tareas que desarrollan tales como: manejo de grandes volmenes de informacin, consulta y actualizacin de los datos en los archivos, despliegue de informacin y crear reportes de una manera fcil y rpida. El objetivo fundamental del curso es que el anlisis de las caractersticas distintivas se haga en ejemplos concretos de manejadores de bases de datos. 0840 10 VARIABLE COMPLEJA I Que el alumno conozca, comprenda y maneje las tcnicas del clculo y anlisis complejo. Deber comprender los conceptos de diferenciacin e integracin y deber compararlos con los equivalentes en el anlisis real. Se espera tambin pueda aplicar algunos de los resultados en problemas prcticos. 0841 10 VARIABLE COMPLEJA II Que el alumno pueda hacer anlisis ms profundo con las tcnicas de la variable compleja. Se deber adquirir un conocimiento profundo de las series de nmeros complejos y de las series de potencias. El alumno deber adquirir la facilidad para poder desarrollar una funcin alrededor de una singularidad. Con la ayuda de los desarrollos, deber saber deducir propiedades geomtricas y analticas de las funciones. Se incluyen temas optativos para que el alumno por s mismo pueda iniciar una investigacin. 0975 10 SEMINARIO DE ANLISIS COMBINATORIO Se revisarn los temas de actualidad relacionados con el anlisis combinatorio, de gran importancia para las Ciencias de la Computacin. (*) Crdito es la unidad de valor o puntuacin de una asignatura, que se computa en la siguiente forma:

22

a) En actividades que requieren estudio o trabajo adicional del alumno, como en clases tericas o seminarios, una hora de clase semana-semestre corresponde a dos crditos. b) En actividades que no requieren estudio o trabajo adicional del alumno, como en prcticas, laboratorio, taller, etc., una hora de clase semanasemestre corresponde a un crdito. c) El valor en crditos de actividades clnicas y de prcticas para el aprendizaje de msica y artes plsticas, se computar globalmente segn su importancia en el plan de estudios, y a criterio de los consejos tcnicos respectivos y del Consejo Universitario. El semestre lectivo tendr la duracin que seale el calendario escolar. Los crditos para cursos de duracin menor de un semestre se computarn proporcionalmente a su duracin. Los crditos se expresarn siempre en nmeros enteros.

23