Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Optativas presentacion gral año 2014 - fundamentos - versión final

1,351 views

Published on

Published in: Education
  • Be the first to comment

  • Be the first to like this

Optativas presentacion gral año 2014 - fundamentos - versión final

  1. 1. Presentació n de las materias Optativas para el añ o 2014 Á rea: Fundamentos
  2. 2. Profesores  Modelos y Simulación   Introducción a los compiladores   Marisa Gutiérrez Investigación Operativa 1   Victoria Vampa Teoría de Grafos   Ricardo Rosenfeld Análisis Numérico 1   Alicia Díaz Teoría de la Computación y Verificación de Programas Avanzada   Patricia Bazán Tecnologías para la Web Social Semántica   Marisa De Giusti Docente a confirmar Combinatoria y Aplicaciones  Liliana Alcón Información a confirmar
  3. 3. Modelos y Simulación Marisa R. De Giusti Gonzalo L. Villarreal
  4. 4. Contenido General   La simulación como herramienta de modelización y análisis de sistemas Los sistemas de eventos discretos y sistemas gobernados por colas  Desarrollo de un proyecto de simulación  GPSS como: − −  motor de simulación −  lenguaje de programación herramienta de análisis Análisis de la ejecución de modelos: entradas, salidas, optimización Presentación de informes de proyecto Modelos y Simulación
  5. 5. Metodología de trabajo     Encuentros presenciales o semipresenciales, combinando contenidos teóricos y prácticos Clases interactivas, con participación de los alumnos Práctica sobre computadora (sala de PC, notebooks personales) Prácticas domiciliarias, para evaluar el progreso de los alumnos (posibles entregas) Modelos y Simulación
  6. 6. Evaluación Cursada   trabajo final que cubre muchos de los temas vistos en las clases se evalúa desde el punto de vista técnico (diseño del modelo, código GPSS, etc.) como desde la calidad del informe presentado (organización, redacción, interpretación y presentación de resultados, discusión de los mismos, etc.) Final  similar a la evaluación de cursada (trabajo + informe).  por lo general, el modelo es un poco más complejo  suele incluir una actividad de investigación sobre algún tema particular Modelos y Simulación
  7. 7. ¿Por qué elegirla?  Estudiamos una forma diferente de desarrollar: − −  Sistemas gobernados por colas −  Sistemas de eventos discretos Orientados a la recolección de datos y generación de estadíticas Aprendemos GPSS, un lenguaje de programación de simulaciones (muy distinto a los lenguajes tradicionales) Trabajamos sobre la redacción de informes formales, orientados tanto hacia el docente como hacia el cliente Modelos y Simulación
  8. 8. Horarios  Horarios de clase Encuentro teórico-práctico semanal de Jueves de 10:00 hs a 13:00 hs. Puede convenirse también con los alumnos. Modelos y Simulación
  9. 9. Más información Sitio web  http://modelos.prebi.unlp.edu.ar Contacto   marisa.degiusti@sedici.unlp.edu.ar gonzalo@prebi.unlp.edu.ar Comienzo  Última semana de Agosto Modelos y Simulación
  10. 10. Introducción a los compiladores Docentes: Patricia Bazán y Dalila Romero
  11. 11. Contenido General Curso introductorio para el diseño y construcción de compiladores. Se profundizan conceptos introducidos en la asignatura Conceptos y Paradigmas de Lenguajes y se presentan conceptos básicos de la teoría de compiladores, así como aspectos prácticos de construcción de los mismos.
  12. 12. Metodología de trabajo Seguimiento semi-presencial. • La modalidad es tipo seminario. • Distribución de lecturas de capítulos de libros, artículos y otro tipo de material para que sean elaborados por los mismos como parte de las actividades de la cursada. • Las lecturas articularán con la parte práctica donde se plantean preguntas conceptuales para analizar en clase (o a través de cuestionarios online) • Entregar trabajos que serán considerados como evaluaciones parciales. • Uso de una plataforma virtual tipo Moodle para el desarrollo de las clases, publicación de material, consultas, cuestionarios, etc. •
  13. 13. Evaluación Para aprobar los Trabajos Prácticos: 1- Aprobar el 75% de los ejercicios prácticos que deberán entregarse en un plazo preestablecido, a través de la plataforma Moodle (ya sea como tareas programadas o como cuestionarios on line) 2- Elaborar un trabajo escrito acerca de un tema determinado de la materia donde se elija y se muestre algún aporte particular sobre el tema estudiado (simulando la producción de un articulo científico) 3 -Exponer y aprobar la exposición de lo desarrollado en el punto 2 (instancia presencial) La aprobación final de la asignatura requiere de una evaluación escrita que incluirá los
  14. 14. ¿Por qué elegirla? El diseño y construcción de compiladores constituyen un pilar fundamental en las ciencias de la computación y contribuyen a la formación de un Licenciado en Informática como bagaje conceptual. Las técnicas aplicadas a la construcción de compiladores así como la comprensión de su funcionamiento y fundamentos de aplicación, son utilizadas en otros ámbitos de la disciplina. Como formación complementaria se busca propiciar el auto aprendizaje, la comunicación oral y escrita y la capacidad de abstracción en la adquisición de conocimiento.
  15. 15. Horarios  Horarios de teoría/práctica  Martes 18 hs
  16. 16. Más información  Plataforma web: https://catedras.info.unlp.edu.ar/  Contacto: Mensaje a través de la plataforma  Inicio del curso Semana del 24 marzo
  17. 17. Tecnologías para la Web Social Semántica Docente: Alicia Díaz
  18. 18. Contenido General • • • La web es un repositorio dinámico de información Información generada por sistemas, por organizaciones, y por usuarios Podemos explotarlo, p.e. para construir agentes que compren por nosotros, que nos alerten, que nos recomienden… Web semántica: • tecnologías y prácticas que hacen posible explotar esa información sin tener que recurrir a procesamiento de
  19. 19. Metodología de trabajo Asignatura en formato de seminario • Cada alumno tendrá un tutor que lo guiará en la investigación de uno de los temas de la WSS: • • • • • elaborar un informe (~10 páginas) preparar una presentación (30’) y asistir a las presentaciones de sus pares Reuniones de seguimiento periódicas Clases para todo el grupo cubriendo temas centrales (metodología, etc.)
  20. 20. Evaluación Cursada • • • Entrega de versión preliminar del informe (Calificación de la) presentación propia Calificación por la participación (p.e., de las presentaciones de otros) Final • • Calificación del informe (versión final, incluidas correcciones indicadas)
  21. 21. ¿Por qué elegirla? • • • Propone estrategias y tecnologías que serán adoptadas por la industria en los próximos años (Google’s Freebase, dbpedia, Facebook’s Opengraph) La WSS es un área de investigación muy activa e incipiente en la que se pueden encontrar temas de tesis El formato de la asignatura puede pensarse como una introducción a la investigación y/o el desarrollo de trabajo de tesis
  22. 22. Horarios  Horarios de teoría  Horarios de práctica
  23. 23. Más información    Plataforma web: Moodle Contacto: alicia@lifia.info.unlp.edu.ar Inicio del curso: mediados de marzo
  24. 24. Teoría de la Computación y Verificación de Programas Avanzada Plantel docente: Ricardo Rosenfeld, Jerónimo Irazábal
  25. 25. Contenido General Se tratan elementos complementarios de la materia básica del 1er semestre, agrupados en dos partes: Complejidad Computacional:  Complejidad espacial. Jerarquía espacial.  Espacio logarítmico y polinomial. Determinismo y no determinismo.  Problemas completos. Jerarquía espacio-temporal.  Misceláneos: pruebas interactivas, criptografía, máq. cuánticas, etc. Verificación de Programas: Verificación de programas concurrentes. Semántica operacional de los lenguajes utilizados. Métodos axiomáticos. Sensatez y completitud. Prueba de propiedades safety y liveness. Hipótesis de fairness.  Verificación de programas reactivos utilizando lógica temporal. Lógica temporal lineal y computacional. Expresividad. Comparación de los dos paradigmas.   Introducción a la semántica denotacional de programas. Teoría de la Computación y Verificación de Programas
  26. 26. Método de Trabajo Evaluación 15 clases teóricas y 15 clases prácticas. Se permite cursada remota. Consultas permanentes a través del sitio de la materia. Bibliografía propia, apuntes, y bibliografía en Biblioteca. Entrega de trabajos prácticos cada dos semanas. La calificación de la materia se basa en la entrega de los trabajos prácticos, que son obligatorios. No hay examinación final. Teoría de la Computación y Verificación de Programas
  27. 27. Por qué elegirla La materia básica y obligatoria, Teoría de la Computación y Verificación de Programas, recorre los fundamentos de la computabilidad, la complejidad computacional temporal, y la verificación de programas secuenciales determinísticos de entrada/salida. La presente materia profundiza y extiende los contenidos de la materia inicial, incoporando la dimensión espacial de la complejidad computacional, y los paradigmas no determinísticos y concurrentes en la verificación de programas, ahora no sólo de entrada/salida sino también reactivos. Como en la materia básica, se acentúa la aplicación de la matemática en los fundamentos de la computación (inducción, reducción de problemas, diagonalización, relaciones de orden bien fundadas, lógica, etc). Teoría de la Computación y Verificación de Programas
  28. 28. Días y Horarios  Horario de teoría   Horario de práctica   Martes de 19 a 21. Jueves de 19 a 21. Horario de consulta  Lunes de 19 a 21. Teoría de la Computación y Verificación de Programas
  29. 29. Más información  Plataforma web:  Contactos: webUNLP rrosenfeld@pragmaconsultores.com jeronimo.irazabal@gmail.com  Inicio del curso: 2do semestre Teoría de la Computación y Verificación de Programas

×